Showing 1–50 of 196 results for author: Hastings, B

A QCA for every SPT

Authors: Lukasz Fidkowski, Jeongwan Haah, Matthew B. Hastings

Abstract: In three dimensions, there is a nontrivial quantum cellular automaton (QCA) which disentangles the three-fermion Walker--Wang model, a model whose action depends on Stiefel--Whitney classes of the spacetime manifold. Here we present a conjectured generalization to higher dimensions. For an arbitrary symmetry protected topological phase of time reversal whose action depends on Stiefel--Whitney clas… ▽ More In three dimensions, there is a nontrivial quantum cellular automaton (QCA) which disentangles the three-fermion Walker--Wang model, a model whose action depends on Stiefel--Whitney classes of the spacetime manifold. Here we present a conjectured generalization to higher dimensions. For an arbitrary symmetry protected topological phase of time reversal whose action depends on Stiefel--Whitney classes, we construct a corresponding QCA that we conjecture disentangles that phase. Some of our QCA are Clifford, and we relate these to a classification theorem of Clifford QCA. We identify Clifford QCA in $4m+1$ dimensions, for which we find a low-depth circuit description using non-Clifford gates but not with Clifford gates. △ Less

Submitted 10 July, 2024; originally announced July 2024.

Limitations and Separations in the Quantum Sum-of-squares, and the Quantum Knapsack Problem

Authors: M. B. Hastings

Abstract: We answer two questions regarding the sum-of-squares for the SYK model left open in Ref. 1, both of which are related to graphs. First (a "limitation"), we show that a fragment of the sum-of-squares, in which one considers commutation relations of degree-$4$ Majorana operators but does not impose any other relations on them, does not give the correct order of magnitude bound on the ground state en… ▽ More We answer two questions regarding the sum-of-squares for the SYK model left open in Ref. 1, both of which are related to graphs. First (a "limitation"), we show that a fragment of the sum-of-squares, in which one considers commutation relations of degree-$4$ Majorana operators but does not impose any other relations on them, does not give the correct order of magnitude bound on the ground state energy. Second (a "separation"), we show that the graph invariant $Ψ(G)$ defined in Ref. 1 may be strictly larger than the independence number $α(G)$. The invariant $Ψ(G)$ is a bound on the norm of a Hamiltonian whose terms obey commutation relations determined by the graph $G$, and it was shown that $α(G)\leq Ψ(G) \leq \vartheta(G)$, where $\vartheta(\cdot)$ is the Lovasz theta function. We briefly discuss the case of $q\neq 4$ in the SYK model. Separately, we define a problem that we call the quantum knapsack problem. △ Less

Submitted 4 March, 2024; v1 submitted 22 February, 2024; originally announced February 2024.

Comments: 12 pages, no figures; v2, added reference to previous work showing separation

Speed of sound in methane under conditions of planetary interiors

Authors: Thomas G. White, Hannah Poole, Emma E. McBride, Matthew Oliver, Adrien Descamps, Luke B. Fletcher, W. Alex Angermeier, Cameron H. Allen, Karen Appel, Florian P. Condamine, Chandra B. Curry, Francesco Dallari, Stefan Funk, Eric Galtier, Eliseo J. Gamboa, Maxence Gauthier, Peter Graham, Sebastian Goede, Daniel Haden, Jong** B. Kim, Hae Ja Lee, Benjamin K. Ofori-Okai, Scott Richardson, Alex Rigby, Christopher Schoenwaelder , et al. (10 additional authors not shown)

Abstract: We present direct observations of acoustic waves in warm dense matter. We analyze wave-number- and energy-resolved x-ray spectra taken from warm dense methane created by laser heating a cryogenic liquid jet. X-ray diffraction and inelastic free-electron scattering yield sample conditions of 0.3$\pm$0.1 eV and 0.8$\pm$0.1 g/cm$^3$, corresponding to a pressure of $\sim$13 GPa. Inelastic x-ray scatte… ▽ More We present direct observations of acoustic waves in warm dense matter. We analyze wave-number- and energy-resolved x-ray spectra taken from warm dense methane created by laser heating a cryogenic liquid jet. X-ray diffraction and inelastic free-electron scattering yield sample conditions of 0.3$\pm$0.1 eV and 0.8$\pm$0.1 g/cm$^3$, corresponding to a pressure of $\sim$13 GPa. Inelastic x-ray scattering was used to observe the collective oscillations of the ions. With a highly improved energy resolution of $\sim$50 meV, we could clearly distinguish the Brillouin peaks from the quasielastic Rayleigh feature. Data at different wave numbers were utilized to derive a sound speed of 5.9$\pm$0.5 km/s, marking a high-temperature data point for methane and demonstrating consistency with Birch's law in this parameter regime. △ Less

Submitted 3 May, 2024; v1 submitted 13 November, 2023; originally announced November 2023.

Comments: 7 pages, 4 figures

Journal ref: Physical Review Research 6 (2024) L022029

Pum** Chirality in Three Dimensions

Authors: Lukasz Fidkowski, Matthew B. Hastings

Abstract: Using bosonization, which maps fermions coupled to a ${\mathbb{Z}}_2$ gauge field to a qubit system, we give a simple form for the non-trivial 3-fermion quantum cellular automaton (QCA) as a unitary operator realizing a phase depending on the framing of flux loops, building off work by Shirley et al. We relate this framing dependent phase to a pump of $8$ copies of a $p+ip$ state through the syste… ▽ More Using bosonization, which maps fermions coupled to a ${\mathbb{Z}}_2$ gauge field to a qubit system, we give a simple form for the non-trivial 3-fermion quantum cellular automaton (QCA) as a unitary operator realizing a phase depending on the framing of flux loops, building off work by Shirley et al. We relate this framing dependent phase to a pump of $8$ copies of a $p+ip$ state through the system. We give a resolution of an apparent paradox, namely that the pump is a shallow depth circuit (albeit with tails), while the QCA is nontrivial. We discuss also the pump of fewer copies of a $p+ip$ state, and describe its action on topologically degenerate ground states. One consequence of our results is that a pump of $n$ $p+ip$ states generated by a free Fermi evolution is a free fermion unitary characterized by a non-trivial winding number $n$ as a map from the third homotopy group of the Brilliouin Zone $3$-torus to that of $SU(N_ b)$, where $N_b$ is the number of bands. Using our simplified form of the QCA, we give higher dimensional generalizations that we conjecture are also nontrivial QCAs, and we discuss the relation to Chern-Simons theory. △ Less

Submitted 27 September, 2023; originally announced September 2023.

Comments: 21 pages, 1 figure

Splitting decoders for correcting hypergraph faults

Authors: Nicolas Delfosse, Adam Paetznick, Jeongwan Haah, Matthew B. Hastings

Abstract: The surface code is one of the most popular quantum error correction codes. It comes with efficient decoders, such as the Minimum Weight Perfect Matching (MWPM) decoder and the Union-Find (UF) decoder, allowing for fast quantum error correction. For a general linear code or stabilizer code, the decoding problem is NP-hard. What makes it tractable for the surface code is the special structure of fa… ▽ More The surface code is one of the most popular quantum error correction codes. It comes with efficient decoders, such as the Minimum Weight Perfect Matching (MWPM) decoder and the Union-Find (UF) decoder, allowing for fast quantum error correction. For a general linear code or stabilizer code, the decoding problem is NP-hard. What makes it tractable for the surface code is the special structure of faults and checks: Each X and Z fault triggers at most two checks. As a result, faults can be interpreted as edges in a graph whose vertices are the checks, and the decoding problem can be solved using standard graph algorithms such as Edmonds' minimum-weight perfect matching algorithm. For general codes, this decoding graph is replaced by a hypergraph making the decoding problem more challenging. In this work, we propose two heuristic algorithms for splitting the hyperedges of a decoding hypergraph into edges. After splitting, hypergraph faults can be decoded using any surface code decoder. Due to the complexity of the decoding problem, we do not expect this strategy to achieve a good error correction performance for a general code. However, we empirically show that this strategy leads to a good performance for some classes of LDPC codes because they are defined by low weight checks. We apply this splitting decoder to Floquet codes for which some faults trigger up to four checks and verify numerically that this decoder achieves the maximum code distance for two instances of Floquet codes. △ Less

Submitted 26 September, 2023; originally announced September 2023.

Comments: 12 pages, 1 figure

Quantum Codes on Graphs

Authors: M. B. Hastings

Abstract: We consider some questions related to codes constructed using various graphs, in particular focusing on graphs which are not lattices in two or three dimensions. We begin by considering Floquet codes which can be constructed using ``emergent fermions". Here, we are considering codes that in some sense generalize the honeycomb code[1] to more general, non-planar graphs. We then consider a class of… ▽ More We consider some questions related to codes constructed using various graphs, in particular focusing on graphs which are not lattices in two or three dimensions. We begin by considering Floquet codes which can be constructed using ``emergent fermions". Here, we are considering codes that in some sense generalize the honeycomb code[1] to more general, non-planar graphs. We then consider a class of these codes that is related to (generalized) toric codes on $2$-complexes. For (generalized) toric codes on $2$-complexes, the following question arises: can the distance of these codes grow faster than square-root? We answer the question negatively, and remark on recent systolic inequalities[2]. We then turn to the case that of planar codes with vacancies, or ``dead qubits", and consider the statistical mechanics of decoding in this setting. Although we do not prove a threshold, our results should be asymptotically correct for low error probability and high degree decoding graphs (high degree taken before low error probability). In an appendix, we discuss a toy model of vacancies in planar quantum codes, giving a phenomenological discussion of how errors occur when ``super-stabilizers" are not measured, and in a separate appendix we discuss a relation between Floquet codes and chain maps. △ Less

Submitted 20 August, 2023; originally announced August 2023.

Comments: 25 pages, 1 figure

Entanglement of Sections, Examples Looking for a Theory

Authors: M. H. Freedman, M. B. Hastings

Abstract: Quantum information is about the entanglement of states. To this starting point we add parameters whereby a single state becomes a non-vanishing section of a bundle. We consider through examples the possible entanglement patterns of sections. Quantum information is about the entanglement of states. To this starting point we add parameters whereby a single state becomes a non-vanishing section of a bundle. We consider through examples the possible entanglement patterns of sections. △ Less

Submitted 21 November, 2023; v1 submitted 3 April, 2023; originally announced April 2023.

Comments: 15 pages, 0 figures; v2, typo corrections

Field Theory and The Sum-of-Squares for Quantum Systems

Authors: M. B. Hastings

Abstract: This is a collection of various result and notes, addressing the sum-of-squares hierarchy for spin and fermion systems using some ideas from quantum field theory, including higher order perturbation theory, critical phenomena, nonlocal coupling in time, and auxiliary field Monte Carlo. This paper should be seen as a sequel to Refs. 1,2. Additionally in this paper, we consider the difficulty of app… ▽ More This is a collection of various result and notes, addressing the sum-of-squares hierarchy for spin and fermion systems using some ideas from quantum field theory, including higher order perturbation theory, critical phenomena, nonlocal coupling in time, and auxiliary field Monte Carlo. This paper should be seen as a sequel to Refs. 1,2. Additionally in this paper, we consider the difficulty of approximating the ground state energy of the Sachdev-Ye-Kitaev (SYK) model using other methods. We provide limitations on the power of the Lanczos method, starting with a Gausian wavefunction, and on the power of a sum of Gaussian wavefunctions (in this case under an assumption). △ Less

Submitted 27 February, 2023; originally announced February 2023.

Comments: 20 pages, no figures

A model of anisotropic winds from rotating stars for evolutionary calculations

Authors: Ben Hastings, Norbert Langer, Joachim Puls

Abstract: Context: The surface properties of rotating stars can vary from pole to equator, resulting in anisotropic stellar winds which are not included in the currently available evolutionary models. Aims: We develop a formalism to describe the mass and angular momentum loss of rotating stars which takes into account both the varying surface properties and distortion due to rotation. Methods: Adopting… ▽ More Context: The surface properties of rotating stars can vary from pole to equator, resulting in anisotropic stellar winds which are not included in the currently available evolutionary models. Aims: We develop a formalism to describe the mass and angular momentum loss of rotating stars which takes into account both the varying surface properties and distortion due to rotation. Methods: Adopting the mass-loss recipe for non-rotating stars, we assigned to each point on the surface of a rotating star an equivalent non-rotating star, for which the surface mass flux is given by the recipe. The global mass-loss and angular momentum loss rates are then given by integrating over the deformed stellar surface as appropriate. Evolutionary models were computed and our prescription is compared to the currently used simple mass-loss enhancement recipes for rotating stars. Results: We find that mass-loss rates are largely insensitive to rotation for models not affected by the bi-stability jump. For those affected by the bi-stability jump, the increase in mass-loss rates with respect to time is smoothed. As our prescription considers the variation of physical conditions over the stellar surface, the region affected by the bi-stability jump is able to grow gradually instead of the whole star suddenly being affected. Conclusion: We have provided an easy to implement and flexible, yet physically meaningful prescription for calculating mass and angular momentum loss rates of rotating stars in a one-dimensional stellar evolution code which compares favourably to more physically comprehensive models. The implementation of our scheme in the stellar evolution code MESA is available online: https://zenodo.org/record/7437006 △ Less

Submitted 21 February, 2023; originally announced February 2023.

Comments: Accepted for publication in A&A. 12 pages

Journal ref: A&A 672, A60 (2023)

Hubble Space Telescope survey of Magellanic Cloud star clusters. Photometry and astrometry of 113 clusters and early results

Authors: A. P. Milone, G. Cordoni, A. F. Marino, F. D'Antona, A. Bellini, M. Di Criscienzo, E. Dondoglio, E. P. Lagioia, N. Langer, M. V. Legnardi, M. Libralato, H. Baumgardt, M. Bettinelli, Y. Cavecchi, R. de Grijs, L. Deng, B. Hastings, C. Li, A. Mohandasan, A. Renzini, E. Vesperini, C. Wang, T. Ziliotto, M. Carlos, G. Costa , et al. (7 additional authors not shown)

Abstract: In the past years, we have undertaken an extensive investigation of LMC and SMC star clusters based on HST data. We present photometry and astrometry of stars in 101 fields observed with the WFC/ACS, UVIS/WFC3 and NIR/WFC3 cameras. These fields comprise 113 star clusters. We provide differential-reddening maps and illustrate various scientific outcomes that arise from the early inspection of the p… ▽ More In the past years, we have undertaken an extensive investigation of LMC and SMC star clusters based on HST data. We present photometry and astrometry of stars in 101 fields observed with the WFC/ACS, UVIS/WFC3 and NIR/WFC3 cameras. These fields comprise 113 star clusters. We provide differential-reddening maps and illustrate various scientific outcomes that arise from the early inspection of the photometric catalogs. In particular, we provide new insights on the extended main-sequence turn-off (eMSTO) phenomenon: i) We detected eMSTOs in two clusters, KMHK361 and NGC265, which had no previous evidence of multiple populations. This finding corroborates the conclusion that the eMSTO is a widespread phenomenon among clusters younger than ~2 Gyr. ii) The homogeneous color-magnitude diagrams (CMDs) of 19 LMC clusters reveal that the distribution of stars along the eMSTO depends on cluster age. iii) We discovered a new feature along the eMSTO of NGC1783, which consists of a distinct group of stars going on the red side of the eMSTO in CMDs composed of ultraviolet filters. Furthermore, we derived the proper motions of stars in the fields of view of clusters with multi-epoch images. Proper motions allowed us to separate the bulk of bright field stars from cluster members and investigate the internal kinematics of stellar populations in various LMC and SMC fields. As an example, we analyze the field around NGC346 to disentangle the motions of its stellar populations, including NGC364 and BS90, young and pre-MS stars in the star-forming region associated with NGC346, and young and old field stellar populations of the SMC. Based on these results and the fields around five additional clusters, we find that young SMC stars exhibit elongated proper-motion distributions that point toward the LMC, thus bringing new evidence for a kinematic connection between the LMC and SMC. △ Less

Submitted 15 December, 2022; originally announced December 2022.

Comments: 37 pages, 27 figures, accepted for publication in Astronomy & Astrophysics

Journal ref: A&A 672, A161 (2023)

The initial spin distribution of B-type stars revealed by the split main sequences of young star clusters

Authors: Chen Wang, Ben Hastings, Abel Schootemeijer, Norbert Langer, Selma E. de Mink, Julia Bodensteiner, Antonino Milone, Stephen Justham, Pablo Marchant

Abstract: Spectroscopic observations of stars in young open clusters have revealed evidence for a dichotomous distribution of stellar rotational velocities, with 10-30% of stars rotating slowly and the remaining 70-90% rotating fairly rapidly. At the same time, high-precision multiband photometry of young star clusters shows a split main sequence band, which is again interpreted as due to a spin dichotomy.… ▽ More Spectroscopic observations of stars in young open clusters have revealed evidence for a dichotomous distribution of stellar rotational velocities, with 10-30% of stars rotating slowly and the remaining 70-90% rotating fairly rapidly. At the same time, high-precision multiband photometry of young star clusters shows a split main sequence band, which is again interpreted as due to a spin dichotomy. Recent papers suggest that extreme rotation is required to retrieve the photometric split. Our new grids of MESA models and the prevalent SYCLIST models show, however, that initial slow (0-35% of the linear Keplerian rotation velocities) and intermediate (50-65% of the Keplerian rotation velocities) rotation are adequate to explain the photometric split. These values are consistent with the recent spectroscopic measurements of cluster and field stars, and are likely to reflect the birth spin distributions of upper main-sequence stars. A fraction of the initially faster-rotating stars may be able to reach near-critical rotation at the end of their main-sequence evolution and produce Be stars in the turn-off region of young star clusters. However, we find that the presence of Be stars up to two magnitudes below the cluster turnoff advocates for a crucial role of binary interaction in creating Be stars. We argue that surface chemical composition measurements may help distinguish these two Be star formation channels. While only the most rapidly rotating, and therefore nitrogen-enriched, single stars can evolve into Be stars, slow pre-mass-transfer rotation and inefficient accretion allows for mild or no enrichment even in critically rotating accretion-induced Be stars. Our results shed new light on the origin of the spin distribution of young and evolved B-type main sequence stars. △ Less

Submitted 7 December, 2022; v1 submitted 28 November, 2022; originally announced November 2022.

Comments: 18 pages, 14 figures. Accepted for publication in A&A

Journal ref: A&A 670, A43 (2023)

Massive stars in metal-poor dwarf galaxies are often extreme rotators

Authors: Abel Schootemeijer, Danny J. Lennon, Miriam Garcia, Norbert Langer, Ben Hastings, Christoph Schürmann

Abstract: We probe how common extremely rapid rotation is among massive stars in the early universe by measuring the OBe star fraction in nearby metal-poor dwarf galaxies. We apply a new method that uses broad-band photometry to measure the galaxy-wide OBe star fractions in the Magellanic Clouds and three more distant, more metal-poor dwarf galaxies. We find OBe star fractions of ~20% in the Large Magellani… ▽ More We probe how common extremely rapid rotation is among massive stars in the early universe by measuring the OBe star fraction in nearby metal-poor dwarf galaxies. We apply a new method that uses broad-band photometry to measure the galaxy-wide OBe star fractions in the Magellanic Clouds and three more distant, more metal-poor dwarf galaxies. We find OBe star fractions of ~20% in the Large Magellanic Cloud (0.5 Z_Solar), and ~30% in the Small Magellanic Cloud (0.2 Z_Solar) as well as in the so-far unexplored metallicity range from 0.1 Z_solar to 0.2 Z_solar occupied by the other three dwarf galaxies. Our results imply that extremely rapid rotation is common among massive stars in metal-poor environments such as the early universe. △ Less

Submitted 4 October, 2022; originally announced October 2022.

Comments: Conference proceedings for a talk in IAU Symposium 361: Massive Stars Near and Far, Ballyconnell, Ireland, 9-13 May 2022

A census of OBe stars in nearby metal-poor dwarf galaxies reveals a high fraction of extreme rotators

Authors: A. Schootemeijer, D. J. Lennon, M. Garcia, N. Langer, B. Hastings, C. Schuermann

Abstract: The Early Universe, together with many nearby dwarf galaxies, is deficient in heavy elements. The evolution of massive stars in such environments is thought to be affected by rotation. Extreme rotators amongst them tend to form decretion disks and manifest themselves as OBe stars. We use a combination of U B, GAIA, Spitzer, and Hubble Space Telescope photometry to identify the complete populations… ▽ More The Early Universe, together with many nearby dwarf galaxies, is deficient in heavy elements. The evolution of massive stars in such environments is thought to be affected by rotation. Extreme rotators amongst them tend to form decretion disks and manifest themselves as OBe stars. We use a combination of U B, GAIA, Spitzer, and Hubble Space Telescope photometry to identify the complete populations of massive OBe stars - one hundred to thousands in number - in five nearby dwarf galaxies. This allows us to derive the galaxy-wide fractions of main sequence stars that are OBe stars (f_OBe), and how it depends on absolute magnitude, mass, and metallicity (Z). We find f_OBe = 0.22 in the Large Magellanic Cloud (0.5 Z_Sun), increasing to f_OBe = 0.31 in the Small Magellanic Cloud (0.2 Z_Sun). In the so far unexplored metallicity regime below 0.2 Z_Sun, in Holmberg I, Holmberg II, and Sextans A, we also obtain high OBe star fractions of 0.27, 0.27, and 0.27, respectively. These high OBe star fractions, and the strong contribution in the stellar mass range which dominates the production of supernovae, shed new light on the formation channel of OBe stars, as well as on the preference of long-duration gamma-ray bursts and superluminous supernovae to occur in metal-poor galaxies. △ Less

Submitted 11 September, 2022; originally announced September 2022.

Comments: 19 pages, 23 figures - accepted for publication in Astronomy & Astrophysics

Journal ref: A&A 667, A100 (2022)

Perturbation Theory and the Sum of Squares

Authors: Matthew B. Hastings

Abstract: The sum-of-squares (SoS) hierarchy is a powerful technique based on semi-definite programming that can be used for both classical and quantum optimization problems. This hierarchy goes under several names; in particular, in quantum chemistry it is called the reduced density matrix (RDM) method. We consider the ability of this hierarchy to reproduce weak coupling perturbation theory for three diffe… ▽ More The sum-of-squares (SoS) hierarchy is a powerful technique based on semi-definite programming that can be used for both classical and quantum optimization problems. This hierarchy goes under several names; in particular, in quantum chemistry it is called the reduced density matrix (RDM) method. We consider the ability of this hierarchy to reproduce weak coupling perturbation theory for three different kinds of systems: spin (or qubit) systems, bosonic systems (the anharmonic oscillator), and fermionic systems with quartic interactions. For such fermionic systems, we show that degree-$4$ SoS (called $2$-RDM in quantum chemsitry) does not reproduce second order perturbation theory but degree-$6$ SoS ($3$-RDM) does (and we conjecture that it reproduces third order perturbation theory). Indeed, we identify a fragment of degree-$6$ SoS which can do this, which may be useful for practical quantum chemical calculations as it may be possible to implement this fragment with less cost than the full degree-$6$ SoS. Remarkably, this fragment is very similar to one studied by Hastings and O'Donnell for the Sachdev-Ye-Kitaev (SYK) model. △ Less

Submitted 5 June, 2024; v1 submitted 24 May, 2022; originally announced May 2022.

Comments: 15 pages; v2 minor corrections and clarifications, more consideration of number conservation; v3, typo corrections

Adiabatic paths of Hamiltonians, symmetries of topological order, and automorphism codes

Authors: David Aasen, Zhenghan Wang, Matthew B. Hastings

Abstract: The recent "honeycomb code" is a fault-tolerant quantum memory defined by a sequence of checks which implements a nontrivial automorphism of the toric code. We argue that a general framework to understand this code is to consider continuous adiabatic paths of gapped Hamiltonians and we give a conjectured description of the fundamental group and second and third homotopy groups of this space in two… ▽ More The recent "honeycomb code" is a fault-tolerant quantum memory defined by a sequence of checks which implements a nontrivial automorphism of the toric code. We argue that a general framework to understand this code is to consider continuous adiabatic paths of gapped Hamiltonians and we give a conjectured description of the fundamental group and second and third homotopy groups of this space in two spatial dimensions. A single cycle of such a path can implement some automorphism of the topological order of that Hamiltonian. We construct such paths for arbitrary automorphisms of two-dimensional doubled topological order. Then, realizing this in the case of the toric code, we turn this path back into a sequence of checks, constructing an automorphism code closely related to the honeycomb code. △ Less

Submitted 4 April, 2022; v1 submitted 21 March, 2022; originally announced March 2022.

Comments: 36 pages, 10 figures; v2: additional references and minor revisions

Performance of planar Floquet codes with Majorana-based qubits

Authors: Adam Paetznick, Christina Knapp, Nicolas Delfosse, Bela Bauer, Jeongwan Haah, Matthew B. Hastings, Marcus P. da Silva

Abstract: Quantum error correction is crucial for any quantum computing platform to achieve truly scalable quantum computation. The surface code and its variants have been considered the most promising quantum error correction scheme due to their high threshold, low overhead, and relatively simple structure that can naturally be implemented in many existing qubit architectures, such as superconducting qubit… ▽ More Quantum error correction is crucial for any quantum computing platform to achieve truly scalable quantum computation. The surface code and its variants have been considered the most promising quantum error correction scheme due to their high threshold, low overhead, and relatively simple structure that can naturally be implemented in many existing qubit architectures, such as superconducting qubits. The recent development of Floquet codes offers another promising approach. By going beyond the usual paradigm of stabilizer codes, Floquet codes achieve similar performance while being constructed entirely from two-qubit measurements. This makes them particularly suitable for platforms where two-qubit measurements can be implemented directly, such as measurement-only topological qubits based on Majorana zero modes (MZMs). Here, we explain how two variants of Floquet codes can be implemented on MZM-based architectures without any auxiliary qubits for syndrome measurement and with shallow syndrome extraction sequences. We then numerically demonstrate their favorable performance. In particular, we show that they improve the threshold for scalable quantum computation in MZM-based systems by an order of magnitude, and significantly reduce space and time overheads below threshold. △ Less

Submitted 10 October, 2022; v1 submitted 23 February, 2022; originally announced February 2022.

Comments: 16 pages, 10 figures. (v2): Corrected some inconsistencies, and a fixed bug affecting 4.8.8 simulations. Changed the article format

Journal ref: PRX Quantum 4, 010310 (2023)

Stellar mergers as the origin of the blue main-sequence band in young star clusters

Authors: Chen Wang, Norbert Langer, Abel Schootemeijer, Antonino Milone, Ben Hastings, Xiao-Tian Xu, Julia Bodensteiner, Hugues Sana, Norberto Castro, D. J. Lennon, Pablo Marchant, A. de Koter, Selma E. de Mink

Abstract: Recent high-quality Hubble Space Telescope (HST) photometry shows that the main sequences (MS) stars of young star clusters form two discrete components in the color-magnitude diagram (CMD). Based on their distribution in the CMD, we show that stars of the blue MS component can be understood as slow rotators originating from stellar mergers. We derive the masses of the blue MS stars, and find that… ▽ More Recent high-quality Hubble Space Telescope (HST) photometry shows that the main sequences (MS) stars of young star clusters form two discrete components in the color-magnitude diagram (CMD). Based on their distribution in the CMD, we show that stars of the blue MS component can be understood as slow rotators originating from stellar mergers. We derive the masses of the blue MS stars, and find that they follow a nearly flat mass function, which supports their unusual formation path. Our results imply that the cluster stars gain their mass in two different ways, by disk accretion leading to rapid rotation, contributing to the red MS, or by binary merger leading to slow rotation and populating the blue MS. We also derive the approximate merger time of the individual stars of the blue MS component, and find a strong early peak in the merger rate, with a lower level merger activity prevailing for tens of Myr. This supports recent binary formation models, and explains new velocity dispersion measurements for members of young star clusters. Our findings shed new light on the origin of the bi-modal mass, spin, and magnetic field distributions of main-sequence stars. △ Less

Submitted 11 February, 2022; originally announced February 2022.

Comments: Published in Nature Astronomy online. Link to the paper:https://rdcu.be/cGLpH

On Lieb-Robinson Bounds for the Double Bracket Flow

Authors: Matthew B. Hastings

Abstract: We consider the possibility of develo** a Lieb-Robinson bound for the double bracket flow. This is a differential equation $$\partial_B H(B)=[[V,H(B)],H(B)]$$ which may be used to diagonalize Hamiltonians. Here, $V$ is fixed and $H(0)=H$. We argue (but do not prove) that $H(B)$ need not converge to a limit for nonzero real $B$ in the infinite volume limit, even assuming several conditions on… ▽ More We consider the possibility of develo** a Lieb-Robinson bound for the double bracket flow. This is a differential equation $$\partial_B H(B)=[[V,H(B)],H(B)]$$ which may be used to diagonalize Hamiltonians. Here, $V$ is fixed and $H(0)=H$. We argue (but do not prove) that $H(B)$ need not converge to a limit for nonzero real $B$ in the infinite volume limit, even assuming several conditions on $H(0)$. However, we prove Lieb-Robinson bounds for all $B$ for the double-bracket flow for free fermion systems, but the range increases \emph{exponentially} with the control parameter $B$. △ Less

Submitted 18 January, 2022; originally announced January 2022.

Comments: 10 pages, no figures

Structural changes across thermodynamic maxima in supercooled liquid tellurium: a water-like scenario

Authors: Peihao Sun, Giulio Monaco, Peter Zalden, Klaus Sokolowski-Tinten, Jerzy Antonowicz, Ryszard Sobierajski, Yukio Kajihara, Alfred Q. R. Baron, Paul Fuoss, Andrew Chihpin Chuang, Jun-Sang Park, Jonathan Almer, J. B. Hastings

Abstract: Liquid polymorphism is an intriguing phenomenon which has been found in a few single-component systems, the most famous being water. By supercooling liquid Te to more than 130 K below its melting point and performing simultaneous small-angle and wide-angle X-ray scattering measurements, we observe clear maxima in its thermodynamic response functions around 615 K, suggesting the possible existence… ▽ More Liquid polymorphism is an intriguing phenomenon which has been found in a few single-component systems, the most famous being water. By supercooling liquid Te to more than 130 K below its melting point and performing simultaneous small-angle and wide-angle X-ray scattering measurements, we observe clear maxima in its thermodynamic response functions around 615 K, suggesting the possible existence of liquid polymorphism. A close look at the underlying structural evolution shows the development of intermediate-range order upon cooling, most strongly around the thermodynamic maxima, which we attribute to bond-orientational ordering. The striking similarities between our results and those of water, despite the lack of hydrogen-bonding and tetrahedrality in tellurium, indicate that water-like anomalies may be a general phenomenon among liquid systems with competing bond- and density-ordering. △ Less

Submitted 11 May, 2022; v1 submitted 18 January, 2022; originally announced January 2022.

Comments: Main text: 10 pages, 5 figures; supplementary materials: 14 pages, 13 figures

Journal ref: PNAS 119(28), e2202044119 (2022)

A Classical Algorithm Which Also Beats $\frac{1}{2}+\frac{2}π\frac{1}{\sqrt{D}}$ For High Girth MAX-CUT

Authors: Matthew B. Hastings

Abstract: We give a simple classical algorithm which provably achieves the performance in the title. The algorithm is a simple modification of the Gaussian wave process. We give a simple classical algorithm which provably achieves the performance in the title. The algorithm is a simple modification of the Gaussian wave process. △ Less

Submitted 24 November, 2021; originally announced November 2021.

Comments: 4 pages, 0 figures

Detailed models of interacting short-period massive binary stars

Authors: K. Sen, N. Langer, P. Marchant, A. Menon, S. E. de Mink, A. Schootemeijer, C. Schürmann, L. Mahy, B. Hastings, K. Nathaniel, H. Sana, C. Wang, X. T. Xu

Abstract: About a quarter of massive binary stars undergo mass transfer while both stars burn hydrogen at their cores, first on the thermal and then on the nuclear timescale. The nuclear timescale mass transfer leads to observable counterparts: the semi-detached so-called massive Algol binaries. However, comprehensive model predictions for these systems are sparse. We study them using a large grid of ~10,00… ▽ More About a quarter of massive binary stars undergo mass transfer while both stars burn hydrogen at their cores, first on the thermal and then on the nuclear timescale. The nuclear timescale mass transfer leads to observable counterparts: the semi-detached so-called massive Algol binaries. However, comprehensive model predictions for these systems are sparse. We study them using a large grid of ~10,000 detailed binary evolution models calculated with the stellar evolution code MESA, covering initial donor masses between 10-40 M$_{\odot}$ and initial orbital periods above 1.4 d, at a metallicity suitable for the Large Magellanic Cloud (LMC). Our models imply ~30, or ~3% of the ~1,000 core hydrogen burning O-star binaries in the LMC to be currently in the semi-detached phase. Our donor models are up to 25-times more luminous than single stars of identical mass and effective temperature, which agrees with the observed Algols. A comparison of our models with the observed orbital periods and mass ratios implies rather conservative mass transfer in some systems, while very inefficient one in others. This is generally well reproduced by our spin-dependent mass transfer algorithm, except for the lowest considered masses. The observations reflect the slow increase of the surface nitrogen enrichment of the donors during the semi-detached phase all the way to CNO equilibrium. We also investigate the properties of our models after core hydrogen depletion of the donor star, when these models correspond to Wolf-Rayet/helium+OB star binaries. A dedicated spectroscopic survey of massive Algol systems may allow to derive the dependence of the efficiency of thermal timescale mass transfer on the binary parameters, as well as the efficiency of semiconvective mixing in the stellar interior. This would be a crucial step towards reliable binary models up to the formation of supernovae and compact objects. △ Less

Submitted 9 December, 2021; v1 submitted 5 November, 2021; originally announced November 2021.

Comments: Accepted for publication in A&A (December 6, 2021)

Journal ref: A&A 659, A98 (2022)

Gapped Quantum Systems: From Higher Dimensional Lieb-Schultz-Mattis to the Quantum Hall Effect

Authors: Matthew B. Hastings

Abstract: We consider many-body quantum systems on a finite lattice, where the Hilbert space is the tensor product of finite-dimensional Hilbert spaces associated with each site, and where the Hamiltonian of the system is a sum of local terms. We are interested in proving uniform bounds on various properties as the size of the lattice tends to infinity. An important case is when there is a spectral gap betw… ▽ More We consider many-body quantum systems on a finite lattice, where the Hilbert space is the tensor product of finite-dimensional Hilbert spaces associated with each site, and where the Hamiltonian of the system is a sum of local terms. We are interested in proving uniform bounds on various properties as the size of the lattice tends to infinity. An important case is when there is a spectral gap between the lowest state(s) and the rest of the spectrum which persists in this limit, corresponding to what physicists call a ``phase of matter". Here, the combination of elementary Fourier analysis with the technique of Lieb-Robinson bounds (bounds on the velocity of propagation) is surprisingly powerful. We use this to prove exponential decay of connected correlation functions, a higher-dimensional Lieb-Schultz-Mattis theorem, and a Hall conductance quantization theorem for interacting electrons with disorder. △ Less

Submitted 2 November, 2021; originally announced November 2021.

Comments: Contribution to Proceedings of ICM 2022. 22 pages, 2 figures

Gravitational anomaly of 3+1 dimensional Z_2 toric code with fermionic charges and fermionic loop self-statistics

Authors: Lukasz Fidkowski, Jeongwan Haah, Matthew B. Hastings

Abstract: Quasiparticle excitations in $3+1$ dimensions can be either bosons or fermions. In this work, we introduce the notion of fermionic loop excitations in $3+1$ dimensional topological phases. Specifically, we construct a new many-body lattice invariant of gapped Hamiltonians, the loop self-statistics, that distinguishes two bosonic topological orders that both superficially resemble $3+1$ d… ▽ More Quasiparticle excitations in $3+1$ dimensions can be either bosons or fermions. In this work, we introduce the notion of fermionic loop excitations in $3+1$ dimensional topological phases. Specifically, we construct a new many-body lattice invariant of gapped Hamiltonians, the loop self-statistics, that distinguishes two bosonic topological orders that both superficially resemble $3+1$ d ${\mathbb{Z}}_2$ gauge theory coupled to fermionic charged matter. The first has fermionic charges and bosonic ${\mathbb{Z}}_2$ gauge flux loops (FcBl) and is just the ordinary fermionic toric code. The second has fermionic charges and fermionic loops (FcFl), and, as we argue, can only exist at the boundary of a non-trivial 4+1d invertible bosonic phase, stable without any symmetries, i.e. it possesses a gravitational anomaly. We substantiate these claims by constructing an explicit exactly solvable $4+1$ d Walker-Wang model and computing the loop self-statistics in the fermionic ${\mathbb{Z}}_2$ gauge theory hosted at its boundary. We also show that the FcFl phase has the same gravitational anomaly as all-fermion quantum electrodynamics. Our results are in agreement with the recent classification of nondegenerate braided fusion 2-categories by Johnson-Freyd, and with the cobordism prediction of a non-trivial ${\mathbb{Z}}_2$ classified $4+1$ d invertible phase with action $S=\frac{1}{2} \int w_2 w_3$. △ Less

Submitted 1 November, 2022; v1 submitted 27 October, 2021; originally announced October 2021.

Comments: V2: 62 pages, included proof of quantization of the gravitational anomaly indicator, expanded discussion, additional references. Close to published version

Journal ref: Phys. Rev. B 106, 165135 (2022)

Optimizing Strongly Interacting Fermionic Hamiltonians

Authors: Matthew B. Hastings, Ryan O'Donnell

Abstract: The fundamental problem in much of physics and quantum chemistry is to optimize a low-degree polynomial in certain anticommuting variables. Being a quantum mechanical problem, in many cases we do not know an efficient classical witness to the optimum, or even to an approximation of the optimum. One prominent exception is when the optimum is described by a so-called "Gaussian state", also called a… ▽ More The fundamental problem in much of physics and quantum chemistry is to optimize a low-degree polynomial in certain anticommuting variables. Being a quantum mechanical problem, in many cases we do not know an efficient classical witness to the optimum, or even to an approximation of the optimum. One prominent exception is when the optimum is described by a so-called "Gaussian state", also called a free fermion state. In this work we are interested in the complexity of this optimization problem when no good Gaussian state exists. Our primary testbed is the Sachdev--Ye--Kitaev (SYK) model of random degree-$q$ polynomials, a model of great current interest in condensed matter physics and string theory, and one which has remarkable properties from a computational complexity standpoint. Among other results, we give an efficient classical certification algorithm for upper-bounding the largest eigenvalue in the $q=4$ SYK model, and an efficient quantum certification algorithm for lower-bounding this largest eigenvalue; both algorithms achieve constant-factor approximations with high probability. △ Less

Submitted 17 August, 2023; v1 submitted 20 October, 2021; originally announced October 2021.

Comments: 51 pages, 0 figures; v2 minor typo correction; v3 fixed incomplete argument in Theorem 8.6; v4 fixed typo in statement of Theorem 1.6

Boundaries for the Honeycomb Code

Authors: Jeongwan Haah, Matthew B. Hastings

Abstract: We introduce a simple construction of boundary conditions for the honeycomb code that uses only pairwise checks and allows parallelogram geometries at the cost of modifying the bulk measurement sequence. We discuss small instances of the code. We introduce a simple construction of boundary conditions for the honeycomb code that uses only pairwise checks and allows parallelogram geometries at the cost of modifying the bulk measurement sequence. We discuss small instances of the code. △ Less

Submitted 18 April, 2022; v1 submitted 18 October, 2021; originally announced October 2021.

Comments: 11 pages, 7 figures; v2 final version in Quantum

Journal ref: Quantum 6, 693 (2022)

Dynamically Generated Logical Qubits

Authors: Matthew B. Hastings, Jeongwan Haah

Abstract: We present a quantum error correcting code with dynamically generated logical qubits. When viewed as a subsystem code, the code has no logical qubits. Nevertheless, our measurement patterns generate logical qubits, allowing the code to act as a fault-tolerant quantum memory. Our particular code gives a model very similar to the two-dimensional toric code, but each measurement is a two-qubit Pauli… ▽ More We present a quantum error correcting code with dynamically generated logical qubits. When viewed as a subsystem code, the code has no logical qubits. Nevertheless, our measurement patterns generate logical qubits, allowing the code to act as a fault-tolerant quantum memory. Our particular code gives a model very similar to the two-dimensional toric code, but each measurement is a two-qubit Pauli measurement. △ Less

Submitted 12 October, 2021; v1 submitted 5 July, 2021; originally announced July 2021.

Comments: 18 pages, 7 figures; v2 final version accepted in Quantum

Journal ref: Quantum 5, 564 (2021)

A stringent upper limit on Be star fractions produced by binary interaction

Authors: B. Hastings, N. Langer, C. Wang, A. Schootemeijer, A. P. Milone

Abstract: Context. Binary evolution can result in fast-rotating stars, predicted to be observable as Be stars, through accretion of angular momentum during mass-transfer phases. Despite numerous observational evidence pointing to this possibly being the dominant Be formation channel, current models struggle to produce a satisfactory description of Be star populations. Aims. Given distinct uncertainties in… ▽ More Context. Binary evolution can result in fast-rotating stars, predicted to be observable as Be stars, through accretion of angular momentum during mass-transfer phases. Despite numerous observational evidence pointing to this possibly being the dominant Be formation channel, current models struggle to produce a satisfactory description of Be star populations. Aims. Given distinct uncertainties in detailed binary evolution calculations, we investigate a rigorous and model independent upper limit for the production of Be stars through binary interaction and aim to confront this limit with observations of Be stars in young star clusters. Methods. Using extreme assumptions, we calculate the number ratio of post-interaction to pre-interaction binary systems in a coeval population, which describes an upper limit to Be star formation through mass-transfer. A detailed comparison is made between our derived upper limit and relevant observations of Be stars, which allows us to probe several aspects of binary star physics. Results. We find that in coeval populations, binary interaction can at most account for one third of all main-sequence stars being Be stars. Near the cluster turn-off region, this limit appears to be realised in the clusters studied. Away from the turn-off, applying simple assumptions about which systems undergo unstable mass-transfer produces a good fit to the observed Be fraction as a function of mass. Conclusions. We find that assuming distinct physics, binary evolution alone can in principle match the high numbers of Be stars observed in open clusters. Whether the required binary physics is realised in nature remains to be investigated. △ Less

Submitted 23 June, 2021; originally announced June 2021.

Comments: Accepted for publication in A&A

Symmetry Protected Quantum Computation

Authors: Michael H. Freedman, Matthew B. Hastings, Modjtaba Shokrian Zini

Abstract: We consider a model of quantum computation using qubits where it is possible to measure whether a given pair are in a singlet (total spin $0$) or triplet (total spin $1$) state. The physical motivation is that we can do these measurements in a way that is protected against revealing other information so long as all terms in the Hamiltonian are $SU(2)$-invariant. We conjecture that this model is eq… ▽ More We consider a model of quantum computation using qubits where it is possible to measure whether a given pair are in a singlet (total spin $0$) or triplet (total spin $1$) state. The physical motivation is that we can do these measurements in a way that is protected against revealing other information so long as all terms in the Hamiltonian are $SU(2)$-invariant. We conjecture that this model is equivalent to BQP. Towards this goal, we show: (1) this model is capable of universal quantum computation with polylogarithmic overhead if it is supplemented by single qubit $X$ and $Z$ gates. (2) Without any additional gates, it is at least as powerful as the weak model of "permutational quantum computation" of Jordan [14, 18]. (3) With postselection, the model is equivalent to PostBQP. △ Less

Submitted 26 September, 2021; v1 submitted 10 May, 2021; originally announced May 2021.

Comments: To be published in Quantum Journal

Journal ref: Quantum 5, 554 (2021)

Universal two-component dynamics in supercritical fluids

Authors: Peihao Sun, J. B. Hastings, Daisuke Ishikawa, Alfred Q. R. Baron, Giulio Monaco

Abstract: Despite the technological importance of supercritical fluids, controversy remains about the details of their microscopic dynamics. In this work, we study four supercritical fluid systems -- water, Si, Te, and Lennard-Jones fluid -- \emph{via} classical molecular dynamics simulations. A universal two-component behavior is observed in the intermolecular dynamics of these systems, and the changing ra… ▽ More Despite the technological importance of supercritical fluids, controversy remains about the details of their microscopic dynamics. In this work, we study four supercritical fluid systems -- water, Si, Te, and Lennard-Jones fluid -- \emph{via} classical molecular dynamics simulations. A universal two-component behavior is observed in the intermolecular dynamics of these systems, and the changing ratio between the two components leads to a crossover from liquidlike to gaslike dynamics, most rapidly around the Widom line. We find evidence to connect the liquidlike component dominating at lower temperatures with intermolecular bonding, and the component prominent at higher temperatures with free-particle, gaslike dynamics. The ratio between the components can be used to describe important properties of the fluid, such as its self-diffusion coefficient, in the transition region. Our results provide insight into the fundamental mechanism controlling the dynamics of supercritical fluids, and highlight the role of spatiotemporally inhomogenous dynamics even in thermodynamic states where no large-scale fluctuations exist in the fluid. △ Less

Submitted 26 November, 2021; v1 submitted 15 April, 2021; originally announced April 2021.

Comments: 26 pages, 6 figures (main) 13 pages, 7 figures (supplemental)

Journal ref: The Journal of Physical Chemistry B 125(49), 13494-13501 (2021)

On Quantum Weight Reduction

Authors: M. B. Hastings

Abstract: We give a general procedure for weight reducing quantum codes. This corrects a previous work\cite{owr}, and introduces a new technique that we call "coning" to effectively induce high weight stabilizers in an LDPC code. As one application, any LDPC code (with arbitrary $O(1)$ stabilizer weights) may be turned into a code where all stabilizers have weight at most $5$ at the cost of at most a consta… ▽ More We give a general procedure for weight reducing quantum codes. This corrects a previous work\cite{owr}, and introduces a new technique that we call "coning" to effectively induce high weight stabilizers in an LDPC code. As one application, any LDPC code (with arbitrary $O(1)$ stabilizer weights) may be turned into a code where all stabilizers have weight at most $5$ at the cost of at most a constant factor increase in number of physical qubits and constant factor reduction in distance. Also, by applying this technique to a quantum code whose $X$-stabilizers are derived from a classical log-weight random code and whose $Z$-stabilizers have linear weight, we construct an LDPC quantum code with distance $\tilde Ω(N^{2/3})$ and $\tildeΩ(N^{2/3})$ logical qubits. △ Less

Submitted 27 July, 2023; v1 submitted 19 February, 2021; originally announced February 2021.

Comments: 21 pages, 1 figure; v2 minor clarifications; v3 minor corrections

Building manifolds from quantum codes

Authors: Michael Freedman, Matthew B. Hastings

Abstract: We give a procedure for "reverse engineering" a closed, simply connected, Riemannian manifold with bounded local geometry from a sparse chain complex over $\mathbb{Z}$. Applying this procedure to chain complexes obtained by "lifting" recently developed quantum codes, which correspond to chain complexes over $\mathbb{Z}_2$, we construct the first examples of power law $\mathbb{Z}_2$ systolic freedo… ▽ More We give a procedure for "reverse engineering" a closed, simply connected, Riemannian manifold with bounded local geometry from a sparse chain complex over $\mathbb{Z}$. Applying this procedure to chain complexes obtained by "lifting" recently developed quantum codes, which correspond to chain complexes over $\mathbb{Z}_2$, we construct the first examples of power law $\mathbb{Z}_2$ systolic freedom. As a result that may be of independent interest in graph theory, we give an efficient randomized algorithm to construct a weakly fundamental cycle basis for a graph, such that each edge appears only polylogarithmically times in the basis. We use this result to trivialize the fundamental group of the manifold we construct. △ Less

Submitted 24 May, 2021; v1 submitted 3 December, 2020; originally announced December 2020.

Comments: 32 pages, 7 figures; v2 minor clarifications, improved result using improved codes as input; v3 minor clarifications and corrections

Journal ref: This is an extended version of a paper published in GAFA, 2021. DOI 10.1007/s00039-021-00567-3

Union-Find Decoders For Homological Product Codes

Authors: Nicolas Delfosse, Matthew B. Hastings

Abstract: Homological product codes are a class of codes that can have improved distance while retaining relatively low stabilizer weight. We show how to build union-find decoders for these codes, using a union-find decoder for one of the codes in the product and a brute force decoder for the other code. We apply this construction to the specific case of the product of a surface code with a small code such… ▽ More Homological product codes are a class of codes that can have improved distance while retaining relatively low stabilizer weight. We show how to build union-find decoders for these codes, using a union-find decoder for one of the codes in the product and a brute force decoder for the other code. We apply this construction to the specific case of the product of a surface code with a small code such as a $[[4,2,2]]$ code, which we call an augmented surface code. The distance of the augmented surface code is the product of the distance of the surface code with that of the small code, and the union-find decoder, with slight modifications, can decode errors up to half the distance. We present numerical simulations, showing that while the threshold of these augmented codes is lower than that of the surface code, the low noise performance is improved. △ Less

Submitted 8 March, 2021; v1 submitted 29 September, 2020; originally announced September 2020.

Comments: 16 pages, 3 digures; v2 final version in Quantum

Journal ref: Quantum 5, 406 (2021)

Fiber Bundle Codes: Breaking the $N^{1/2} \operatorname{polylog}(N)$ Barrier for Quantum LDPC Codes

Authors: Matthew B. Hastings, Jeongwan Haah, Ryan O'Donnell

Abstract: We present a quantum LDPC code family that has distance $Ω(N^{3/5}/\operatorname{polylog}(N))$ and $\tildeΘ(N^{3/5})$ logical qubits. This is the first quantum LDPC code construction which achieves distance greater than $N^{1/2} \operatorname{polylog}(N)$. The construction is based on generalizing the homological product of codes to a fiber bundle. We present a quantum LDPC code family that has distance $Ω(N^{3/5}/\operatorname{polylog}(N))$ and $\tildeΘ(N^{3/5})$ logical qubits. This is the first quantum LDPC code construction which achieves distance greater than $N^{1/2} \operatorname{polylog}(N)$. The construction is based on generalizing the homological product of codes to a fiber bundle. △ Less

Submitted 26 October, 2020; v1 submitted 8 September, 2020; originally announced September 2020.

Comments: 39 pages, 2 figures; v2 gives self-contained presentation of weight reduction using weight reduction for classical base code. Also contains explanation of relation between codes in terms of homotopy equivalence of chain complexes

Journal ref: Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing (2021) 1276 - 1288

A Personal History of the Hastings-Michalakis Proof of Hall Conductance Quantization

Authors: M. B. Hastings

Abstract: This is a personal history of the Hastings-Michalakis proof of quantum Hall conductance quantization. This is a personal history of the Hastings-Michalakis proof of quantum Hall conductance quantization. △ Less

Submitted 3 September, 2020; originally announced September 2020.

Comments: 3 pages

How Dynamical Quantum Memories Forget

Authors: Lukasz Fidkowski, Jeongwan Haah, Matthew B. Hastings

Abstract: Motivated by recent work showing that a quantum error correcting code can be generated by hybrid dynamics of unitaries and measurements, we study the long time behavior of such systems. We demonstrate that even in the "mixed" phase, a maximally mixed initial density matrix is purified on a time scale equal to the Hilbert space dimension (i.e., exponential in system size), albeit with noisy dynamic… ▽ More Motivated by recent work showing that a quantum error correcting code can be generated by hybrid dynamics of unitaries and measurements, we study the long time behavior of such systems. We demonstrate that even in the "mixed" phase, a maximally mixed initial density matrix is purified on a time scale equal to the Hilbert space dimension (i.e., exponential in system size), albeit with noisy dynamics at intermediate times which we connect to Dyson Brownian motion. In contrast, we show that free fermion systems -- i.e., ones where the unitaries are generated by quadratic Hamiltonians and the measurements are of fermion bilinears -- purify in a time quadratic in the system size. In particular, a volume law phase for the entanglement entropy cannot be sustained in a free fermion system. △ Less

Submitted 30 July, 2022; v1 submitted 24 August, 2020; originally announced August 2020.

Comments: 24 pages, 2 figures (v3) expanding the proof of Lemma 3

Journal ref: Quantum 5, 382 (2021)

Two-component dynamics and the liquid-like to gas-like crossover in supercritical water

Authors: Peihao Sun, J. B. Hastings, Daisuke Ishikawa, Alfred Q. R. Baron, Giulio Monaco

Abstract: Molecular-scale dynamics in sub- to super-critical water is studied with inelastic X-ray scattering and molecular dynamics simulations. The obtained longitudinal current correlation spectra can be decomposed into two main components: a low-frequency (LF), gas-like component and a high-frequency (HF) component arising from the O--O stretching mode between hydrogen-bonded molecules, reminiscent of t… ▽ More Molecular-scale dynamics in sub- to super-critical water is studied with inelastic X-ray scattering and molecular dynamics simulations. The obtained longitudinal current correlation spectra can be decomposed into two main components: a low-frequency (LF), gas-like component and a high-frequency (HF) component arising from the O--O stretching mode between hydrogen-bonded molecules, reminiscent of the longitudinal acoustic mode in ambient water. With increasing temperature, the hydrogen-bond network diminishes and the spectral weight shifts from HF to LF, leading to a transition from liquid-like to gas-like dynamics with rapid changes around the Widom line. △ Less

Submitted 13 November, 2020; v1 submitted 15 August, 2020; originally announced August 2020.

Comments: 7 pages, 4 figures

Journal ref: Phys. Rev. Lett. 125, 256001 (2020)

Internal circulation in tidally locked massive binary stars -- Consequences for double black hole formation

Authors: Ben Hastings, Norbert Langer, Gloria Koenigsberger

Abstract: Steady-state circulation currents are predicted in tidally deformed binary stars, which are believed to be progenitors of double black-hole merger events. This work aims to quantitatively characterise the steady-state circulation currents in components of a tidally locked binary system and to explore the effects of such currents on numerical models. Previous results describing the circulation in a… ▽ More Steady-state circulation currents are predicted in tidally deformed binary stars, which are believed to be progenitors of double black-hole merger events. This work aims to quantitatively characterise the steady-state circulation currents in components of a tidally locked binary system and to explore the effects of such currents on numerical models. Previous results describing the circulation in a single rotating star and a binary star are used to deduce a new prescription for the internal circulation in tidally locked binaries. We explore the effect of this prescription numerically for binary systems with primary masses between 25 and 100 solar masses. When comparing circulation velocities in the radial direction for the single rotating star and binary star, it is found that the average circulation velocity in the binary star may be described as an enhancement to the circulation velocity in a single rotating star. This velocity enhancement is a simple function depending on the masses of the binary components and amounts to a factor of approximately two when the components have equal masses. It is found that the ehancement causes the formation of double helium stars through efficient mixing to occur for systems with higher initial orbital periods, lower primary masses and lower mass ratios, compared to the standard circulation scenario. Taking into account appropriate distributions for primary mass, initial period and mass ratio, models with enhanced mixing predict 2.4 times more double helium stars being produced in the parameter space than models without. We conclude that the effects of companion-induced circulation have strong implications for the formation of close binary black holes. Not only do the predicted detection rates increase but double black-hole systems with mass ratios as low as 0.8 may be formed when companion-induced circulation is taken into account. △ Less

Submitted 22 July, 2020; originally announced July 2020.

Comments: 17 pages, 10 figures, accepted for publication in A&A

Journal ref: A&A 641, A86 (2020)

Measurement sequences for magic state distillation

Authors: Jeongwan Haah, Matthew B. Hastings

Abstract: Magic state distillation uses special codes to suppress errors in input states, which are often tailored to a Clifford-twirled error model. We present detailed measurement sequences for magic state distillation protocols which can suppress arbitrary errors on any part of a protocol, assuming the independence of errors across qubits. Provided with input magic states, our protocol operates on a two-… ▽ More Magic state distillation uses special codes to suppress errors in input states, which are often tailored to a Clifford-twirled error model. We present detailed measurement sequences for magic state distillation protocols which can suppress arbitrary errors on any part of a protocol, assuming the independence of errors across qubits. Provided with input magic states, our protocol operates on a two-dimensional square grid by measurements of $ZZ$ on horizontal pairs of qubits, $XX$ on vertical pairs, and $Z,X$ on single qubits. △ Less

Submitted 18 January, 2021; v1 submitted 15 July, 2020; originally announced July 2020.

Comments: 8 pages

Journal ref: Quantum 5, 383 (2021)

Nonlinear resonant X-ray Raman scattering

Authors: Johann Haber, Andreas Kaldun, Samuel W. Teitelbaum, Alfred Q. R. Baron, Philip H. Bucksbaum, Matthias Fuchs, Jerome B. Hastings, Ichiro Inoue, Yuichi Inubushi, Dietrich Krebs, Taito Osaka, Robin Santra, Sharon Shwartz, Kenji Tamasaku, David A. Reis

Abstract: We report the observation of a novel nonlinear effect in the hard x-ray range. Upon illuminating Fe and Cu metal foils with intense x-ray pulses tuned near their respective K edges, photons at nearly twice the incoming photon energy are emitted. The signal rises quadratically with the incoming intensity, consistent with two-photon excitation. The spectrum of emitted high-energy photons comprises m… ▽ More We report the observation of a novel nonlinear effect in the hard x-ray range. Upon illuminating Fe and Cu metal foils with intense x-ray pulses tuned near their respective K edges, photons at nearly twice the incoming photon energy are emitted. The signal rises quadratically with the incoming intensity, consistent with two-photon excitation. The spectrum of emitted high-energy photons comprises multiple Raman lines that disperse with the incident photon energy. Upon reaching the double K-shell ionization threshold, the signal strength undergoes a marked rise. Above this threshold, the lines cease dispersing, turning into orescence lines with energies much greater than obtainable by single electron transitions, and additional Raman lines appear. We attribute these processes to electron-correlation mediated multielectron transitions involving double-core hole excitation and various two-electron de-excitation processes to a final state involving one or more L and M core-holes. △ Less

Submitted 25 June, 2020; originally announced June 2020.

Comments: 6 pages, 4 figures

The Power of Adiabatic Quantum Computation with No Sign Problem

Authors: M. B. Hastings

Abstract: We show a superpolynomial oracle separation between the power of adiabatic quantum computation with no sign problem and the power of classical computation. We show a superpolynomial oracle separation between the power of adiabatic quantum computation with no sign problem and the power of classical computation. △ Less

Submitted 29 November, 2021; v1 submitted 7 May, 2020; originally announced May 2020.

Comments: 22 pages, 2 figures; v2 final version in Quantum

Journal ref: Quantum 5, 597 (2021)

Properties of OB star-black hole systems derived from detailed binary evolution models

Authors: N. Langer, C. Schürmann, K. Stoll, P. Marchant, D. J. Lennon, L. Mahy, S. E. de Mink, M. Quast, W. Riedel, H. Sana, P. Schneider, A. Schootemeijer, Chen Wang, L. A. Almeida, J. M. Bestenlehner, J. Bodensteiner, N. Castro, S. Clark, P. A. Crowther, P. Dufton, C. J. Evans, L. Fossati, G. Gräfener, L. Grassitelli, N. Grin , et al. (16 additional authors not shown)

Abstract: The recent gravitational wave measurements have demonstrated the existence of stellar mass black hole binaries. It is essential for our understanding of massive star evolution to identify the contribution of binary evolution to the formation of double black holes. A promising way to progress is investigating the progenitors of double black hole systems and comparing predictions with local massive… ▽ More The recent gravitational wave measurements have demonstrated the existence of stellar mass black hole binaries. It is essential for our understanding of massive star evolution to identify the contribution of binary evolution to the formation of double black holes. A promising way to progress is investigating the progenitors of double black hole systems and comparing predictions with local massive star samples such as the population in 30 Doradus in the Large Magellanic Cloud (LMC). Methods. To this purpose, we analyse a large grid of detailed binary evolution models at LMC metallicity with initial primary masses between 10 and 40 Msun, and identify which model systems potentially evolve into a binary consisting of a black hole and a massive main sequence star. We then derive the observable properties of such systems, as well as peculiarities of the OB star component. We find that about 3% of the LMC late O and early B stars in binaries are expected to possess a black hole companion, when assuming stars with a final helium core mass above 6.6 M to form black holes. While the vast majority of them may be X-ray quiet, our models suggest that these may be identified in spectroscopic binaries, either by large amplitude radial velocity variations ( > 50 km s ) and simultaneous nitrogen surface enrichment, or through a moderate radial velocity ( > 10 km/s ) and simultaneously rapid rotation of the OB star. The predicted mass ratios are such that main sequence companions could be excluded in most cases. A comparison to the observed OB+WR binaries in the LMC, Be/X-ray binaries, and known massive BH binaries supports our conclusion. We expect spectroscopic observations to be able to test key assumptions in our models, with important implications for massive star evolution in general, and for the formation of double-black hole mergers in particular. △ Less

Submitted 10 April, 2020; v1 submitted 20 December, 2019; originally announced December 2019.

Comments: 19 pages, 14 figures, Astronomy and Astrophysics, in press

Journal ref: A&A 638, A39 (2020)

Effects of close binary evolution on the main-sequence morphology of young star clusters

Authors: Chen Wang, Norbert Langer, Abel Schootemeijer, Norberto Castro, Sylvia Adscheid, Pablo Marchant, Ben Hastings

Abstract: Star clusters are the building blocks of galaxies. They are composed of stars of nearly equal age and chemical composition, allowing us to use them as chronometers and as testbeds for gauging stellar evolution. It has become clear recently that massive stars are formed preferentially in close binaries, in which mass transfer will drastically change the evolution of the stars. This is expected to l… ▽ More Star clusters are the building blocks of galaxies. They are composed of stars of nearly equal age and chemical composition, allowing us to use them as chronometers and as testbeds for gauging stellar evolution. It has become clear recently that massive stars are formed preferentially in close binaries, in which mass transfer will drastically change the evolution of the stars. This is expected to leave a significant imprint in the distribution of cluster stars in the Hertzsprung-Russell diagram. Our results, based on a dense model grid of more than 50,000 detailed binary-evolution calculations, indeed show several distinct, coeval main-sequence (MS) components, most notably an extended MS turnoff region, and a group of near-critical rotating stars that is spread over a large luminosity range on the red side of the classical MS. We comprehensively demonstrate the time evolution of the features in an animation, and we derive analytic expressions to describe these features. We find quantitative agreement with results based on recent photometric and spectroscopic observations. We conclude that while other factors may also be at play, binary evolution has a major impact on the MS morphology of young star clusters. △ Less

Submitted 6 January, 2020; v1 submitted 16 December, 2019; originally announced December 2019.

Comments: 12 pages, 5 figures, 1 animation, published in ApJL, 2020, 888, L12

Journal ref: ApJL 888 (2020) L12

An Exactly Solvable Model for a $4+1D$ Beyond-Cohomology Symmetry Protected Topological Phase

Authors: Lukasz Fidkowski, Jeongwan Haah, Matthew B. Hastings

Abstract: We construct an exactly solvable commuting projector model for a $4+1$ dimensional ${\mathbb Z}_2$ symmetry-protected topological phase (SPT) which is outside the cohomology classification of SPTs. The model is described by a decorated domain wall construction, with "three-fermion" Walker-Wang phases on the domain walls. We describe the anomalous nature of the phase in several ways. One interestin… ▽ More We construct an exactly solvable commuting projector model for a $4+1$ dimensional ${\mathbb Z}_2$ symmetry-protected topological phase (SPT) which is outside the cohomology classification of SPTs. The model is described by a decorated domain wall construction, with "three-fermion" Walker-Wang phases on the domain walls. We describe the anomalous nature of the phase in several ways. One interesting feature is that, in contrast to in-cohomology phases, the effective ${\mathbb Z}_2$ symmetry on a $3+1$ dimensional boundary cannot be described by a quantum circuit and instead is a nontrivial quantum cellular automaton (QCA). A related property is that a codimension-two defect (for example, the termination of a ${\mathbb Z}_2$ domain wall at a trivial boundary) will carry nontrivial chiral central charge $4$ mod $8$. We also construct a gapped symmetric topologically-ordered boundary state for our model, which constitutes an anomalous symmetry enriched topological phase outside of the classification of arXiv:1602.00187, and define a corresponding anomaly indicator. △ Less

Submitted 5 May, 2020; v1 submitted 11 December, 2019; originally announced December 2019.

Comments: 57 pages, 6 figures

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

The Single Star Path to Be Stars

Authors: Ben Hastings, Chen Wang, Norbert Langer

Abstract: Be stars are rapidly rotating B main sequence stars, which show line emission due to an outflowing disc. By studying the evolution of rotating single star models, we can assess their contribution to the observed Be star populations. We identify the main effects which are responsible for single stars to approach critical rotation as functions of initial mass and metallicity, and predict the prope… ▽ More Be stars are rapidly rotating B main sequence stars, which show line emission due to an outflowing disc. By studying the evolution of rotating single star models, we can assess their contribution to the observed Be star populations. We identify the main effects which are responsible for single stars to approach critical rotation as functions of initial mass and metallicity, and predict the properties of populations of rotating single stars. We perform population synthesis with single star models of initial masses ranging between 3 and 30 solar masses, initial equatorial rotation velocities between 0 and 600 kms$^{-1}$ at compositions representing the Milky Way, Large and Small Magellanic Clouds. These models include efficient core-envelope coupling mediated by internal magnetic fields and correspond to the maximum efficiency of Be star production. We predict Be star fractions and the positions of fast rotating stars in the colour-magnitude diagram. We identify stellar wind mass-loss and the convective core mass fraction as the key parameters which determine the time dependance of the stellar rotation rates. Using empirical distributions of initial rotational velocities,our single star models can reproduce the trends observed in Be star fractions with mass and metallicity. However,they fail to produce a significant number of stars rotating very close to critical. We also find that rapidly rotating Be stars in the Magellanic Clouds should have significant surface nitrogen enrichments, which may be in conflict with abundance determinations of Be stars. Single star evolution may explain the high number of Be stars if 70 to 80% of critical rotationwould be sufficient to produce the Be phenomenon. However even in this case, the unexplained presence of many Be stars far below the cluster turn-off indicates the importance of the binary channel for Be star production. △ Less

Submitted 11 December, 2019; originally announced December 2019.

Comments: in press

Journal ref: A&A 633, A165 (2020)

The Group Structure of Quantum Cellular Automata

Authors: Michael Freedman, Jeongwan Haah, Matthew B. Hastings

Abstract: We consider the group structure of quantum cellular automata (QCA) modulo circuits and show that it is abelian even without assuming the presence of ancillas, at least for most reasonable choices of control space; this is a corollary of a general method of ancilla removal. Further, we show how to define a group of QCA that is well-defined without needing to use families, by showing how to construc… ▽ More We consider the group structure of quantum cellular automata (QCA) modulo circuits and show that it is abelian even without assuming the presence of ancillas, at least for most reasonable choices of control space; this is a corollary of a general method of ancilla removal. Further, we show how to define a group of QCA that is well-defined without needing to use families, by showing how to construct a coherent family containing an arbitrary finite QCA; the coherent family consists of QCA on progressively finer systems of qudits where any two members are related by a shallow quantum circuit. This construction applied to translation invariant QCA shows that all translation invariant QCA in three dimensions and all translation invariant Clifford QCA in any dimension are coherent. △ Less

Submitted 17 October, 2019; originally announced October 2019.

Comments: 25 pages, 10 figures

Journal ref: Commun. Math. Phys. 389, 1277-1302 (2022)

Classical and Quantum Algorithms for Tensor Principal Component Analysis

Authors: M. B. Hastings

Abstract: We present classical and quantum algorithms based on spectral methods for a problem in tensor principal component analysis. The quantum algorithm achieves a quartic speedup while using exponentially smaller space than the fastest classical spectral algorithm, and a super-polynomial speedup over classical algorithms that use only polynomial space. The classical algorithms that we present are relate… ▽ More We present classical and quantum algorithms based on spectral methods for a problem in tensor principal component analysis. The quantum algorithm achieves a quartic speedup while using exponentially smaller space than the fastest classical spectral algorithm, and a super-polynomial speedup over classical algorithms that use only polynomial space. The classical algorithms that we present are related to, but slightly different from those presented recently in Ref. 1. In particular, we have an improved threshold for recovery and the algorithms we present work for both even and odd order tensors. These results suggest that large-scale inference problems are a promising future application for quantum computers. △ Less

Submitted 24 February, 2020; v1 submitted 29 July, 2019; originally announced July 2019.

Comments: 29 pages; v2 accepted in Quantum

Journal ref: Quantum 4, 237 (2020)

Disentangling the Generalized Double Semion Model

Authors: Lukasz Fidkowski, Jeongwan Haah, Matthew B. Hastings, Nathanan Tantivasadakarn

Abstract: We analyze the class of Generalized Double Semion (GDS) models in arbitrary dimensions from the point of view of lattice Hamiltonians. We show that on a $d$-dimensional spatial manifold $M$ the dual of the GDS is equivalent, up to constant depth local quantum circuits, to a group cohomology theory tensored with lower dimensional cohomology models that depend on the manifold $M$. We comment on the… ▽ More We analyze the class of Generalized Double Semion (GDS) models in arbitrary dimensions from the point of view of lattice Hamiltonians. We show that on a $d$-dimensional spatial manifold $M$ the dual of the GDS is equivalent, up to constant depth local quantum circuits, to a group cohomology theory tensored with lower dimensional cohomology models that depend on the manifold $M$. We comment on the space-time topological quantum field theory (TQFT) interpretation of this result. We also investigate the GDS in the presence of time reversal symmetry, showing that it forms a non-trivial symmetry enriched toric code phase in odd spatial dimensions. △ Less

Submitted 9 November, 2020; v1 submitted 10 June, 2019; originally announced June 2019.

Comments: 28 pages (v2) close to final version

Journal ref: Commun. Math. Phys. 380, 1151-1171 (2020)

Classical and Quantum Bounded Depth Approximation Algorithms

Authors: M. B. Hastings

Abstract: We consider some classical and quantum approximate optimization algorithms with bounded depth. First, we define a class of "local" classical optimization algorithms and show that a single step version of these algorithms can achieve the same performance as the single step QAOA on MAX-3-LIN-2. Second, we show that this class of classical algorithms generalizes a class previously considered in the l… ▽ More We consider some classical and quantum approximate optimization algorithms with bounded depth. First, we define a class of "local" classical optimization algorithms and show that a single step version of these algorithms can achieve the same performance as the single step QAOA on MAX-3-LIN-2. Second, we show that this class of classical algorithms generalizes a class previously considered in the literature, and also that a single step of the classical algorithm will outperform the single-step QAOA on all triangle-free MAX-CUT instances. In fact, for all but $4$ choices of degree, existing single-step classical algorithms already outperform the QAOA on these graphs, while for the remaining $4$ choices we show that the generalization here outperforms it. Finally, we consider the QAOA and provide strong evidence that, for any fixed number of steps, its performance on MAX-3-LIN-2 on bounded degree graphs cannot achieve the same scaling as can be done by a class of "global" classical algorithms. These results suggest that such local classical algorithms are likely to be at least as promising as the QAOA for approximate optimization. △ Less

Submitted 1 August, 2019; v1 submitted 16 May, 2019; originally announced May 2019.

Comments: 17 pages, 8 figures; v2 minor typo corrections

Duality in Quantum Quenches and Classical Approximation Algorithms: Pretty Good or Very Bad

Authors: M. B. Hastings

Abstract: We consider classical and quantum algorithms which have a duality property: roughly, either the algorithm provides some nontrivial improvement over random or there exist many solutions which are significantly worse than random. This enables one to give guarantees that the algorithm will find such a nontrivial improvement: if few solutions exist which are much worse than random, then a nontrivial i… ▽ More We consider classical and quantum algorithms which have a duality property: roughly, either the algorithm provides some nontrivial improvement over random or there exist many solutions which are significantly worse than random. This enables one to give guarantees that the algorithm will find such a nontrivial improvement: if few solutions exist which are much worse than random, then a nontrivial improvement is guaranteed. The quantum algorithm is based on a sudden of a Hamiltonian; while the algorithm is general, we analyze it in the specific context of MAX-$K$-LIN$2$, for both even and odd $K$. The classical algorithm is a "dequantization of this algorithm", obtaining the same guarantee (indeed, some results which are only conjectured in the quantum case can be proven here); however, the quantum point of view helps in analyzing the performance of the classical algorithm and might in some cases perform better. △ Less

Submitted 4 November, 2019; v1 submitted 30 April, 2019; originally announced April 2019.

Comments: v2 final version published in Quantum

Journal ref: Quantum 3, 201 (2019)

Scientific Opportunities with an X-ray Free-Electron Laser Oscillator

Authors: Bernhard Adams, Gabriel Aeppli, Thomas Allison, Alfred Q. R. Baron, Phillip Bucksbaum, Aleksandr I. Chumakov, Christopher Corder, Stephen P. Cramer, Serena DeBeer, Yuntao Ding, Jörg Evers, Josef Frisch, Matthias Fuchs, Gerhard Grübel, Jerome B. Hastings, Christoph M. Heyl, Leo Holberg, Zhirong Huang, Tetsuya Ishikawa, Andreas Kaldun, Kwang-Je Kim, Tomasz Kolodziej, Jacek Krzywinski, Zheng Li, Wen-Te Liao , et al. (25 additional authors not shown)

Abstract: An X-ray free-electron laser oscillator (XFELO) is a new type of hard X-ray source that would produce fully coherent pulses with meV bandwidth and stable intensity. The XFELO complements existing sources based on self-amplified spontaneous emission (SASE) from high-gain X-ray free-electron lasers (XFEL) that produce ultra-short pulses with broad-band chaotic spectra. This report is based on discus… ▽ More An X-ray free-electron laser oscillator (XFELO) is a new type of hard X-ray source that would produce fully coherent pulses with meV bandwidth and stable intensity. The XFELO complements existing sources based on self-amplified spontaneous emission (SASE) from high-gain X-ray free-electron lasers (XFEL) that produce ultra-short pulses with broad-band chaotic spectra. This report is based on discussions of scientific opportunities enabled by an XFELO during a workshop held at SLAC on June 29 - July 1, 2016 △ Less

Submitted 25 March, 2019; v1 submitted 18 March, 2019; originally announced March 2019.

Comments: 21 pages, 12 figures