arXiv subjects

Gopal Sarma

Publications and source records attributed to Gopal Sarma.

9 recordsLinked to original sources

arXiv2021

Formal Methods for the Informal Engineer: Workshop Recommendations

Formal Methods for the Informal Engineer (FMIE) was a workshop held at the Broad Institute of MIT and Harvard in 2021 to explore the potential role of verified software in the biomedical software ecosystem. The motivation for organizing FMIE was the recognition that the life sciences and medicine are undergoing a transition from being passive consumers of software and AI/ML technologies to fundamental drivers of new platforms, including those which will need to be mission and safety-critical. Drawing on conversations leading up to and during the workshop, we make five concrete recommendations to help software leaders organically incorporate tools, techniques, and perspectives from formal methods into their project planning and development trajectories.

cs.SE↗

arXiv2014

Should We Train Scientific Generalists?

I examine the topic of training scientific generalists. To focus the discussion, I propose the creation of a new graduate program, analogous in structure to existing MD/PhD programs, aimed at training a critical mass of scientific researchers with substantial intellectual breadth. In addition to completing the normal requirements for a PhD, students would undergo an intense, several year training period designed to expose them to the core vocabulary of multiple subjects at the graduate level. After providing some historical and philosophical context for this proposal, I outline how such a program could be implemented with little institutional overhead by existing research universities. Finally, I discuss alternative possibilities for training generalists by taking advantage of contemporary developments in online learning and open science.

cs.CY↗

arXiv2013

Reconsidering Written Language

A number of elite thinkers in Europe during the 16th and 17th centuries pursued an agenda which historian Paolo Rossi calls the "quest for a universal language," a quest which was deeply interwoven with the emergence of the scientific method. From a modern perspective, one of the many surprising aspects of these efforts is that they relied on a diverse array of memorization techniques as foundational elements. In the case of Leibniz's universal calculus, the ultimate vision was to create a pictorial language that could be learned by anyone in a matter of weeks and which would contain within it a symbolic representation of all domains of contemporary thought, ranging from the natural sciences, to theology, to law. In this brief article, I explore why this agenda might have been appealing to thinkers of this era by examining ancient and modern memory feats. As a thought experiment, I suggest that a society built entirely upon memorization might be less limited than we might otherwise imagine, and furthermore, that cultural norms discouraging the use of written language might have had implications for the development of scientific methodology. Viewed in this light, the efforts of Leibniz and others seem significantly less surprising. I close with some general observations about cross-cultural origins of scientific thought.

physics.hist-ph↗

arXiv2013

The Art of Memory and the Growth of the Scientific Method

I argue that European schools of thought on memory and memorization were critical in enabling the growth of the scientific method. After giving a historical overview of the development of the memory arts from ancient Greece through 17th century Europe, I describe how the Baconian viewpoint on the scientific method was fundamentally part of a culture and a broader dialogue that conceived of memorization as a foundational methodology for structuring knowledge and for developing symbolic means for representing scientific concepts. The principal figures of this intense and rapidly evolving intellectual milieu included some of the leading thinkers traditionally associated with the scientific revolution; among others, Francis Bacon, Renes Descartes, and Gottfried Leibniz. I close by examining the acceleration of mathematical thought in light of the art of memory and its role in 17th century philosophy, and in particular, Leibniz' project to develop a universal calculus.

physics.hist-ph↗

arXiv2012

Gauge subsystems, separability, and robustness in autonomous quantum memories

Quantum error correction provides a fertile context for exploring the interplay of feedback control, microscopic physics and noncommutative probability. In this paper we deepen our understanding of this nexus through high-level analysis of a class of quantum memory models that we have previously proposed, which implement continuous-time versions of well-known stabilizer codes in autonomous nanophotonic circuits that require no external clocking or control. We show that the presence of the gauge subsystem in the nine-qubit Bacon-Shor code allows for an optimized layout of the corresponding nanophotonic circuit that substantially ameliorates the effects of optical propagation losses, argue that code separability allows for simplified restoration feedback protocols, and propose a modified fidelity metric for quantifying the performance of realistic quantum memories. Our treatment of these topics exploits the homogeneous modeling framework of autonomous nanophotonic circuits, but the key ideas translate to the traditional setting of discrete time, measurement-based quantum error correction.

quant-ph↗

arXiv2012

Transformation of quantum photonic circuit models by term rewriting

The development of practical methods for synthesis and verification of complex photonic circuits presents a grand challenge for the nascent field of quantum engineering. Of course, classical electrical engineering provides essential foundations and serves to illustrate the degree of sophistication that can be achieved in automated circuit design. In this paper we explore the utility of term rewriting approaches to the transformation of quantum circuit models, specifically applying rewrite rules for both reduction/verification and robustness analysis of photonic circuits for autonomous quantum error correction. We outline a workflow for quantum photonic circuit analysis that leverages the Modelica framework for multi-domain physical modeling, which parallels a previously described approach based on VHSIC Hardware Description Language (VHDL).

quant-ph↗

arXiv2011

Specification of photonic circuits using Quantum Hardware Description Language

Following the simple observation that the interconnection of a set of quantum optical input-output devices can be specified using structural mode VHSIC Hardware Description Language (VHDL), we demonstrate a computer-aided schematic capture workflow for modeling and simulating multi-component photonic circuits. We describe an algorithm for parsing circuit descriptions to derive quantum equations of motion, illustrate our approach using simple examples based on linear and cavity-nonlinear optical components, and demonstrate a computational approach to hierarchical model reduction.

quant-ph↗

arXiv2008

A quantum stochastic calculus approach to modeling double-pass atom-field coupling

We examine a proposal by Sherson and Moelmer to generate polarization-squeezed light in terms of the quantum stochastic calculus (QSC). We investigate the statistics of the output field and confirm their results using the QSC formalism. In addition, we study the atomic dynamics of the system and find that this setup can produce up to 3 dB of atomic spin squeezing.

quant-ph↗

arXiv2007

Scattering of polarized laser light by an atomic gas in free space: a QSDE approach

We propose a model, based on a quantum stochastic differential equation (QSDE), to describe the scattering of polarized laser light by an atomic gas. The gauge terms in the QSDE account for the direct scattering of the laser light into different field channels. Once the model has been set, we can rigorously derive quantum filtering equations for balanced polarimetry and homodyne detection experiments, study the statistics of output processes and investigate a strong driving, weak coupling limit.

quant-ph↗