Showing 1–13 of 13 results for author: Henderson, J M

Automated Quantum Circuit Generation for Computing Inverse Hash Functions

Authors: Elena R. Henderson, Jessie M. Henderson, William V. Oxford, Mitchell A. Thornton

Abstract: Several cryptographic systems depend upon the computational difficulty of reversing cryptographic hash functions. Robust hash functions transform inputs to outputs in such a way that the inputs cannot be later retrieved in a reasonable amount of time even if the outputs and the function that created them are known. Consequently, hash functions can be cryptographically secure, and they are employed… ▽ More Several cryptographic systems depend upon the computational difficulty of reversing cryptographic hash functions. Robust hash functions transform inputs to outputs in such a way that the inputs cannot be later retrieved in a reasonable amount of time even if the outputs and the function that created them are known. Consequently, hash functions can be cryptographically secure, and they are employed in encryption, authentication, and other security methods. It has been suggested that such cryptographically-secure hash functions will play a critical role in the era of post-quantum cryptography (PQC), as they do in conventional systems. In this work, we introduce a procedure that leverages the principle of reversibility to generate circuits that invert hash functions. We provide a proof-of-concept implementation and describe methods that allow for scaling the hash function inversion approach. Specifically, we implement one manifestation of the algorithm as part of a more general automated quantum circuit synthesis, compilation, and optimization toolkit. We illustrate production of reversible circuits for crypto-hash functions that inherently provide the inverse of the function, and we describe data structures that increase the scalability of the hash function inversion approach. △ Less

Submitted 25 April, 2024; originally announced April 2024.

Comments: 12 pages, 9 figures, 1 table

Designing a Photonic Physically Unclonable Function Having Resilience to Machine Learning Attacks

Authors: Elena R. Henderson, Jessie M. Henderson, Hiva Shahoei, William V. Oxford, Eric C. Larson, Duncan L. MacFarlane, Mitchell A. Thornton

Abstract: Physically unclonable functions (PUFs) are designed to act as device 'fingerprints.' Given an input challenge, the PUF circuit should produce an unpredictable response for use in situations such as root-of-trust applications and other hardware-level cybersecurity applications. PUFs are typically subcircuits present within integrated circuits (ICs), and while conventional IC PUFs are well-understoo… ▽ More Physically unclonable functions (PUFs) are designed to act as device 'fingerprints.' Given an input challenge, the PUF circuit should produce an unpredictable response for use in situations such as root-of-trust applications and other hardware-level cybersecurity applications. PUFs are typically subcircuits present within integrated circuits (ICs), and while conventional IC PUFs are well-understood, several implementations have proven vulnerable to malicious exploits, including those perpetrated by machine learning (ML)-based attacks. Such attacks can be difficult to prevent because they are often designed to work even when relatively few challenge-response pairs are known in advance. Hence the need for both more resilient PUF designs and analysis of ML-attack susceptibility. Previous work has developed a PUF for photonic integrated circuits (PICs). A PIC PUF not only produces unpredictable responses given manufacturing-introduced tolerances, but is also less prone to electromagnetic radiation eavesdrop** attacks than a purely electronic IC PUF. In this work, we analyze the resilience of the proposed photonic PUF when subjected to ML-based attacks. Specifically, we describe a computational PUF model for producing the large datasets required for training ML attacks; we analyze the quality of the model; and we discuss the modeled PUF's susceptibility to ML-based attacks. We find that the modeled PUF generates distributions that resemble uniform white noise, explaining the exhibited resilience to neural-network-based attacks designed to exploit latent relationships between challenges and responses. Preliminary analysis suggests that the PUF exhibits similar resilience to generative adversarial networks, and continued development will show whether more-sophisticated ML approaches better compromise the PUF and -- if so -- how design modifications might improve resilience. △ Less

Submitted 2 April, 2024; originally announced April 2024.

Comments: 14 pages, 8 figures

A Photonic Physically Unclonable Function's Resilience to Multiple-Valued Machine Learning Attacks

Authors: Jessie M. Henderson, Elena R. Henderson, Clayton A. Harper, Hiva Shahoei, William V. Oxford, Eric C. Larson, Duncan L. MacFarlane, Mitchell A. Thornton

Abstract: Physically unclonable functions (PUFs) identify integrated circuits using nonlinearly-related challenge-response pairs (CRPs). Ideally, the relationship between challenges and corresponding responses is unpredictable, even if a subset of CRPs is known. Previous work developed a photonic PUF offering improved security compared to non-optical counterparts. Here, we investigate this PUF's susceptibil… ▽ More Physically unclonable functions (PUFs) identify integrated circuits using nonlinearly-related challenge-response pairs (CRPs). Ideally, the relationship between challenges and corresponding responses is unpredictable, even if a subset of CRPs is known. Previous work developed a photonic PUF offering improved security compared to non-optical counterparts. Here, we investigate this PUF's susceptibility to Multiple-Valued-Logic-based machine learning attacks. We find that approximately 1,000 CRPs are necessary to train models that predict response bits better than random chance. Given the significant challenge of acquiring a vast number of CRPs from a photonic PUF, our results demonstrate photonic PUF resilience against such attacks. △ Less

Submitted 2 March, 2024; originally announced March 2024.

Comments: 6 pages, 4 figures

Plug-and-Play Stability for Intracortical Brain-Computer Interfaces: A One-Year Demonstration of Seamless Brain-to-Text Communication

Authors: Chaofei Fan, Nick Hahn, Foram Kamdar, Donald Avansino, Guy H. Wilson, Leigh Hochberg, Krishna V. Shenoy, Jaimie M. Henderson, Francis R. Willett

Abstract: Intracortical brain-computer interfaces (iBCIs) have shown promise for restoring rapid communication to people with neurological disorders such as amyotrophic lateral sclerosis (ALS). However, to maintain high performance over time, iBCIs typically need frequent recalibration to combat changes in the neural recordings that accrue over days. This requires iBCI users to stop using the iBCI and engag… ▽ More Intracortical brain-computer interfaces (iBCIs) have shown promise for restoring rapid communication to people with neurological disorders such as amyotrophic lateral sclerosis (ALS). However, to maintain high performance over time, iBCIs typically need frequent recalibration to combat changes in the neural recordings that accrue over days. This requires iBCI users to stop using the iBCI and engage in supervised data collection, making the iBCI system hard to use. In this paper, we propose a method that enables self-recalibration of communication iBCIs without interrupting the user. Our method leverages large language models (LMs) to automatically correct errors in iBCI outputs. The self-recalibration process uses these corrected outputs ("pseudo-labels") to continually update the iBCI decoder online. Over a period of more than one year (403 days), we evaluated our Continual Online Recalibration with Pseudo-labels (CORP) framework with one clinical trial participant. CORP achieved a stable decoding accuracy of 93.84% in an online handwriting iBCI task, significantly outperforming other baseline methods. Notably, this is the longest-running iBCI stability demonstration involving a human participant. Our results provide the first evidence for long-term stabilization of a plug-and-play, high-performance communication iBCI, addressing a major barrier for the clinical translation of iBCIs. △ Less

Submitted 6 November, 2023; originally announced November 2023.

Addressing Quantum's "Fine Print": State Preparation and Information Extraction for Quantum Algorithms and Geologic Fracture Networks

Authors: Jessie M. Henderson, John Kath, John K. Golden, Allon G. Percus, Daniel O'Malley

Abstract: Quantum algorithms provide an exponential speedup for solving certain classes of linear systems, including those that model geologic fracture flow. However, this revolutionary gain in efficiency does not come without difficulty. Quantum algorithms require that problems satisfy not only algorithm-specific constraints, but also application-specific ones. Otherwise, the quantum advantage carefully at… ▽ More Quantum algorithms provide an exponential speedup for solving certain classes of linear systems, including those that model geologic fracture flow. However, this revolutionary gain in efficiency does not come without difficulty. Quantum algorithms require that problems satisfy not only algorithm-specific constraints, but also application-specific ones. Otherwise, the quantum advantage carefully attained through algorithmic ingenuity can be entirely negated. Previous work addressing quantum algorithms for geologic fracture flow has illustrated core algorithmic approaches while incrementally removing assumptions. This work addresses two further requirements for solving geologic fracture flow systems with quantum algorithms: efficient system state preparation and efficient information extraction. Our approach to addressing each is consistent with an overall exponential speed-up. △ Less

Submitted 3 October, 2023; originally announced October 2023.

Comments: 13 pages, 12 figures, LA-UR-23-31328

Demonstration of a Hardware-Independent Toolkit for Automated Quantum Subcircuit Synthesis

Authors: Elena R. Henderson, Jessie M. Henderson, Aviraj Sinha, Eric C. Larson, Mitchell A. Thornton

Abstract: The quantum computer has become contemporary reality, with the first two-qubit machine of mere decades ago transforming into cloud-accessible devices with tens, hundreds, or -- in a few cases -- even thousands of qubits. While such hardware is noisy and still relatively small, the increasing number of operable qubits raises another challenge: how to develop the now-sizeable quantum circuits execut… ▽ More The quantum computer has become contemporary reality, with the first two-qubit machine of mere decades ago transforming into cloud-accessible devices with tens, hundreds, or -- in a few cases -- even thousands of qubits. While such hardware is noisy and still relatively small, the increasing number of operable qubits raises another challenge: how to develop the now-sizeable quantum circuits executable on these machines. Preparing circuits manually for specifications of any meaningful size is at best tedious and at worst impossible, creating a need for automation. This article describes an automated quantum-software toolkit for synthesis, compilation, and optimization, which transforms classically-specified, irreversible functions into both technology-independent and technology-dependent quantum circuits. We also describe and analyze the toolkit's application to three situations -- quantum read-only memories, quantum random number generators, and quantum oracles -- and illustrate the toolkit's start-to-finish features, from the input of classical functions to the output of technology-dependent quantum circuits. Furthermore, we illustrate how the toolkit enables research beyond circuit synthesis, including comparison of synthesis and optimization methods and deeper understanding of even well-studied quantum algorithms. As quantum hardware continues to develop, such quantum circuit toolkits will play a critical role in realizing its potential. △ Less

Submitted 8 February, 2024; v1 submitted 2 September, 2023; originally announced September 2023.

Comments: 48 pages, 23 figures, 20 tables

A Programmable True Random Number Generator Using Commercial Quantum Computers

Authors: Aviraj Sinha, Elena R. Henderson, Jessie M. Henderson, Eric C. Larson, Mitchell A. Thornton

Abstract: Random number generators (RNG) are essential elements in many cryptographic systems. True random number generators (TRNG) rely upon sources of randomness from natural processes such as those arising from quantum mechanics phenomena. We demonstrate that a quantum computer can serve as a high-quality, weakly random source for a generalized user-defined probability mass function (PMF). Specifically,… ▽ More Random number generators (RNG) are essential elements in many cryptographic systems. True random number generators (TRNG) rely upon sources of randomness from natural processes such as those arising from quantum mechanics phenomena. We demonstrate that a quantum computer can serve as a high-quality, weakly random source for a generalized user-defined probability mass function (PMF). Specifically, QC measurement implements the process of variate sampling according to a user-specified PMF resulting in a word comprised of electronic bits that can then be processed by an extractor function to address inaccuracies due to non-ideal quantum gate operations and other system biases. We introduce an automated and flexible method for implementing a TRNG as a programmed quantum circuit that executes on commercially-available, gate-model quantum computers. The user specifies the desired word size as the number of qubits and a definition of the desired PMF. Based upon the user specification of the PMF, our compilation tool automatically synthesizes the desired TRNG as a structural OpenQASM file containing native gate operations that are optimized to reduce the circuit's quantum depth. The resulting TRNG provides multiple bits of randomness for each execution/measurement cycle; thus, the number of random bits produced in each execution is limited only by the size of the QC. We provide experimental results to illustrate the viability of this approach. △ Less

Submitted 7 April, 2023; originally announced April 2023.

Comments: 15 pages, 7 figures, SPIE Defense + Commercial Sensing: Quantum Information Science, Sensing, and Computation XV

Automated Quantum Oracle Synthesis with a Minimal Number of Qubits

Authors: Jessie M. Henderson, Elena R. Henderson, Aviraj Sinha, Mitchell A. Thornton, D. Michael Miller

Abstract: Several prominent quantum computing algorithms--including Grover's search algorithm and Shor's algorithm for finding the prime factorization of an integer--employ subcircuits termed 'oracles' that embed a specific instance of a mathematical function into a corresponding bijective function that is then realized as a quantum circuit representation. Designing oracles, and particularly, designing them… ▽ More Several prominent quantum computing algorithms--including Grover's search algorithm and Shor's algorithm for finding the prime factorization of an integer--employ subcircuits termed 'oracles' that embed a specific instance of a mathematical function into a corresponding bijective function that is then realized as a quantum circuit representation. Designing oracles, and particularly, designing them to be optimized for a particular use case, can be a non-trivial task. For example, the challenge of implementing quantum circuits in the current era of NISQ-based quantum computers generally dictates that they should be designed with a minimal number of qubits, as larger qubit counts increase the likelihood that computations will fail due to one or more of the qubits decohering. However, some quantum circuits require that function domain values be preserved, which can preclude using the minimal number of qubits in the oracle circuit. Thus, quantum oracles must be designed with a particular application in mind. In this work, we present two methods for automatic quantum oracle synthesis. One of these methods uses a minimal number of qubits, while the other preserves the function domain values while also minimizing the overall required number of qubits. For each method, we describe known quantum circuit use cases, and illustrate implementation using an automated quantum compilation and optimization tool to synthesize oracles for a set of benchmark functions; we can then compare the methods with metrics including required qubit count and quantum circuit complexity. △ Less

Submitted 7 April, 2023; originally announced April 2023.

Comments: 18 pages, 10 figures, SPIE Defense + Commercial Sensing: Quantum Information Science, Sensing, and Computation XV

Automated Quantum Memory Compilation with Improved Dynamic Range

Authors: Aviraj Sinha, Elena R. Henderson, Jessie M. Henderson, Mitchell A. Thornton

Abstract: Emerging quantum algorithms that process data require that classical input data be represented as a quantum state. These data-processing algorithms often follow the gate model of quantum computing--which requires qubits to be initialized to a basis state, typically $\lvert 0 \rangle$--and thus often employ state generation circuits to transform the initialized basis state to a data-representation… ▽ More Emerging quantum algorithms that process data require that classical input data be represented as a quantum state. These data-processing algorithms often follow the gate model of quantum computing--which requires qubits to be initialized to a basis state, typically $\lvert 0 \rangle$--and thus often employ state generation circuits to transform the initialized basis state to a data-representation state. There are many ways to encode classical data in a qubit, and the oft-applied approach of basis encoding does not allow optimization to the extent that other variants do. In this work, we thus consider automatic synthesis of addressable, quantum read-only memory (QROM) circuits, which act as data-encoding state-generation circuits. We investigate three data encoding approaches, one of which we introduce to provide improved dynamic range and precision. We present experimental results that compare these encoding methods for QROM synthesis to better understand the implications of and applications for each. △ Less

Submitted 17 November, 2022; originally announced November 2022.

Comments: 14 pages, 9 figures, and 13 tables

Quantum Algorithms for Geologic Fracture Networks

Authors: Jessie M. Henderson, Marianna Podzorova, M. Cerezo, John K. Golden, Leonard Gleyzer, Hari S. Viswanathan, Daniel O'Malley

Abstract: Solving large systems of equations is a challenge for modeling natural phenomena, such as simulating subsurface flow. To avoid systems that are intractable on current computers, it is often necessary to neglect information at small scales, an approach known as coarse-graining. For many practical applications, such as flow in porous, homogenous materials, coarse-graining offers a sufficiently-accur… ▽ More Solving large systems of equations is a challenge for modeling natural phenomena, such as simulating subsurface flow. To avoid systems that are intractable on current computers, it is often necessary to neglect information at small scales, an approach known as coarse-graining. For many practical applications, such as flow in porous, homogenous materials, coarse-graining offers a sufficiently-accurate approximation of the solution. Unfortunately, fractured systems cannot be accurately coarse-grained, as critical network topology exists at the smallest scales, including topology that can push the network across a percolation threshold. Therefore, new techniques are necessary to accurately model important fracture systems. Quantum algorithms for solving linear systems offer a theoretically-exponential improvement over their classical counterparts, and in this work we introduce two quantum algorithms for fractured flow. The first algorithm, designed for future quantum computers which operate without error, has enormous potential, but we demonstrate that current hardware is too noisy for adequate performance. The second algorithm, designed to be noise resilient, already performs well for problems of small to medium size (order 10 to 1000 nodes), which we demonstrate experimentally and explain theoretically. We expect further improvements by leveraging quantum error mitigation and preconditioning. △ Less

Submitted 20 October, 2022; originally announced October 2022.

Comments: 20 pages, 12 figures

Report number: LA-UR-22-29135

Journal ref: Sci Rep 13, 2906 (2023)

A near-term quantum algorithm for solving linear systems of equations based on the Woodbury identity

Authors: Daniel O'Malley, Jessie M. Henderson, Elijah Pelofske, Sarah Greer, Yigit Subasi, John K. Golden, Robert Lowrie, Stephan Eidenbenz

Abstract: Quantum algorithms for solving linear systems of equations have generated excitement because of the potential speed-ups involved and the importance of solving linear equations in many applications. However, applying these algorithms can be challenging. The Harrow-Hassidim-Lloyd algorithm and improvements thereof require complex subroutines suitable for fault-tolerant hardware such as Hamiltonian s… ▽ More Quantum algorithms for solving linear systems of equations have generated excitement because of the potential speed-ups involved and the importance of solving linear equations in many applications. However, applying these algorithms can be challenging. The Harrow-Hassidim-Lloyd algorithm and improvements thereof require complex subroutines suitable for fault-tolerant hardware such as Hamiltonian simulation, making it ill-suited to current hardware. Variational algorithms, on the other hand, involve expensive optimization loops, which can be prone to barren plateaus and local optima. We describe a quantum algorithm for solving linear systems of equations that avoids these problems. Our algorithm is based on the Woodbury identity, which analytically describes the inverse of a matrix that is a low-rank modification of another (easily-invertible) matrix. This approach only utilizes basic quantum subroutines like the Hadamard test or the swap test, so it is well-suited to current hardware. There is no optimization loop, so barren plateaus and local optima do not present a problem. The low-rank aspect of the identity enables us to efficiently transfer information to and from the quantum computer. This approach can produce accurate results on current hardware. As evidence of this, we estimate an inner product involving the solution of a system of more than 16 million equations with 2% error using IBM's Auckland quantum computer. To our knowledge, no system of equations this large has previously been solved to this level of accuracy on a quantum computer. △ Less

Submitted 25 June, 2024; v1 submitted 2 May, 2022; originally announced May 2022.

Liquid Surface X-ray Studies of Gold Nanoparticle-Phospholipid Films at the Air/Water Interface

Authors: Siheng Sean You, Charles T. R. Heffern, Yeling Dai, Mati Meron, J. Michael Henderson, Wei Bu, Wenyi Xie, Ka Yee C. Lee, Binhua Lin

Abstract: Amphiphilic phospholipids and nanoparticles functionalized with hydrophobic cap** ligands have previously been extensively investigated for their capacity to self-assemble into Langmuir monolayers at the air/water interface. However, understanding of composite films consisting of both nanoparticles and phospholipids, and by extension, the complex interactions arising between nanomaterials and bi… ▽ More Amphiphilic phospholipids and nanoparticles functionalized with hydrophobic cap** ligands have previously been extensively investigated for their capacity to self-assemble into Langmuir monolayers at the air/water interface. However, understanding of composite films consisting of both nanoparticles and phospholipids, and by extension, the complex interactions arising between nanomaterials and biological membranes, remains limited. In this work, dodecanethiol-capped gold nanoparticles (Au-NPs) with an average core diameter of 6 nm were incorporated into 1,2-dipalmitoyl-sn-glycero-3-phosphocholine (DPPC) monolayers in area ratios ranging from 0.1 to 20% area coverage at a surface pressure of 30 mN/m. High resolution liquid surface X-ray scattering studies revealed a phase separation of the DPPC and Au-NP components of the composite film, as confirmed with atomic force microscopy after the film was transferred to a substrate. At low Au-NP content, the structural organization of the phase-separated film is best described as a DPPC film containing isolated islands of Au-NPs. However, increasing the Au-NP content beyond 5% area coverage transforms the structural organization of the composite film to a long-range interconnected network of Au-NP strands surrounding small seas of DPPC, where the density of the Au-NP network increases with increasing Au-NP content. The observed phase separation and structural organization of the phospholipid and nanoparticle components in these Langmuir monolayers are useful for understanding interactions of nanoparticles with biological membranes. △ Less

Submitted 29 March, 2016; originally announced March 2016.

Potential of 4d-VAR for exigent forecasting of severe weather

Authors: Ross N. Hoffman, John M. Henderson, Thomas Nehrkorn

Abstract: Severe storms, tropical cyclones, and associated tornadoes, floods, lightning, and microbursts threaten life and property. Reliable, precise, and accurate alerts of these phenomena can trigger defensive actions and preparations. However, these crucial weather phenomena are difficult to forecast. The objective of this paper is to demonstrate the potential of 4d-VAR (four dimensional variational dat… ▽ More Severe storms, tropical cyclones, and associated tornadoes, floods, lightning, and microbursts threaten life and property. Reliable, precise, and accurate alerts of these phenomena can trigger defensive actions and preparations. However, these crucial weather phenomena are difficult to forecast. The objective of this paper is to demonstrate the potential of 4d-VAR (four dimensional variational data assimilation) for exigent forecasting (XF) of severe storm precursors and to thereby characterize the probability of a worst-case scenario. 4d-VAR is designed to adjust the initial conditions (IC) of a numerical weather prediction model consistent with the uncertainty of the prior estimate of the IC while at the same time minimizing the misfit to available observations. For XF the same approach is taken but instead of fitting observations, a measure of damage or loss or an equivalent proxy is maximized or minimized. To accomplish this will require development of a specialized cost function for 4d-VAR. When 4d-VAR solves the XF problem a by-product will be the value of the background cost function that provides a measure of the likelihood of occurrence of the forecast exigent conditions. 4d-VAR has been previously applied to a special case of XF in hurricane modification research. A summary of a case study of Hurricane Andrew (1992) is presented as a prototype of XF. The study of XF is expected to advance forecasting high impact weather events, refine methodologies for communicating warning and potential impacts of exigent weather events to a threatened population, be extensible to commercially viable products, such as forecasting freezes for the citrus industry, and be a useful pedagogical tool. △ Less

Submitted 14 February, 2011; originally announced February 2011.

Comments: Some of this material was presented during the 4th General Assembly of EGU 2008 at the session NH1.02 titled "Extreme Events Induced by Weather and Climate Change: Evaluation, Forecasting and Proactive Planning."