Showing 1–3 of 3 results for author: Symons, J F
-
Software Engineering Standards for Epidemiological Modeling
Authors:
Jack K. Horner,
John F. Symons
Abstract:
There are many normative and technical questions involved in evaluating the quality of software used in epidemiological simulations. In this paper we answer some of these questions and offer practical guidance to practitioners, funders, scientific journals, and consumers of epidemiological research. The heart of our paper is a case study of the Imperial College London (ICL) COVID-19 simulator. We…
▽ More
There are many normative and technical questions involved in evaluating the quality of software used in epidemiological simulations. In this paper we answer some of these questions and offer practical guidance to practitioners, funders, scientific journals, and consumers of epidemiological research. The heart of our paper is a case study of the Imperial College London (ICL) COVID-19 simulator. We contend that epidemiological simulators should be engineered and evaluated within the framework of safety-critical standards developed by the consensus of the software engineering community for applications such as automotive and aircraft control.
△ Less
Submitted 19 September, 2020;
originally announced September 2020.
-
What Have Google's Random Quantum Circuit Simulation Experiments Demonstrated about Quantum Supremacy?
Authors:
Jack K. Horner,
John F. Symons
Abstract:
Quantum computing is of high interest because it promises to perform at least some kinds of computations much faster than classical computers. Arute et al. 2019 (informally, "the Google Quantum Team") report the results of experiments that purport to demonstrate "quantum supremacy" -- the claim that the performance of some quantum computers is better than that of classical computers on some proble…
▽ More
Quantum computing is of high interest because it promises to perform at least some kinds of computations much faster than classical computers. Arute et al. 2019 (informally, "the Google Quantum Team") report the results of experiments that purport to demonstrate "quantum supremacy" -- the claim that the performance of some quantum computers is better than that of classical computers on some problems. Do these results close the debate over quantum supremacy? We argue that they do not. We provide an overview of the Google Quantum Team's experiments, then identify some open questions in the quest to demonstrate quantum supremacy.
△ Less
Submitted 15 September, 2020;
originally announced September 2020.
-
A boundary-singular two-dimensional partial data inverse problem
Authors:
Freddy J. F. Symons
Abstract:
We consider uniqueness in an inverse Schrödinger problem in a bounded domain in $\mathbb{R}^2$ given the Dirichlet-to-Neumann map on part of the boundary. On the remaining boundary we impose a new type of singular boundary condition with unknown parameter. Owing to recent results on this class of boundary conditions, we discuss the necessity of an extra point condition to well-define the data for…
▽ More
We consider uniqueness in an inverse Schrödinger problem in a bounded domain in $\mathbb{R}^2$ given the Dirichlet-to-Neumann map on part of the boundary. On the remaining boundary we impose a new type of singular boundary condition with unknown parameter. Owing to recent results on this class of boundary conditions, we discuss the necessity of an extra point condition to well-define the data for the inverse problem. Our results are two-fold. At a single frequency the inverse problem displays non-uniqueness, since an unknown boundary condition can spoil `seeing' the Schrödinger potential via the Dirichlet-to-Neumann map. On the other hand, taking as input data the Dirichlet-to-Neumann map at every frequency $λ\in\mathbb{R}$ for which it is well-defined yields full uniqueness of the potential and all the boundary conditions. We adapt recent methods in related two-dimensional inverse problems and develop new techniques to cope with the singularity in the boundary condition.
△ Less
Submitted 17 September, 2018;
originally announced September 2018.