Showing 1–50 of 55 results for author: Schütz, J

Interactive simulation and visualization of point spread functions in single molecule imaging

Authors: Magdalena C. Schneider, Fabian Hinterer, Alexander Jesacher, Gerhard J. Schütz

Abstract: The point spread function (PSF) is fundamental to any type of microscopy, most importantly so for single-molecule localization techniques, where the exact PSF shape is crucial for precise molecule localization at the nanoscale. However, optical aberrations and fixed fluorophore dipoles can lead to non-isotropic and distorted PSFs, thereby complicating and biasing conventional fitting approaches. I… ▽ More The point spread function (PSF) is fundamental to any type of microscopy, most importantly so for single-molecule localization techniques, where the exact PSF shape is crucial for precise molecule localization at the nanoscale. However, optical aberrations and fixed fluorophore dipoles can lead to non-isotropic and distorted PSFs, thereby complicating and biasing conventional fitting approaches. In addition, some researchers deliberately modify the PSF by introducing specific phase shifts in order to provide improved sensitivity, e.g., for localizing molecules in 3D, or for determining the dipole orientation. For devising an experimental approach, but also for interpreting obtained data it would be helpful to have a simple visualization tool which calculates the expected PSF for the experiment in mind. To address this need, we have developed a comprehensive and accessible computer application that allows for the simulation of realistic PSFs based on the full vectorial PSF model. It incorporates a wide range of microscope and fluorophore parameters, enabling an accurate representation of various imaging conditions. Further, our app directly provides the Cramer-Rao bound for assessing the best achievable localization precision under given conditions. In addition to facilitating the simulation of PSFs of isotropic emitters, our application provides simulations of fixed dipole orientations as encountered, e.g., in cryogenic single-molecule localization microscopy applications. Moreover, it supports the incorporation of optical aberrations and phase manipulations for PSF engineering, as well as the simulation of crowded environments with overlap** molecules. Importantly, our software allows for the fitting of custom aberrations directly from experimental data, effectively bridging the gap between simulated and experimental scenarios, and enhancing experimental design and result validation. △ Less

Submitted 21 December, 2023; originally announced December 2023.

Multiderivative time integration methods preserving nonlinear functionals via relaxation

Authors: Hendrik Ranocha, Jochen Schütz

Abstract: We combine the recent relaxation approach with multiderivative Runge-Kutta methods to preserve conservation or dissipation of entropy functionals for ordinary and partial differential equations. Relaxation methods are minor modifications of explicit and implicit schemes, requiring only the solution of a single scalar equation per time step in addition to the baseline scheme. We demonstrate the rob… ▽ More We combine the recent relaxation approach with multiderivative Runge-Kutta methods to preserve conservation or dissipation of entropy functionals for ordinary and partial differential equations. Relaxation methods are minor modifications of explicit and implicit schemes, requiring only the solution of a single scalar equation per time step in addition to the baseline scheme. We demonstrate the robustness of the resulting methods for a range of test problems including the 3D compressible Euler equations. In particular, we point out improved error growth rates for certain entropy-conservative problems including nonlinear dispersive wave equations. △ Less

Submitted 19 March, 2024; v1 submitted 7 November, 2023; originally announced November 2023.

MSC Class: 65L06; 65M20; 65M70

Journal ref: Commun. Appl. Math. Comput. Sci. 19 (2024) 27-56

Towards an Interoperability Roadmap for the Energy Transition

Authors: Valerie Reif, Thomas I. Strasser, Joseba Jimeno, Marjolaine Farre, Oliver Genest, Amélie Gyrard, Mark McGranaghan, Gianluca Lipari, Johann Schütz, Mathias Uslar, Sebastian Vogel, Arsim Bytyqi, Rita Dornmair, Andreas Corusa, Gaurav Roy, Ferdinanda Ponci, Alberto Dognini, Antonello Monti

Abstract: Smart grid interoperability is the means to achieve the twin green and digital transition but re-mains heterogeneous and fragmented to date. This work presents the first ideas and corner-stones of an Interoperability Roadmap for the Energy Transition that is being developed by the Horizon Europe int:net project. This roadmap builds on four cornerstones that address open interoperability issues. Th… ▽ More Smart grid interoperability is the means to achieve the twin green and digital transition but re-mains heterogeneous and fragmented to date. This work presents the first ideas and corner-stones of an Interoperability Roadmap for the Energy Transition that is being developed by the Horizon Europe int:net project. This roadmap builds on four cornerstones that address open interoperability issues. These are a knowledge base to address the lack of convergence among existing initiatives, a maturity model and a network of testing and certification facilities to ad-dress the lack of practical tools for the industry, and a governance process to address the gap between standards-related approaches of Standards Development Organisations and Research and Innovation projects. A community of practice will be set up to ensure the continuity of the ongoing activities related to smart grid interoperability. To outlive the duration of the int:net project, the aim is to formalise the community of practice as a legal entity. △ Less

Submitted 15 September, 2023; originally announced September 2023.

Comments: 12. (Hybrid) Symposium Communications for Energy Systems (ComForEn 2023)

Quantum-Informed Recursive Optimization Algorithms

Authors: Jernej Rudi Finžgar, Aron Kerschbaumer, Martin J. A. Schuetz, Christian B. Mendl, Helmut G. Katzgraber

Abstract: We propose and implement a family of quantum-informed recursive optimization (QIRO) algorithms for combinatorial optimization problems. Our approach leverages quantum resources to obtain information that is used in problem-specific classical reduction steps that recursively simplify the problem. These reduction steps address the limitations of the quantum component and ensure solution feasibility… ▽ More We propose and implement a family of quantum-informed recursive optimization (QIRO) algorithms for combinatorial optimization problems. Our approach leverages quantum resources to obtain information that is used in problem-specific classical reduction steps that recursively simplify the problem. These reduction steps address the limitations of the quantum component and ensure solution feasibility in constrained optimization problems. Additionally, we use backtracking techniques to further improve the performance of the algorithm without increasing the requirements on the quantum hardware. We demonstrate the capabilities of our approach by informing QIRO with correlations from classical simulations of shallow (depth $p=1$) circuits of the quantum approximate optimization algorithm (QAOA), solving instances of maximum independent set and maximum satisfiability problems with hundreds of variables. We also demonstrate how QIRO can be deployed on a neutral atom quantum processor available online on Amazon Braket to find large independent sets of graphs. In summary, our scheme achieves results comparable to classical heuristics, such as simulated annealing and greedy algorithms, even with relatively weak quantum resources. Furthermore, enhancing the quality of these quantum resources improves the performance of the algorithms, highlighting the potential of QIRO. Notably, the modular nature of QIRO offers various avenues for modifications, positioning our work as a blueprint for designing a broader class of hybrid quantum-classical algorithms for combinatorial optimization. △ Less

Submitted 10 March, 2024; v1 submitted 25 August, 2023; originally announced August 2023.

Comments: 17 pages, 10 figures. Revised Figs. 1 and 2. Accepted version

Functional-preserving predictor-corrector multiderivative schemes

Authors: Hendrik Ranocha, Jochen Schütz, Eleni Theodosiou

Abstract: In this work, we develop a class of high-order multiderivative time integration methods that is able to preserve certain functionals discretely. Important ingredients are the recently developed Hermite-Birkhoff-Predictor-Corrector methods and the technique of relaxation for numerical methods of ODEs. We explain the algorithm in detail and show numerical results for two- and three-derivative method… ▽ More In this work, we develop a class of high-order multiderivative time integration methods that is able to preserve certain functionals discretely. Important ingredients are the recently developed Hermite-Birkhoff-Predictor-Corrector methods and the technique of relaxation for numerical methods of ODEs. We explain the algorithm in detail and show numerical results for two- and three-derivative methods, comparing relaxed and unrelaxed methods. The numerical results demonstrate that, at the slight cost of the relaxation, an improved scheme is obtained. △ Less

Submitted 9 August, 2023; originally announced August 2023.

Comments: Submitted to the Proceedings in Applied Mathematics and Mechanic (GAMM Annual Meeting 2023)

Journal ref: Proceedings in Applied Mathematics and Mechanics, 2023

Hardness of the Maximum Independent Set Problem on Unit-Disk Graphs and Prospects for Quantum Speedups

Authors: Ruben S. Andrist, Martin J. A. Schuetz, Pierre Minssen, Romina Yalovetzky, Shouvanik Chakrabarti, Dylan Herman, Niraj Kumar, Grant Salton, Ruslan Shaydulin, Yue Sun, Marco Pistoia, Helmut G. Katzgraber

Abstract: Rydberg atom arrays are among the leading contenders for the demonstration of quantum speedups. Motivated by recent experiments with up to 289 qubits [Ebadi et al., Science 376, 1209 (2022)] we study the maximum independent set problem on unit-disk graphs with a broader range of classical solvers beyond the scope of the original paper. We carry out extensive numerical studies and assess problem ha… ▽ More Rydberg atom arrays are among the leading contenders for the demonstration of quantum speedups. Motivated by recent experiments with up to 289 qubits [Ebadi et al., Science 376, 1209 (2022)] we study the maximum independent set problem on unit-disk graphs with a broader range of classical solvers beyond the scope of the original paper. We carry out extensive numerical studies and assess problem hardness, using both exact and heuristic algorithms. We find that quasi-planar instances with Union-Jack-like connectivity can be solved to optimality for up to thousands of nodes within minutes, with both custom and generic commercial solvers on commodity hardware, without any instance-specific fine-tuning. We also perform a scaling analysis, showing that by relaxing the constraints on the classical simulated annealing algorithms considered in Ebadi et al., our implementation is competitive with the quantum algorithms. Conversely, instances with larger connectivity or less structure are shown to display a time-to-solution potentially orders of magnitudes larger. Based on these results we propose protocols to systematically tune problem hardness, motivating experiments with Rydberg atom arrays on instances orders of magnitude harder (for established classical solvers) than previously studied. △ Less

Submitted 9 January, 2024; v1 submitted 18 July, 2023; originally announced July 2023.

Comments: Manuscript: 9 pages, 9 figures. Appendix: 2 pages, 4 figures

Journal ref: Phys. Rev. Research 5, 043277 (2023)

Explainable AI using expressive Boolean formulas

Authors: Gili Rosenberg, J. Kyle Brubaker, Martin J. A. Schuetz, Grant Salton, Zhihuai Zhu, Elton Yechao Zhu, Serdar Kadıoğlu, Sima E. Borujeni, Helmut G. Katzgraber

Abstract: We propose and implement an interpretable machine learning classification model for Explainable AI (XAI) based on expressive Boolean formulas. Potential applications include credit scoring and diagnosis of medical conditions. The Boolean formula defines a rule with tunable complexity (or interpretability), according to which input data are classified. Such a formula can include any operator that c… ▽ More We propose and implement an interpretable machine learning classification model for Explainable AI (XAI) based on expressive Boolean formulas. Potential applications include credit scoring and diagnosis of medical conditions. The Boolean formula defines a rule with tunable complexity (or interpretability), according to which input data are classified. Such a formula can include any operator that can be applied to one or more Boolean variables, thus providing higher expressivity compared to more rigid rule-based and tree-based approaches. The classifier is trained using native local optimization techniques, efficiently searching the space of feasible formulas. Shallow rules can be determined by fast Integer Linear Programming (ILP) or Quadratic Unconstrained Binary Optimization (QUBO) solvers, potentially powered by special purpose hardware or quantum devices. We combine the expressivity and efficiency of the native local optimizer with the fast operation of these devices by executing non-local moves that optimize over subtrees of the full Boolean formula. We provide extensive numerical benchmarking results featuring several baselines on well-known public datasets. Based on the results, we find that the native local rule classifier is generally competitive with the other classifiers. The addition of non-local moves achieves similar results with fewer iterations, and therefore using specialized or quantum hardware could lead to a speedup by fast proposal of non-local moves. △ Less

Submitted 6 June, 2023; originally announced June 2023.

Comments: 28 pages, 16 figures, 4 tables

Journal ref: Mach. Learn. Knowl. Extr. 2023, 5(4), 1760-1795

Designing Quantum Annealing Schedules using Bayesian Optimization

Authors: Jernej Rudi Finžgar, Martin J. A. Schuetz, J. Kyle Brubaker, Hidetoshi Nishimori, Helmut G. Katzgraber

Abstract: We propose and analyze the use of Bayesian optimization techniques to design quantum annealing schedules with minimal user and resource requirements. We showcase our scheme with results for two paradigmatic spin models. We find that Bayesian optimization is able to identify schedules resulting in fidelities several orders of magnitude better than standard protocols for both quantum and reverse ann… ▽ More We propose and analyze the use of Bayesian optimization techniques to design quantum annealing schedules with minimal user and resource requirements. We showcase our scheme with results for two paradigmatic spin models. We find that Bayesian optimization is able to identify schedules resulting in fidelities several orders of magnitude better than standard protocols for both quantum and reverse annealing, as applied to the $p$-spin model. We also show that our scheme can help improve the design of hybrid quantum algorithms for hard combinatorial optimization problems, such as the maximum independent set problem, and illustrate these results via experiments on a neutral atom quantum processor available on Amazon Braket. △ Less

Submitted 22 May, 2023; originally announced May 2023.

Comments: 20 pages, 15 figures

Reply to: Inability of a graph neural network heuristic to outperform greedy algorithms in solving combinatorial optimization problems

Authors: Martin J. A. Schuetz, J. Kyle Brubaker, Helmut G. Katzgraber

Abstract: We provide a comprehensive reply to the comment written by Stefan Boettcher [arXiv:2210.00623] and argue that the comment singles out one particular non-representative example problem, entirely focusing on the maximum cut problem (MaxCut) on sparse graphs, for which greedy algorithms are expected to perform well. Conversely, we highlight the broader algorithmic development underlying our original… ▽ More We provide a comprehensive reply to the comment written by Stefan Boettcher [arXiv:2210.00623] and argue that the comment singles out one particular non-representative example problem, entirely focusing on the maximum cut problem (MaxCut) on sparse graphs, for which greedy algorithms are expected to perform well. Conversely, we highlight the broader algorithmic development underlying our original work, and (within our original framework) provide additional numerical results showing sizable improvements over our original data, thereby refuting the comment's original performance statements. Furthermore, it has already been shown that physics-inspired graph neural networks (PI-GNNs) can outperform greedy algorithms, in particular on hard, dense instances. We also argue that the internal (parallel) anatomy of graph neural networks is very different from the (sequential) nature of greedy algorithms, and (based on their usage at the scale of real-world social networks) point out that graph neural networks have demonstrated their potential for superior scalability compared to existing heuristics such as extremal optimization. Finally, we conclude highlighting the conceptual novelty of our work and outline some potential extensions. △ Less

Submitted 3 February, 2023; originally announced March 2023.

Comments: Manuscript: 2 pages, 1 figure. arXiv admin note: substantial text overlap with arXiv:2302.03602

Journal ref: Nature Machine Intelligence 5, 26 (2023)

Reply to: Modern graph neural networks do worse than classical greedy algorithms in solving combinatorial optimization problems like maximum independent set

Authors: Martin J. A. Schuetz, J. Kyle Brubaker, Helmut G. Katzgraber

Abstract: We provide a comprehensive reply to the comment written by Chiara Angelini and Federico Ricci-Tersenghi [arXiv:2206.13211] and argue that the comment singles out one particular non-representative example problem, entirely focusing on the maximum independent set (MIS) on sparse graphs, for which greedy algorithms are expected to perform well. Conversely, we highlight the broader algorithmic develop… ▽ More We provide a comprehensive reply to the comment written by Chiara Angelini and Federico Ricci-Tersenghi [arXiv:2206.13211] and argue that the comment singles out one particular non-representative example problem, entirely focusing on the maximum independent set (MIS) on sparse graphs, for which greedy algorithms are expected to perform well. Conversely, we highlight the broader algorithmic development underlying our original work, and (within our original framework) provide additional numerical results showing sizable improvements over our original results, thereby refuting the comment's performance statements. We also provide results showing run-time scaling superior to the results provided by Angelini and Ricci-Tersenghi. Furthermore, we show that the proposed set of random d-regular graphs does not provide a universal set of benchmark instances, nor do greedy heuristics provide a universal algorithmic baseline. Finally, we argue that the internal (parallel) anatomy of graph neural networks is very different from the (sequential) nature of greedy algorithms and emphasize that graph neural networks have demonstrated their potential for superior scalability compared to existing heuristics such as parallel tempering. We conclude by discussing the conceptual novelty of our work and outline some potential extensions. △ Less

Submitted 3 February, 2023; originally announced February 2023.

Comments: Manuscript: 3 pages, 2 figures

Journal ref: Nature Machine Intelligence 5, 32 (2023)

Jacobian-free implicit MDRK methods for stiff systems of ODEs

Authors: Jeremy Chouchoulis, Jochen Schütz

Abstract: In this work, an approximate family of implicit multiderivative Runge-Kutta (MDRK) time integrators for stiff initial value problems is presented. The approximation procedure is based on the recent Approximate Implicit Taylor method (Baeza et al. in Comput. Appl. Math. 39:304, 2020). As a Taylor method can be written in MDRK format, the novel family constitutes a multistage generalization. Two dif… ▽ More In this work, an approximate family of implicit multiderivative Runge-Kutta (MDRK) time integrators for stiff initial value problems is presented. The approximation procedure is based on the recent Approximate Implicit Taylor method (Baeza et al. in Comput. Appl. Math. 39:304, 2020). As a Taylor method can be written in MDRK format, the novel family constitutes a multistage generalization. Two different alternatives are investigated for the computation of the higher order derivatives: either directly as part of the stage equation, or either as a separate formula for each derivative added on top of the stage equation itself. From linearizing through Newton's method, it turns out that the conditioning of the Newton matrix behaves significantly different for both cases. We show that direct computation results in a matrix with a conditioning that is highly dependent on the stiffness, increasing exponentially in the stiffness parameter with the amount of derivatives. Adding separate formulas has a more favorable behavior, the matrix conditioning being linearly dependent on the stiffness, regardless of the amount of derivatives. Despite increasing the Newton system significantly in size, through several numerical results it is demonstrated that doing so can be considerably beneficial. △ Less

Submitted 6 February, 2023; originally announced February 2023.

Comments: 19 pages

MSC Class: 65F35; 65L04; 65L05; 65L06; 65L12; 65L20

Localization of fixed dipoles at high precision by accounting for sample drift during illumination

Authors: Fabian Hinterer, Magdalena C. Schneider, Simon Hubmer, Montserrat López-Martinez, Ronny Ramlau, Gerhard J. Schütz

Abstract: Single molecule localization microscopy relies on the precise quantification of the position of single dye emitters in a sample. This precision is improved by the number of photons that can be detected from each molecule. It is therefore recommendable to increase illumination times for the recording process. Particularly recording at cryogenic temperatures dramatically reduces photobleaching and t… ▽ More Single molecule localization microscopy relies on the precise quantification of the position of single dye emitters in a sample. This precision is improved by the number of photons that can be detected from each molecule. It is therefore recommendable to increase illumination times for the recording process. Particularly recording at cryogenic temperatures dramatically reduces photobleaching and thereby allows a massive increase in illumination times to several seconds. As a downside, microscope instabilities may well introduce jitter during such long illuminations, deteriorating the localization precision. In this paper, we theoretically demonstrate that a parallel recording of fiducial marker beads together with a novel fitting approach accounting for the full drift trajectory allows for largely eliminating drift effects for drift magnitudes of several hundred nanometers per frame. △ Less

Submitted 13 December, 2022; originally announced December 2022.

Comments: 12 pages, 7 figures

End-to-end resource analysis for quantum interior point methods and portfolio optimization

Authors: Alexander M. Dalzell, B. David Clader, Grant Salton, Mario Berta, Cedric Yen-Yu Lin, David A. Bader, Nikitas Stamatopoulos, Martin J. A. Schuetz, Fernando G. S. L. Brandão, Helmut G. Katzgraber, William J. Zeng

Abstract: We study quantum interior point methods (QIPMs) for second-order cone programming (SOCP), guided by the example use case of portfolio optimization (PO). We provide a complete quantum circuit-level description of the algorithm from problem input to problem output, making several improvements to the implementation of the QIPM. We report the number of logical qubits and the quantity/depth of non-Clif… ▽ More We study quantum interior point methods (QIPMs) for second-order cone programming (SOCP), guided by the example use case of portfolio optimization (PO). We provide a complete quantum circuit-level description of the algorithm from problem input to problem output, making several improvements to the implementation of the QIPM. We report the number of logical qubits and the quantity/depth of non-Clifford T-gates needed to run the algorithm, including constant factors. The resource counts we find depend on instance-specific parameters, such as the condition number of certain linear systems within the problem. To determine the size of these parameters, we perform numerical simulations of small PO instances, which lead to concrete resource estimates for the PO use case. Our numerical results do not probe large enough instance sizes to make conclusive statements about the asymptotic scaling of the algorithm. However, already at small instance sizes, our analysis suggests that, due primarily to large constant pre-factors, poorly conditioned linear systems, and a fundamental reliance on costly quantum state tomography, fundamental improvements to the QIPM are required for it to lead to practical quantum advantage. △ Less

Submitted 23 May, 2024; v1 submitted 22 November, 2022; originally announced November 2022.

Comments: 40 pages, 15 figures. v2: minor corrections and updates to match journal version

Journal ref: PRX Quantum 4, 040325 (2023)

Coherent dynamics in a five-level atomic system

Authors: Jan Schütz, Alexander Martin, Sanah Laschinger, Gerhard Birkl

Abstract: The coherent control of multi-partite quantum systems presents one of the central prerequisites in state-of-the-art quantum information processing. With the added benefit of inherent high-fidelity detection capability, atomic quantum systems in high-energy internal states, such as metastable noble gas atoms, promote themselves as ideal candidates for advancing quantum science in fundamental aspect… ▽ More The coherent control of multi-partite quantum systems presents one of the central prerequisites in state-of-the-art quantum information processing. With the added benefit of inherent high-fidelity detection capability, atomic quantum systems in high-energy internal states, such as metastable noble gas atoms, promote themselves as ideal candidates for advancing quantum science in fundamental aspects and technological applications. Using laser-cooled neon atoms in the metastable $^3$P$_2$ state of state $1s^2 2s^2 2p^5 3s$ (LS-coupling notation) (Racah notation: $^2P_{3/2}\,3s[3/2]_2$) with five $m_F$-sublevels, experimental methods for the preparation of all Zeeman sublevels |m_J> = |+2>, |+1>, |0>, |-1>, |-2> as well as the coherent control of superposition states in the five-level system |+2> ... |-2>, in the three-level system |+2>, |+1>, |0>, and in the two-level system |+2>, |+1> are presented. The methods are based on optimized radio frequency and laser pulse sequences. The state evolution is described with a simple, semiclassical model. The coherence properties of the prepared states are studied using Ramsey and spin echo measurements. △ Less

Submitted 21 October, 2022; originally announced October 2022.

Journal ref: J. Phys. B: At. Mol. Opt. Phys. 55 234004 (2022)

Optimization of Robot Trajectory Planning with Nature-Inspired and Hybrid Quantum Algorithms

Authors: Martin J. A. Schuetz, J. Kyle Brubaker, Henry Montagu, Yannick van Dijk, Johannes Klepsch, Philipp Ross, Andre Luckow, Mauricio G. C. Resende, Helmut G. Katzgraber

Abstract: We solve robot trajectory planning problems at industry-relevant scales. Our end-to-end solution integrates highly versatile random-key algorithms with model stacking and ensemble techniques, as well as path relinking for solution refinement. The core optimization module consists of a biased random-key genetic algorithm. Through a distinct separation of problem-independent and problem-dependent mo… ▽ More We solve robot trajectory planning problems at industry-relevant scales. Our end-to-end solution integrates highly versatile random-key algorithms with model stacking and ensemble techniques, as well as path relinking for solution refinement. The core optimization module consists of a biased random-key genetic algorithm. Through a distinct separation of problem-independent and problem-dependent modules, we achieve an efficient problem representation, with a native encoding of constraints. We show that generalizations to alternative algorithmic paradigms such as simulated annealing are straightforward. We provide numerical benchmark results for industry-scale data sets. Our approach is found to consistently outperform greedy baseline results. To assess the capabilities of today's quantum hardware, we complement the classical approach with results obtained on quantum annealing hardware, using qbsolv on Amazon Braket. Finally, we show how the latter can be integrated into our larger pipeline, providing a quantum-ready hybrid solution to the problem. △ Less

Submitted 7 June, 2022; originally announced June 2022.

Comments: 17 pages, 6 figures

Journal ref: Phys. Rev. Applied 18, 054045 (2022)

Graph Coloring with Physics-Inspired Graph Neural Networks

Authors: Martin J. A. Schuetz, J. Kyle Brubaker, Zhihuai Zhu, Helmut G. Katzgraber

Abstract: We show how graph neural networks can be used to solve the canonical graph coloring problem. We frame graph coloring as a multi-class node classification problem and utilize an unsupervised training strategy based on the statistical physics Potts model. Generalizations to other multi-class problems such as community detection, data clustering, and the minimum clique cover problem are straightforwa… ▽ More We show how graph neural networks can be used to solve the canonical graph coloring problem. We frame graph coloring as a multi-class node classification problem and utilize an unsupervised training strategy based on the statistical physics Potts model. Generalizations to other multi-class problems such as community detection, data clustering, and the minimum clique cover problem are straightforward. We provide numerical benchmark results and illustrate our approach with an end-to-end application for a real-world scheduling use case within a comprehensive encode-process-decode framework. Our optimization approach performs on par or outperforms existing solvers, with the ability to scale to problems with millions of variables. △ Less

Submitted 23 November, 2022; v1 submitted 3 February, 2022; originally announced February 2022.

Comments: Manuscript: 8 pages, 5 figures, 2 tables. Supplemental Material: 1 page, 2 tables

Journal ref: Phys. Rev. Research 4, 043131 (2022)

Two-derivative deferred correction time discretization for the discontinuous Galerkin method

Authors: Jonas Zeifang, Jochen Schuetz

Abstract: In this paper, we use an implicit two-derivative deferred correction time discretization approach and combine it with a spatial discretization of the discontinuous Galerkin spectral element method to solve (non-)linear PDEs. The resulting numerical method is high order accurate in space and time. As the novel scheme handles two time derivatives, the spatial operator for both derivatives has to be… ▽ More In this paper, we use an implicit two-derivative deferred correction time discretization approach and combine it with a spatial discretization of the discontinuous Galerkin spectral element method to solve (non-)linear PDEs. The resulting numerical method is high order accurate in space and time. As the novel scheme handles two time derivatives, the spatial operator for both derivatives has to be defined. This results in an extended system matrix of the scheme. We analyze this matrix regarding possible simplifications and an efficient way to solve the arising (non-)linear system of equations. It is shown how a carefully designed preconditioner and a matrix-free approach allow for an efficient implementation and application of the novel scheme. For both, linear advection and the compressible Euler equations, up to eighth order of accuracy in time is shown. Finally, it is illustrated how the method can be used to approximate solutions to the compressible Navier-Stokes equations. △ Less

Submitted 10 September, 2021; originally announced September 2021.

Jacobian-free explicit multiderivative Runge-Kutta methods for hyperbolic conservation laws

Authors: Jeremy Chouchoulis, Jochen Schütz, Jonas Zeifang

Abstract: Based on the recent development of Jacobian-free Lax-Wendroff (LW) approaches for solving hyperbolic conservation laws [Zorio, Baeza and Mulet, Journal of Scientific Computing 71:246-273, 2017], [Carrillo and Parés, Journal of Scientific Computing 80:1832-1866, 2019], a novel collection of explicit Jacobian-free multistage multiderivative solvers for hyperbolic conservation laws is presented in th… ▽ More Based on the recent development of Jacobian-free Lax-Wendroff (LW) approaches for solving hyperbolic conservation laws [Zorio, Baeza and Mulet, Journal of Scientific Computing 71:246-273, 2017], [Carrillo and Parés, Journal of Scientific Computing 80:1832-1866, 2019], a novel collection of explicit Jacobian-free multistage multiderivative solvers for hyperbolic conservation laws is presented in this work. In contrast to Taylor time-integration methods, multiderivative RungeKutta (MDRK) techniques achieve higher-order of consistency not only through the excessive addition of higher temporal derivatives, but also through the addition of Runge-Kutta-type stages. This adds more flexibility to the time integration in such a way that more stable and more efficient schemes could be identified. The novel method permits the practical application of MDRK schemes. In their original form, they are difficult to utilize as higher-order flux derivatives have to be computed analytically. Here we overcome this by adopting a Jacobian-free approximation of those derivatives. In this paper, we analyze the novel method with respect to order of consistency and stability. We show that the linear CFL number varies significantly with the number of derivatives used. Results are verified numerically on several representative testcases. △ Less

Submitted 14 July, 2021; originally announced July 2021.

Comments: 26 pages

MSC Class: 65M06; 65M08; 65M12; 35L65

Journal ref: J. Sci. Comput. 90, 96 (2022)

Combinatorial Optimization with Physics-Inspired Graph Neural Networks

Authors: Martin J. A. Schuetz, J. Kyle Brubaker, Helmut G. Katzgraber

Abstract: Combinatorial optimization problems are pervasive across science and industry. Modern deep learning tools are poised to solve these problems at unprecedented scales, but a unifying framework that incorporates insights from statistical physics is still outstanding. Here we demonstrate how graph neural networks can be used to solve combinatorial optimization problems. Our approach is broadly applica… ▽ More Combinatorial optimization problems are pervasive across science and industry. Modern deep learning tools are poised to solve these problems at unprecedented scales, but a unifying framework that incorporates insights from statistical physics is still outstanding. Here we demonstrate how graph neural networks can be used to solve combinatorial optimization problems. Our approach is broadly applicable to canonical NP-hard problems in the form of quadratic unconstrained binary optimization problems, such as maximum cut, minimum vertex cover, maximum independent set, as well as Ising spin glasses and higher-order generalizations thereof in the form of polynomial unconstrained binary optimization problems. We apply a relaxation strategy to the problem Hamiltonian to generate a differentiable loss function with which we train the graph neural network and apply a simple projection to integer variables once the unsupervised training process has completed. We showcase our approach with numerical results for the canonical maximum cut and maximum independent set problems. We find that the graph neural network optimizer performs on par or outperforms existing solvers, with the ability to scale beyond the state of the art to problems with millions of variables. △ Less

Submitted 22 April, 2022; v1 submitted 2 July, 2021; originally announced July 2021.

Comments: Manuscript: 13 pages, 5 figures, 1 table. Supplemental Material: 1 page, 1 table

Journal ref: Nat. Mach. Intell. 4, 367 (2022)

Robust and bias-free localization of individual fixed dipole emitters achieving the Cramér Rao bound

Authors: Fabian Hinterer, Magdalena C. Schneider, Simon Hubmer, Montserrat López-Martinez, Philipp Zelger, Alexander Jesacher, Ronny Ramlau, Gerhard J. Schütz

Abstract: Single molecule localization microscopy has the potential to resolve structural details of biological samples at the nanometer length scale. However, to fully exploit the resolution it is crucial to account for the anisotropic emission characteristics of fluorescence dipole emitters. In case of slight residual defocus, localization estimates may well be biased by tens of nanometers. We show here t… ▽ More Single molecule localization microscopy has the potential to resolve structural details of biological samples at the nanometer length scale. However, to fully exploit the resolution it is crucial to account for the anisotropic emission characteristics of fluorescence dipole emitters. In case of slight residual defocus, localization estimates may well be biased by tens of nanometers. We show here that astigmatic imaging in combination with information about the dipole orientation allows to extract the position of the dipole emitters without localization bias and down to a precision of ~1nm, thereby reaching the corresponding Cramér Rao bound. The approach is showcased with simulated data for various dipole orientations, and parameter settings realistic for real life experiments. △ Less

Submitted 6 April, 2021; originally announced April 2021.

Parallel-in-time high-order multiderivative IMEX solvers

Authors: Jochen Schütz, David C. Seal, Jonas Zeifang

Abstract: In this work, we present a novel class of parallelizable high-order time integration schemes for the approximate solution of additive ODEs. The methods achieve high order through a combination of a suitable quadrature formula involving multiple derivatives of the ODE's right-hand side and a predictor-corrector ansatz. The latter approach is designed in such a way that parallelism in time is made p… ▽ More In this work, we present a novel class of parallelizable high-order time integration schemes for the approximate solution of additive ODEs. The methods achieve high order through a combination of a suitable quadrature formula involving multiple derivatives of the ODE's right-hand side and a predictor-corrector ansatz. The latter approach is designed in such a way that parallelism in time is made possible. We present thorough analysis as well as numerical results that showcase scaling opportunities of methods from this class of solvers. △ Less

Submitted 19 January, 2021; originally announced January 2021.

Comments: 36 pages

Entangling nuclear spins in distant quantum dots via an electron bus

Authors: Miguel Bello, Mónica Benito, Martin J. A. Schuetz, Gloria Platero, Géza Giedke

Abstract: We propose a protocol for the deterministic generation of entanglement between two ensembles of nuclear spins surrounding two distant quantum dots. The protocol relies on the injection of electrons with definite polarization in each quantum dot and the coherent transfer of electrons from one quantum dot to the other. Computing the exact dynamics for small systems, and using an effective master equ… ▽ More We propose a protocol for the deterministic generation of entanglement between two ensembles of nuclear spins surrounding two distant quantum dots. The protocol relies on the injection of electrons with definite polarization in each quantum dot and the coherent transfer of electrons from one quantum dot to the other. Computing the exact dynamics for small systems, and using an effective master equation and approximate non-linear equations of motion for larger systems, we are able to confirm that our protocol indeed produces entanglement for both homogeneous and inhomogeneous systems. Last, we analyze the feasibility of our protocol in several current experimental platforms. △ Less

Submitted 24 June, 2021; v1 submitted 17 December, 2020; originally announced December 2020.

Journal ref: Phys. Rev. Applied 18, 014009 (2022)

Asymptotic properties of a class of linearly implicit schemes for weakly compressible Euler equations

Authors: Václav Kučera, Mária Lukáčová-Medvid'ová, Sebastian Noelle, Jochen Schütz

Abstract: In this paper we derive and analyse a class of linearly implicit schemes which includes the one of Feistauer and Kučera (JCP 2007) as well as the class of RS-IMEX schemes. The implicit part is based on a Jacobian matrix which is evaluated at a reference state. This state can be either the solution at the old time level as in Feistauer and Kučera (JCP 2007), or a numerical approximation of the inco… ▽ More In this paper we derive and analyse a class of linearly implicit schemes which includes the one of Feistauer and Kučera (JCP 2007) as well as the class of RS-IMEX schemes. The implicit part is based on a Jacobian matrix which is evaluated at a reference state. This state can be either the solution at the old time level as in Feistauer and Kučera (JCP 2007), or a numerical approximation of the incompressible limit equations as in Zeifang et al. (Commun. Comput. Phys. 2009), or possibly another state. Subsequently, it is shown that this class of methods is asymptotically preserving under the assumption of a discrete Hilbert expansion. For a one-dimensional setting with some limitations on the reference state, the existence of a discrete Hilbert expansion is shown. △ Less

Submitted 27 November, 2020; originally announced November 2020.

Inverse Problems of Single Molecule Localization Microscopy

Authors: Montse Lopez-Martinez, Gwenael Mercier, Kamran Sadiq, Otmar Scherzer, Magdalena Schneider, John C Schotland, Gerhard J. Schütz, Roger Telschow

Abstract: Single molecule localization microscopy is a recently developed superresolution imaging technique to visualize structural properties of single cells. The basic principle consists in chemically attaching fluorescent dyes to the molecules, which after excitation with a strong laser may emit light. To achieve superresolution, signals of individual fluorophores are separated in time. In this paper we… ▽ More Single molecule localization microscopy is a recently developed superresolution imaging technique to visualize structural properties of single cells. The basic principle consists in chemically attaching fluorescent dyes to the molecules, which after excitation with a strong laser may emit light. To achieve superresolution, signals of individual fluorophores are separated in time. In this paper we follow the physical and chemical literature and derive mathematical models describing the propagation of light emitted from dyes in single molecule localization microscopy experiments via Maxwell's equations. This forms the basis of formulating inverse problems related to single molecule localization microscopy. We also show that the current status of reconstruction methods is a simplification of more general inverse problems for Maxwell's equations as discussed here. △ Less

Submitted 5 February, 2020; originally announced February 2020.

Comments: 38 pages, 10 figures

MSC Class: 34L25; 78A46

An asymptotic preserving semi-implicit multiderivative solver

Authors: Jochen Schütz, David C. Seal

Abstract: In this work we construct a multiderivative implicit-explicit (IMEX) scheme for a class of stiff ordinary differential equations. Our solver is high-order accurate and has an asymptotic preserving (AP) property. The proposed method is based upon a two-derivative backward Taylor series base solver, which we show has an AP property. Higher order accuracies are found by iterating the result over a hi… ▽ More In this work we construct a multiderivative implicit-explicit (IMEX) scheme for a class of stiff ordinary differential equations. Our solver is high-order accurate and has an asymptotic preserving (AP) property. The proposed method is based upon a two-derivative backward Taylor series base solver, which we show has an AP property. Higher order accuracies are found by iterating the result over a high-order multiderivative interpolant of the right hand side function, which we again prove has an AP property. Theoretical results showcasing the asymptotic consistency as well as the high-order accuracy of the solver are presented. In addition, an extension of the solver to an arbitrarily split right hand side function is also offered. Numerical results for a collection of standard test cases from the literature are presented that support the theoretical findings of the paper. △ Less

Submitted 22 January, 2020; originally announced January 2020.

Comments: 18 Pages

MSC Class: 65L20

Wigner Crystals in Two-Dimensional Transition-Metal Dichalcogenides: Spin Physics and Readout

Authors: Johannes Knörzer, Martin J. A. Schuetz, Geza Giedke, Dominik S. Wild, Kristiaan De Greve, Richard Schmidt, Mikhail D. Lukin, J. Ignacio Cirac

Abstract: Wigner crystals are prime candidates for the realization of regular electron lattices under minimal requirements on external control and electronics. However, several technical challenges have prevented their detailed experimental investigation and applications to date. We propose an implementation of two-dimensional electron lattices for quantum simulation of Ising spin systems based on self-asse… ▽ More Wigner crystals are prime candidates for the realization of regular electron lattices under minimal requirements on external control and electronics. However, several technical challenges have prevented their detailed experimental investigation and applications to date. We propose an implementation of two-dimensional electron lattices for quantum simulation of Ising spin systems based on self-assembled Wigner crystals in transition-metal dichalcogenides. We show that these semiconductors allow for minimally invasive all-optical detection schemes of charge ordering and total spin. For incident light with optimally chosen beam parameters and polarization, we predict a strong dependence of the transmitted and reflected signals on the underlying lattice periodicity, thus revealing the charge order inherent in Wigner crystals. At the same time, the selection rules in transition-metal dichalcogenides provide direct access to the spin degree of freedom via Faraday rotation measurements. △ Less

Submitted 3 March, 2020; v1 submitted 23 December, 2019; originally announced December 2019.

Comments: 15 pages, 12 figures

Journal ref: Phys. Rev. B 101, 125101 (2020)

Single-Spin Magnetomechanics with Levitated Micromagnets

Authors: Jan Gieseler, Aaron Kabcenell, Emma Rosenfeld, J. D. Schaefer, Arthur Safira, Martin J. A. Schuetz, Carlos Gonzalez-Ballestero, Cosimo C. Rusconi, Oriol Romero-Isart, Mikhail D. Lukin

Abstract: We demonstrate a new mechanical transduction platform for individual spin qubits. In our approach, single micro-magnets are trapped using a type-II superconductor in proximity of spin qubits, enabling direct magnetic coupling between the two systems. Controlling the distance between the magnet and the superconductor during cooldown, we demonstrate three dimensional trap** with quality factors ar… ▽ More We demonstrate a new mechanical transduction platform for individual spin qubits. In our approach, single micro-magnets are trapped using a type-II superconductor in proximity of spin qubits, enabling direct magnetic coupling between the two systems. Controlling the distance between the magnet and the superconductor during cooldown, we demonstrate three dimensional trap** with quality factors around one million and kHz trap** frequencies. We further exploit the large magnetic moment to mass ratio of this mechanical oscillator to couple its motion to the spin degree of freedom of an individual nitrogen vacancy center in diamond. Our approach provides a new path towards interfacing individual spin qubits with mechanical motion for testing quantum mechanics with mesoscopic objects, realization of quantum networks, and ultra-sensitive metrology. △ Less

Submitted 22 December, 2019; originally announced December 2019.

Comments: 5 pages, 4 figures

Journal ref: Phys. Rev. Lett. 124, 163604 (2020)

Scalable multilayer architecture of assembled single-atom qubit arrays in a three-dimensional Talbot tweezer lattice

Authors: Malte Schlosser, Sascha Tichelmann, Dominik Schäffner, Daniel Ohl de Mello, Moritz Hambach, Jan Schütz, Gerhard Birkl

Abstract: We report on the realization of a novel platform for the creation of large-scale 3D multilayer configurations of planar arrays of individual neutral-atom qubits: a microlens-generated Talbot tweezer lattice that extends 2D tweezer arrays to the third dimension at no additional costs. We demonstrate the trap** and imaging of rubidium atoms in integer and fractional Talbot planes and the assembly… ▽ More We report on the realization of a novel platform for the creation of large-scale 3D multilayer configurations of planar arrays of individual neutral-atom qubits: a microlens-generated Talbot tweezer lattice that extends 2D tweezer arrays to the third dimension at no additional costs. We demonstrate the trap** and imaging of rubidium atoms in integer and fractional Talbot planes and the assembly of defect-free atom arrays in different layers. The Talbot self-imaging effect for microlens arrays constitutes a structurally robust and wavelength-universal method for the realization of 3D atom arrays with beneficial scaling properties. With more than 750 qubit sites per 2D layer, these scaling properties imply that 10000 qubit sites are already accessible in 3D in our current implementation. The trap topology and functionality are configurable in the micrometer regime. We use this to generate interleaved lattices with dynamic position control and parallelized sublattice addressing of spin states for immediate application in quantum science and technology. △ Less

Submitted 12 May, 2023; v1 submitted 14 February, 2019; originally announced February 2019.

Journal ref: Phys. Rev. Lett. 130, 180601 (2023)

Quantum acousto-optic control of light-matter interactions in nanophotonic networks

Authors: G. Calajo, M. J. A. Schuetz, H. Pichler, M. D. Lukin, P. Schneeweiss, J. Volz, P. Rabl

Abstract: We analyze the coupling of atoms or atom-like emitters to nanophotonic waveguides in the presence of propagating acoustic waves. Specifically, we show that strong index modulations induced by such waves can drastically modify the effective photonic density of states and thereby influence the strength, the directionality, as well as the overall characteristics of photon emission and absorption proc… ▽ More We analyze the coupling of atoms or atom-like emitters to nanophotonic waveguides in the presence of propagating acoustic waves. Specifically, we show that strong index modulations induced by such waves can drastically modify the effective photonic density of states and thereby influence the strength, the directionality, as well as the overall characteristics of photon emission and absorption processes. These effects enable a complete dynamical control of light-matter interactions in waveguide structures, which even in a two dimensional system can be used to efficiently exchange individual photons along selected directions and with a very high fidelity. Such a quantum acousto-optical control provides a versatile tool for various quantum networking applications ranging from the distribution of entanglement via directional emitter-emitter interactions to the routing of individual photonic quantum states via acoustic conveyor belts. △ Less

Submitted 31 May, 2019; v1 submitted 9 January, 2019; originally announced January 2019.

Comments: 15 pages, 9 figures

Journal ref: Phys. Rev. A 99, 053852 (2019)

Hybrid Architecture for Engineering Magnonic Quantum Networks

Authors: C. C. Rusconi, M. J. A. Schuetz, J. Gieseler, M. D. Lukin, O. Romero-Isart

Abstract: We show theoretically that a network of superconducting loops and magnetic particles can be used to implement magnonic crystals with tunable magnonic band structures. In our approach, the loops mediate interactions between the particles and allow magnetic excitations to tunnel over long distances. As a result, different arrangements of loops and particles allow one to engineer the band structure f… ▽ More We show theoretically that a network of superconducting loops and magnetic particles can be used to implement magnonic crystals with tunable magnonic band structures. In our approach, the loops mediate interactions between the particles and allow magnetic excitations to tunnel over long distances. As a result, different arrangements of loops and particles allow one to engineer the band structure for the magnonic excitations. Furthermore, we show how magnons in such crystals can serve as a quantum bus for long-distance magnetic coupling of spin qubits. The qubits are coupled to the magnets in the network by their local magnetic-dipole interaction and provide an integrated way to measure the state of the magnonic quantum network. △ Less

Submitted 2 September, 2019; v1 submitted 13 September, 2018; originally announced September 2018.

Comments: Manuscript: 4 pages, 3 figures. Supplemental Material: 9 pages, 4 figures. V2: Published version in PRA: 14 pages + 8 figures. Substantial rearrangement of the content of the previous version

Journal ref: Phys. Rev. A 100, 022343 (2019)

Quantum Simulation and Optimization in Hot Quantum Networks

Authors: Martin J. A. Schuetz, Benoît Vermersch, Gerhard Kirchmair, Lieven M. K. Vandersypen, J. Ignacio Cirac, Mikhail D. Lukin, Peter Zoller

Abstract: We propose and analyze a setup based on (solid-state) qubits coupled to a common multi-mode transmission line, which allows for coherent spin-spin interactions over macroscopic on-chip distances, without any ground-state cooling requirements for the data bus. Our approach allows for the realization of fast deterministic quantum gates between distant qubits, the simulation of quantum spin models wi… ▽ More We propose and analyze a setup based on (solid-state) qubits coupled to a common multi-mode transmission line, which allows for coherent spin-spin interactions over macroscopic on-chip distances, without any ground-state cooling requirements for the data bus. Our approach allows for the realization of fast deterministic quantum gates between distant qubits, the simulation of quantum spin models with engineered (long-range) interactions, and provides a flexible architecture for the implementation of quantum approximate optimization algorithms. △ Less

Submitted 11 September, 2018; originally announced September 2018.

Comments: Manuscript: 5 pages, 4 figures. Supplementary Material: 14 pages, 5 figures

Journal ref: Phys. Rev. B 99, 241302 (2019)

Solid-state magnetic traps and lattices

Authors: Johannes Knörzer, Martin J. A. Schuetz, Geza Giedke, Hans Huebl, Mathias Weiler, Mikhail D. Lukin, J. Ignacio Cirac

Abstract: We propose and analyze magnetic traps and lattices for electrons in semiconductors. We provide a general theoretical framework and show that thermally stable traps can be generated by magnetically driving the particle's internal spin transition, akin to optical dipole traps for ultra-cold atoms. Next we discuss in detail periodic arrays of magnetic traps, i.e. magnetic lattices, as a platform for… ▽ More We propose and analyze magnetic traps and lattices for electrons in semiconductors. We provide a general theoretical framework and show that thermally stable traps can be generated by magnetically driving the particle's internal spin transition, akin to optical dipole traps for ultra-cold atoms. Next we discuss in detail periodic arrays of magnetic traps, i.e. magnetic lattices, as a platform for quantum simulation of exotic Hubbard models, with lattice parameters that can be tuned in real time. Our scheme can be readily implemented in state-of-the-art experiments, as we particularize for two specific setups, one based on a superconducting circuit and another one based on surface acoustic waves. △ Less

Submitted 2 July, 2018; v1 submitted 20 April, 2018; originally announced April 2018.

Comments: 18 pages, 8 figures

Journal ref: Phys. Rev. B 97, 235451 (2018)

Phonon networks with SiV centers in diamond waveguides

Authors: M. -A. Lemonde, S. Meesala, A. Sipahigil, M. J. A. Schuetz, M. D. Lukin, M. Loncar, P. Rabl

Abstract: We propose and analyze a novel realization of a solid-state quantum network, where separated silicon-vacancy centers are coupled via the phonon modes of a quasi-1D diamond waveguide. In our approach, quantum states encoded in long-lived electronic spin states can be converted into propagating phonon wavepackets and be reabsorbed efficiently by a distant defect center. Our analysis shows that under… ▽ More We propose and analyze a novel realization of a solid-state quantum network, where separated silicon-vacancy centers are coupled via the phonon modes of a quasi-1D diamond waveguide. In our approach, quantum states encoded in long-lived electronic spin states can be converted into propagating phonon wavepackets and be reabsorbed efficiently by a distant defect center. Our analysis shows that under realistic conditions, this approach enables the implementation of high-fidelity, scalable quantum communication protocols within chip-scale spin-qubit networks. Apart from quantum information processing, this setup constitutes a novel waveguide QED platform, where strong-coupling effects between solid-state defects and individual propagating phonons can be explored at the quantum level. △ Less

Submitted 5 January, 2018; originally announced January 2018.

Comments: 4.5 pages of main text with 4 figures. 14 pages of Supplemental informations with 3 figures

Journal ref: Phys. Rev. Lett. 120, 213603 (2018)

Single-molecule optical absorption imaging by nanomechanical photothermal sensing at room temperature

Authors: Miao-Hsuan Chien, Mario Brameshuber, Gerhard J. Schütz, Silvan Schmid

Abstract: Absorption microscopy is a powerful technique, enabling the detection of single non- fluorescent molecules at room temperature. So far, the molecular absorption has been probed optically via the attenuation of a probing laser. The sensitivity of optical probing is not only restricted by background scattering, but it is fundamentally limited by laser shot noise. Here, we present nanomechanical phot… ▽ More Absorption microscopy is a powerful technique, enabling the detection of single non- fluorescent molecules at room temperature. So far, the molecular absorption has been probed optically via the attenuation of a probing laser. The sensitivity of optical probing is not only restricted by background scattering, but it is fundamentally limited by laser shot noise. Here, we present nanomechanical photothermal microscopy, which overcomes the scattering and shot noise limit by detecting the sample absorption directly with a temperature sensitive substrate. We use nanomechanical silicon nitride drums, whose resonant frequency detunes with local heating. Individual Au nanoparticles with diameters from 10 nm - 200 nm and single molecules (Atto 633) are scanned with a 305 μW heating laser with a peak irradiance of 330 μW/μm2. Using stress-optimized drums, we achieve a sensitivity of 45 fW/sqrt(Hz), which results in a signal-to-noise ratio of >60 for a single molecule. Our method has important consequences for a wide range of applications, such as imaging, absorption analysis and spectrochemical analysis of non-fluorescent samples. △ Less

Submitted 13 December, 2017; originally announced December 2017.

FESTUNG: A MATLAB / GNU Octave toolbox for the discontinuous Galerkin method. Part III: Hybridized discontinuous Galerkin (HDG) formulation

Authors: Alexander Jaust, Balthasar Reuter, Vadym Aizinger, Jochen Schütz, Peter Knabner

Abstract: The third paper in our series on open source MATLAB / GNU Octave implementation of the discontinuous Galerkin (DG) method(s) focuses on a hybridized formulation. The main aim of this ongoing work is to develop rapid prototy** techniques covering a range of standard DG methodologies and suitable for small to medium sized applications. Our FESTUNG package relies on fully vectorized matrix / vector… ▽ More The third paper in our series on open source MATLAB / GNU Octave implementation of the discontinuous Galerkin (DG) method(s) focuses on a hybridized formulation. The main aim of this ongoing work is to develop rapid prototy** techniques covering a range of standard DG methodologies and suitable for small to medium sized applications. Our FESTUNG package relies on fully vectorized matrix / vector operations throughout, and all details of the implementation are fully documented. Once again, great care was taken to maintain a direct map** between discretization terms and code routines as well as to ensure full compatibility to GNU Octave. The current work formulates a hybridized DG scheme for linear advection problem, describes hybrid approximation spaces on the mesh skeleton, and compares the performance of this discretization to the standard (element-based) DG method for different polynomial orders. △ Less

Submitted 11 June, 2018; v1 submitted 13 September, 2017; originally announced September 2017.

Comments: Updated with accepted manuscript. Among other (mostly editorial) changes, parts of Sec. 3 were rewritten to improve the presentation of the method

Journal ref: Computers & Mathematics with Applications, Volume 75, Issue 12, 15 June 2018, Pages 4505-4533

Acoustic Traps and Lattices for Electrons in Semiconductors

Authors: Martin J. A. Schuetz, Johannes Knörzer, Geza Giedke, Lieven M. K. Vandersypen, Mikhail D. Lukin, J. Ignacio Cirac

Abstract: We propose and analyze a solid-state platform based on surface acoustic waves (SAWs) for trap**, cooling and controlling (charged) particles, as well as the simulation of quantum many-body systems. We develop a general theoretical framework demonstrating the emergence of effective time-independent acoustic trap** potentials for particles in two- or one-dimensional structures. As our main examp… ▽ More We propose and analyze a solid-state platform based on surface acoustic waves (SAWs) for trap**, cooling and controlling (charged) particles, as well as the simulation of quantum many-body systems. We develop a general theoretical framework demonstrating the emergence of effective time-independent acoustic trap** potentials for particles in two- or one-dimensional structures. As our main example we discuss in detail the generation and applications of a stationary, but movable acoustic pseudo-lattice (AL) with lattice parameters that are reconfigurable in situ. We identify the relevant figures of merit, discuss potential experimental platforms for a faithful implementation of such an acoustic lattice, and provide estimates for typical system parameters. With a projected lattice spacing on the scale of 100nm, this approach allows for relatively large energy scales in the realization of fermionic Hubbard models, with the ultimate prospect of entering the low temperature, strong interaction regime. Experimental imperfections as well as read-out schemes are discussed. △ Less

Submitted 25 October, 2017; v1 submitted 13 May, 2017; originally announced May 2017.

Comments: Manuscript: 10.5 pages, 5 figures, 1 table. Appendices: 8 pages, 1 table. v2: version as published, Journal-Ref added

Journal ref: Phys. Rev. X 7, 041019 (2017)

Implicit multiderivative collocation solvers for linear partial differential equations with discontinuous Galerkin spatial discretizations

Authors: Jochen Schütz, David C. Seal, Alexander Jaust

Abstract: In this work, we construct novel discretizations for the unsteady convection-diffusion equation. Our discretization relies on multiderivative time integrators together with a novel discretization that reduces the total number of unknowns for the solver. These type of temporal discretizations come from an umbrella class of methods that include Lax-Wendroff (Taylor) as well as Runge-Kutta methods as… ▽ More In this work, we construct novel discretizations for the unsteady convection-diffusion equation. Our discretization relies on multiderivative time integrators together with a novel discretization that reduces the total number of unknowns for the solver. These type of temporal discretizations come from an umbrella class of methods that include Lax-Wendroff (Taylor) as well as Runge-Kutta methods as special cases. We include two-point collocation methods with multiple time derivatives as well as a sixth-order fully implicit collocation method that only requires a total of three stages. Numerical results for a number of sample linear problems indicate the expected order of accuracy and indicate we can take arbitrarily large time steps. △ Less

Submitted 8 February, 2017; originally announced February 2017.

Comments: 23 pages

High-Fidelity Hot Gates for Generic Spin-Resonator Systems

Authors: Martin J. A. Schuetz, Geza Giedke, Lieven M. K. Vandersypen, J. Ignacio Cirac

Abstract: We propose and analyze a high-fidelity hot gate for generic spin-resonator systems which allows for coherent spin-spin coupling, in the presence of a thermally populated resonator mode. Our scheme is non-perturbative, applies to a broad class of physical systems, including for example spins coupled to circuit-QED and surface acoustic wave resonators as well as nanomechanical oscillators, and can b… ▽ More We propose and analyze a high-fidelity hot gate for generic spin-resonator systems which allows for coherent spin-spin coupling, in the presence of a thermally populated resonator mode. Our scheme is non-perturbative, applies to a broad class of physical systems, including for example spins coupled to circuit-QED and surface acoustic wave resonators as well as nanomechanical oscillators, and can be implemented readily with state-of-the-art experimental setups. We provide and numerically verify simple expressions for the fidelity of creating maximally entangled states under realistic conditions. △ Less

Submitted 19 May, 2017; v1 submitted 6 July, 2016; originally announced July 2016.

Comments: Manuscript: 5 pages, 4 figures. Appendices: 23 pages, 16 figures. v2: version as published, Journal-Ref added

Journal ref: Phys. Rev. A 95, 052335 (2017)

Dissipative Long-Range Entanglement Generation between Electronic Spins

Authors: Mónica Benito, Martin J. A. Schuetz, J. Ignacio Cirac, Gloria Platero, Geza Giedke

Abstract: We propose a scheme for deterministic generation and long-term stabilization of entanglement between two electronic spin qubits confined in spatially separated quantum dots. Our approach relies on an electronic quantum bus, consisting either of quantum Hall edge channels or surface acoustic waves, that can mediate long-range coupling between localized spins over distances of tens of micrometers. S… ▽ More We propose a scheme for deterministic generation and long-term stabilization of entanglement between two electronic spin qubits confined in spatially separated quantum dots. Our approach relies on an electronic quantum bus, consisting either of quantum Hall edge channels or surface acoustic waves, that can mediate long-range coupling between localized spins over distances of tens of micrometers. Since the entanglement is actively stabilized by dissipative dynamics, our scheme is inherently robust against noise and imperfections. △ Less

Submitted 18 August, 2016; v1 submitted 3 March, 2016; originally announced March 2016.

Comments: Updated version. 19 pages, 19 figures

Journal ref: Phys. Rev. B 94, 115404 (2016)

Implicit multistage two-derivative discontinuous Galerkin schemes for viscous conservation laws

Authors: Alexander Jaust, Jochen Schütz, David C. Seal

Abstract: In this paper we apply implicit two-derivative multistage time integrators to viscous conservation laws in one and two dimensions. The one dimensional solver discretizes space with the classical discontinuous Galerkin (DG) method, and the two dimensional solver uses a hybridized discontinuous Galerkin (HDG) spatial discretization for efficiency. We propose methods that permit us to construct impli… ▽ More In this paper we apply implicit two-derivative multistage time integrators to viscous conservation laws in one and two dimensions. The one dimensional solver discretizes space with the classical discontinuous Galerkin (DG) method, and the two dimensional solver uses a hybridized discontinuous Galerkin (HDG) spatial discretization for efficiency. We propose methods that permit us to construct implicit solvers using each of these spatial discretizations, wherein a chief difficulty is how to handle the higher derivatives in time. The end result is that the multiderivative time integrator allows us to obtain high-order accuracy in time while kee** the number of implicit stages at a minimum. We show numerical results validating and comparing methods. △ Less

Submitted 23 March, 2016; v1 submitted 27 October, 2015; originally announced October 2015.

Universal Quantum Transducers based on Surface Acoustic Waves

Authors: Martin J. A. Schuetz, Eric M. Kessler, Geza Giedke, Lieven M. K. Vandersypen, Mikhail D. Lukin, J. Ignacio Cirac

Abstract: We propose a universal, on-chip quantum transducer based on surface acoustic waves in piezo-active materials. Because of the intrinsic piezoelectric (and/or magnetostrictive) properties of the material, our approach provides a universal platform capable of coherently linking a broad array of qubits, including quantum dots, trapped ions, nitrogen-vacancy centers or superconducting qubits. The quant… ▽ More We propose a universal, on-chip quantum transducer based on surface acoustic waves in piezo-active materials. Because of the intrinsic piezoelectric (and/or magnetostrictive) properties of the material, our approach provides a universal platform capable of coherently linking a broad array of qubits, including quantum dots, trapped ions, nitrogen-vacancy centers or superconducting qubits. The quantized modes of surface acoustic waves lie in the gigahertz range, can be strongly confined close to the surface in phononic cavities and guided in acoustic waveguides. We show that this type of surface acoustic excitations can be utilized efficiently as a quantum bus, serving as an on-chip, mechanical cavity-QED equivalent of microwave photons and enabling long-range coupling of a wide range of qubits. △ Less

Submitted 6 October, 2015; v1 submitted 20 April, 2015; originally announced April 2015.

Comments: Manuscript: 8 pages, 3 figures. Appendices: 17 pages, 12 figures. v2: version as published, Journal-Ref added

Journal ref: Phys. Rev. X 5, 031031 (2015)

Flux Splitting for stiff equations: A notion on stability

Authors: Jochen Schütz, Sebastian Noelle

Abstract: For low Mach number flows, there is a strong recent interest in the development and analysis of IMEX (implicit/explicit) schemes, which rely on a splitting of the convective flux into stiff and nonstiff parts. A key ingredient of the analysis is the so-called Asymptotic Preserving (AP) property, which guarantees uniform consistency and stability as the Mach number goes to zero. While many authors… ▽ More For low Mach number flows, there is a strong recent interest in the development and analysis of IMEX (implicit/explicit) schemes, which rely on a splitting of the convective flux into stiff and nonstiff parts. A key ingredient of the analysis is the so-called Asymptotic Preserving (AP) property, which guarantees uniform consistency and stability as the Mach number goes to zero. While many authors have focussed on asymptotic consistency, we study asymptotic stability in this paper: does an IMEX scheme allow for a CFL number which is independent of the Mach number? We derive a stability criterion for a general linear hyperbolic system. In the decisive eigenvalue analysis, the advective term, the upwind diffusion and a quadratic term stemming from the truncation in time all interact in a subtle way. As an application, we show that a new class of splittings based on characteristic decomposition, for which the commutator vanishes, avoids the deterioration of the time step which has sometimes been observed in the literature. △ Less

Submitted 4 December, 2014; originally announced December 2014.

Report number: IGPM report 382 (2013)

A note on adjoint error estimation for one-dimensional stationary balance laws with shocks

Authors: Jochen Schütz, Sebastian Noelle, Christina Steiner, Georg May

Abstract: We consider one-dimensional steady-state balance laws with discontinuous solutions. Giles and Pierce realized that a shock leads to a new term in the adjoint error representation for target functionals.This term disappears if and only if the adjoint solution satisfies an internal boundary condition. Curiously, most computer codes implementing adjoint error estimation ignore the new term in the fun… ▽ More We consider one-dimensional steady-state balance laws with discontinuous solutions. Giles and Pierce realized that a shock leads to a new term in the adjoint error representation for target functionals.This term disappears if and only if the adjoint solution satisfies an internal boundary condition. Curiously, most computer codes implementing adjoint error estimation ignore the new term in the functional, as well as the internal adjoint boundary condition. The purpose of this note is to justify this omission as follows: if one represents the exact forward and adjoint solutions as vanishing viscosity limits of the corresponding viscous problems, then the internal boundary condition is naturally satisfied in the limit. △ Less

Submitted 16 June, 2014; originally announced June 2014.

Journal ref: SIAM Journal on Numerical Analysis, 51:126-136, 2013

An asymptotic preserving method for linear systems of balance laws based on Galerkin's method

Authors: Jochen Schütz

Abstract: We apply the concept of Asymptotic Preserving (AP) schemes to the linearized p-system and discretize the resulting elliptic equation using standard continuous Finite Elements instead of Finite Differences. The fully discrete method is analyzed with respect to consistency, and we compare it numerically with more traditional methods such as Implicit Euler's method. Numerical results indicate that th… ▽ More We apply the concept of Asymptotic Preserving (AP) schemes to the linearized p-system and discretize the resulting elliptic equation using standard continuous Finite Elements instead of Finite Differences. The fully discrete method is analyzed with respect to consistency, and we compare it numerically with more traditional methods such as Implicit Euler's method. Numerical results indicate that the AP method is indeed superior to more traditional methods. △ Less

Submitted 16 June, 2014; originally announced June 2014.

Comments: Journal of Scientific Computing, 2013

A temporally adaptive hybridized discontinuous Galerkin method for time-dependent compressible flows

Authors: Alexander Jaust, Jochen Schütz

Abstract: The potential of the hybridized discontinuous Galerkin (HDG) method has been recognized for the computation of stationary flows. Extending the method to time-dependent problems can, e.g., be done by backward difference formulae (BDF) or diagonally implicit Runge-Kutta (DIRK) methods. In this work, we investigate the use of embedded DIRK methods in an HDG solver, including the use of adaptive time-… ▽ More The potential of the hybridized discontinuous Galerkin (HDG) method has been recognized for the computation of stationary flows. Extending the method to time-dependent problems can, e.g., be done by backward difference formulae (BDF) or diagonally implicit Runge-Kutta (DIRK) methods. In this work, we investigate the use of embedded DIRK methods in an HDG solver, including the use of adaptive time-step control. Numerical results demonstrate the performance of the method for both linear and nonlinear (systems of) time-dependent convection-diffusion equations. △ Less

Submitted 2 June, 2014; originally announced June 2014.

Report number: IGPM Preprint Nr. 370, 2013

Journal ref: Computers and Fluids, 98:177-185, 2014

Nuclear Spin Dynamics in Double Quantum Dots: Multi-Stability, Dynamical Polarization, Criticality and Entanglement

Authors: Martin J. A. Schuetz, Eric M. Kessler, Lieven M. K. Vandersypen, J. Ignacio Cirac, Geza Giedke

Abstract: We theoretically study the nuclear spin dynamics driven by electron transport and hyperfine interaction in an electrically-defined double quantum dot (DQD) in the Pauli-blockade regime. We derive a master-equation-based framework and show that the coupled electron-nuclear system displays an instability towards the buildup of large nuclear spin polarization gradients in the two quantum dots. In the… ▽ More We theoretically study the nuclear spin dynamics driven by electron transport and hyperfine interaction in an electrically-defined double quantum dot (DQD) in the Pauli-blockade regime. We derive a master-equation-based framework and show that the coupled electron-nuclear system displays an instability towards the buildup of large nuclear spin polarization gradients in the two quantum dots. In the presence of such inhomogeneous magnetic fields, a quantum interference effect in the collective hyperfine coupling results in sizable nuclear spin entanglement between the two quantum dots in the steady state of the evolution. We investigate this effect using analytical and numerical techniques, and demonstrate its robustness under various types of imperfections. △ Less

Submitted 30 May, 2014; v1 submitted 24 March, 2014; originally announced March 2014.

Comments: 35 pages, 19 figures. This article provides the full analysis of a scheme proposed in Phys. Rev. Lett. 111, 246802 (2013). v2: version as published

Journal ref: Phys. Rev. B 89, 195310 (2014)

Adjoint-Based Error Estimation and Mesh Adaptation for Hybridized Discontinuous Galerkin Methods

Authors: Michael Woopen, Georg May, Jochen Schütz

Abstract: We present a robust and efficient target-based mesh adaptation methodology, building on hybridized discontinuous Galerkin schemes for (nonlinear) convection-diffusion problems, including the compressible Euler and Navier-Stokes equations. Hybridization of finite element discretizations has the main advantage, that the resulting set of algebraic equations has globally coupled degrees of freedom onl… ▽ More We present a robust and efficient target-based mesh adaptation methodology, building on hybridized discontinuous Galerkin schemes for (nonlinear) convection-diffusion problems, including the compressible Euler and Navier-Stokes equations. Hybridization of finite element discretizations has the main advantage, that the resulting set of algebraic equations has globally coupled degrees of freedom only on the skeleton of the computational mesh. Consequently, solving for these degrees of freedom involves the solution of a potentially much smaller system. This not only reduces storage requirements, but also allows for a faster solution with iterative solvers. The mesh adaptation is driven by an error estimate obtained via a discrete adjoint approach. Furthermore, the computed target functional can be corrected with this error estimate to obtain an even more accurate value. The aim of this paper is twofold: Firstly, to show the superiority of adjoint-based mesh adaptation over uniform and residual-based mesh refinement, and secondly to investigate the efficiency of the global error estimate. △ Less

Submitted 14 September, 2013; originally announced September 2013.

Journal ref: Int. J. Numer. Meth. Fluids 76 (2014) 811-834

A Comparison of Hybridized and Standard DG Methods for Target-Based hp-Adaptive Simulation of Compressible Flow

Authors: Michael Woopen, Aravind Balan, Georg May, Jochen Schütz

Abstract: We present a comparison between hybridized and non-hybridized discontinuous Galerkin methods in the context of target-based hp-adaptation for compressible flow problems. The aim is to provide a critical assessment of the computational efficiency of hybridized DG methods. Hybridization of finite element discretizations has the main advantage, that the resulting set of algebraic equations has global… ▽ More We present a comparison between hybridized and non-hybridized discontinuous Galerkin methods in the context of target-based hp-adaptation for compressible flow problems. The aim is to provide a critical assessment of the computational efficiency of hybridized DG methods. Hybridization of finite element discretizations has the main advantage, that the resulting set of algebraic equations has globally coupled degrees of freedom only on the skeleton of the computational mesh. Consequently, solving for these degrees of freedom involves the solution of a potentially much smaller system. This not only reduces storage requirements, but also allows for a faster solution with iterative solvers. Using a discrete-adjoint approach, sensitivities with respect to output functionals are computed to drive the adaptation. From the error distribution given by the adjoint-based error estimator, h- or p-refinement is chosen based on the smoothness of the solution which can be quantified by properly-chosen smoothness indicators. Numerical results are shown for subsonic, transonic, and supersonic flow around the NACA0012 airfoil. hp-adaptation proves to be superior to pure h-adaptation if discontinuous or singular flow features are involved. In all cases, a higher polynomial degree turns out to be beneficial. We show that for polynomial degree of approximation p=2 and higher, and for a broad range of test cases, HDG performs better than DG in terms of runtime and memory requirements. △ Less

Submitted 4 June, 2014; v1 submitted 19 August, 2013; originally announced August 2013.

Journal ref: Comp.Fluids 98 (2014) 3-16

Steady-State Entanglement in the Nuclear Spin Dynamics of a Double Quantum Dot

Authors: Martin J. A. Schuetz, Eric M. Kessler, Lieven M. K. Vandersypen, J. Ignacio Cirac, Geza Giedke

Abstract: We propose a scheme for the deterministic generation of steady-state entanglement between the two nuclear spin ensembles in an electrically defined double quantum dot. Due to quantum interference in the collective coupling to the electronic degrees of freedom, the nuclear system is actively driven into a two-mode squeezed-like target state. The entanglement build-up is accompanied by a self-polari… ▽ More We propose a scheme for the deterministic generation of steady-state entanglement between the two nuclear spin ensembles in an electrically defined double quantum dot. Due to quantum interference in the collective coupling to the electronic degrees of freedom, the nuclear system is actively driven into a two-mode squeezed-like target state. The entanglement build-up is accompanied by a self-polarization of the nuclear spins towards large Overhauser field gradients. Moreover, the feedback between the electronic and nuclear dynamics leads to multi-stability and criticality in the steady-state solutions. △ Less

Submitted 20 December, 2013; v1 submitted 14 August, 2013; originally announced August 2013.

Comments: Manuscript: 5 pages, 3 figures. Supplementary Information: 4 pages, 2 figures. v2: accepted version, Journal-Ref added

Journal ref: Phys. Rev. Lett. 111, 246802 (2013)

Heteronuclear collisions between laser-cooled metastable neon atoms

Authors: Jan Schütz, Thomas Feldker, Holger John, Gerhard Birkl

Abstract: We investigate heteronuclear collisions in isotope mixtures of laser-cooled metastable 3P2 neon. Experiments are performed with spin-polarized atoms in a magnetic trap for all two-isotope combinations of the stable neon isotopes 20Ne, 21Ne, and 22Ne. We determine the rate coefficients for heteronuclear ionizing collisions to beta_{21,20}=(3.9+/-2.7) x 10^{-11} cm^3/s, beta_{22,20}=(2.6+/-0.7) x 10… ▽ More We investigate heteronuclear collisions in isotope mixtures of laser-cooled metastable 3P2 neon. Experiments are performed with spin-polarized atoms in a magnetic trap for all two-isotope combinations of the stable neon isotopes 20Ne, 21Ne, and 22Ne. We determine the rate coefficients for heteronuclear ionizing collisions to beta_{21,20}=(3.9+/-2.7) x 10^{-11} cm^3/s, beta_{22,20}=(2.6+/-0.7) x 10^{-11} cm^3/s, and beta_{21,22}=(3.9+/-1.9) x 10^{-11} cm^3/s. We also study heteronuclear elastic collision processes and give upper bounds for heteronuclear thermal relaxation cross sections. This work significantly extends the limited available experimental data on heteronuclear ionizing collisions for laser-cooled atoms involving one or more rare gas atoms in a metastable state. △ Less

Submitted 28 August, 2012; originally announced August 2012.

Journal ref: Phys. Rev. A 86, 022713 (2012)