Search NASA⌕ Search

Engineering topics

Koenig, Robert

Publications and source records attributed to Koenig, Robert.

Hybrid quantum-classical algorithms for approximate graph coloring

We show how to apply the recursive quantum approximate optimization algorithm (RQAOA) to MAX- k -CUT, the problem of finding an approximate k -vertex coloring of a graph. We compare this proposal to the best known classical and hybrid classical-quantum algorithms. First, we show that the standard (non-recursive) QAOA fails to solve this optimization problem for most regular bipartite graphs at any constant level p : the approximation ratio achieved by QAOA is hardly better than assigning colors to vertices at random. Second, we construct an efficient classical simulation algorithm which simulates level- 1 QAOA and level- 1 RQAOA for arbitrary graphs. In particular, these hybrid algorithms give rise to efficient classical algorithms, and no benefit arising from the use of quantum mechanics is to be expected. Nevertheless, they provide a suitable testbed for assessing the potential benefit of hybrid algorithm: We use the simulation algorithm to perform large-scale simulation of level- 1 QAOA and RQAOA with up to 300 qutrits applied to ensembles of randomly generated 3 -colorable constant-degree graphs. We find that level- 1 RQAOA is surprisingly competitive: for the ensembles considered, its approximation ratios are often higher than those achieved by the best known generic classical algorithm based on rounding an SDP relaxation. This suggests the intriguing possibility that higher-level RQAOA may be a potentially useful algorithm for NISQ devices.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Optimization of Fused Bicyclic Allosteric SHP2 Inhibitors

SHP2 is a nonreceptor protein tyrosine phosphatase within the mitogen-activated protein kinase (MAPK) pathway controlling cell growth, differentiation, and oncogenic transformation. SHP2 also participates in the programed cell death pathway (PD-1/PD-L1) governing immune surveillance. Small-molecule inhibition of SHP2 has been widely investigated, including in our previous reports describing SHP099 (2), which binds to a tunnel-like allosteric binding site. To broaden our approach to allosteric inhibition of SHP2, we conducted additional hit finding, evaluation, and structure-based scaffold morphing. These studies, reported here in the first of two papers, led to the identification of multiple 5,6-fused bicyclic scaffolds that bind to the same allosteric tunnel as 2. We demonstrate the structural diversity permitted by the tunnel pharmacophore and culminated in the identification of pyrazolopyrimidinones (e.g., SHP389, 1) that modulate MAPK signaling in vivo. These studies also served as the basis for further scaffold morphing and optimization, detailed in the following manuscript.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

6-Amino-3-methylpyrimidinones as Potent, Selective, and Orally Efficacious SHP2 Inhibitors

Protein tyrosine phosphatase SHP2 is an oncoprotein associated with cancer as well as a potential immune modulator because of its role in the programmed cell death PD-L1/PD-1 pathway. In the preceding manuscript, we described the optimization of a fused, bicyclic screening hit for potency, selectivity, and physicochemical properties in order to further expand the chemical diversity of allosteric SHP2 inhibitors. In this manuscript, we describe the further expansion of our approach, morphing the fused, bicyclic system into a novel monocyclic pyrimidinone scaffold through our understanding of SAR and use of structure-based design. These studies led to the identification of SHP394 (1), an orally efficacious inhibitor of SHP2, with high lipophilic efficiency, improved potency, and enhanced pharmacokinetic properties. We also report other pyrimidinone analogues with favorable pharmacokinetic and potency profiles. Overall, this work improves upon our previously described allosteric inhibitors and exemplifies and extends the range of permissible chemical templates that inhibit SHP2 via the allosteric mechanism.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Dual Allosteric Inhibition of SHP2 Phosphatase

SHP2 is a cytoplasmic protein tyrosine phosphatase encoded by the PTPN11 gene and is involved in cell proliferation, differentiation, and survival. Recently, we reported an allosteric mechanism of inhibition that stabilizes the auto-inhibited conformation of SHP2. SHP099 (1) was identified and characterized as a moderately potent, orally bioavailable, allosteric small molecule inhibitor, which binds to a tunnel-like pocket formed by the confluence of three domains of SHP2. In this report, we describe further screening strategies that enabled the identification of a second, distinct small molecule allosteric site. SHP244 (2) was identified as a weak inhibitor of SHP2 with modest thermal stabilization of the enzyme. X-ray crystallography revealed that 2 binds and stabilizes the inactive, closed conformation of SHP2, at a distinct, previously unexplored binding site—a cleft formed at the interface of the N-terminal SH2 and PTP domains. Derivatization of 2 using structure-based design resulted in an increase in SHP2 thermal stabilization, biochemical inhibition, and subsequent MAPK pathway modulation. Downregulation of DUSP6 mRNA, a downstream MAPK pathway marker, was observed in KYSE-520 cancer cells. Remarkably, simultaneous occupation of both allosteric sites by 1 and 2 was possible, as characterized by cooperative biochemical inhibition experiments and X-ray crystallography. Combining an allosteric site 1 inhibitor with an allosteric site 2 inhibitor led to enhanced pharmacological pathway inhibition in cells. This work illustrates a rare example of dual allosteric targeted protein inhibition, demonstrates screening methodology and tactics to identify allosteric inhibitors, and enables further interrogation of SHP2 in cancer and related pathologies.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Protected gates for topological quantum field theories

We study restrictions on locality-preserving unitary logical gates for topological quantum codes in two spatial dimensions. A locality-preserving operation is one which maps local operators to local operators — for example, a constant-depth quantum circuit of geometrically local gates, or evolution for a constant time governed by a geometrically local bounded-strength Hamiltonian. Locality-preserving logical gates of topological codes are intrinsically fault tolerant because spatially localized errors remain localized, and hence sufficiently dilute errors remain correctable. By invoking general properties of two-dimensional topological field theories, we find that the locality-preserving logical gates are severely limited for codes which admit non-abelian anyons, in particular, there are no locality-preserving logical gates on the torus or the sphere with M punctures if the braiding of anyons is computationally universal. Furthermore, for Ising anyons on the M-punctured sphere, locality-preserving gates must be elements of the logical Pauli group. We derive these results by relating logical gates of a topological code to automorphisms of the Verlinde algebra of the corresponding anyon model, and by requiring the logical gates to be compatible with basis changes in the logical Hilbert space arising from local F-moves and the mapping class group.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

The conditional entropy power inequality for Gaussian quantum states

We propose a generalization of the quantum entropy power inequality involving conditional entropies. For the special case of Gaussian states, we give a proof based on perturbation theory for symplectic spectra. We discuss some implications for entanglement-assisted classical communication over additive bosonic noise channels.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

How to efficiently select an arbitrary Clifford group element

We give an algorithm which produces a unique element of the Clifford group on n qubits (C{sub n}) from an integer 0≤i<|C{sub n}| (the number of elements in the group). The algorithm involves O(n{sup 3}) operations and provides, in addition to a canonical mapping from the integers to group elements g, a factorization of g into a sequence of at most 4n symplectic transvections. The algorithm can be used to efficiently select random elements of C{sub n} which are often useful in quantum information theory and quantum computation. We also give an algorithm for the inverse map, indexing a group element in time O(n{sup 3})

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Quantum computation with Turaev-Viro codes

For a 3-manifold with triangulated boundary, the Turaev-Viro topological invariant can be interpreted as a quantum error-correcting code. The code has local stabilizers, identified by Levin and Wen, on a qudit lattice. Kitaev's toric code arises as a special case. The toric code corresponds to an abelian anyon model, and therefore requires out-of-code operations to obtain universal quantum computation. In contrast, for many categories, such as the Fibonacci category, the Turaev-Viro code realizes a non-abelian anyon model. A universal set of fault-tolerant operations can be implemented by deforming the code with local gates, in order to implement anyon braiding. We identify the anyons in the code space, and present schemes for initialization, computation and measurement. This provides a family of constructions for fault-tolerant quantum computation that are closely related to topological quantum computation, but for which the fault tolerance is implemented in software rather than coming from a physical medium.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Space transportation and payload integration

The NASP program will lead to future vehicles that carry crew and cargo to and from orbit. These systems must not only work synergistically with the fleet of launch vehicles in operation at the time of their introduction, but also provide efficient integration services for every payload they carry. Applications studies of NASP-Derived Vehicles (NDV) performed by Rockwell International have addressed both of these concerns.

Koenig, Robert↗