-
MAUVE: A 6 kpc bipolar outflow launched from NGC 4383, one of the most HI-rich galaxies in the Virgo cluster
Authors:
Adam B. Watts,
Luca Cortese,
Barbara Catinella,
Amelia Fraser-McKelvie,
Eric Emsellem,
Lodovico Coccato,
Jesse van de Sande,
Toby H. Brown,
Yago Ascasibar,
Andrew Battisti,
Alessandro Boselli,
Timothy A. Davis,
Brent Groves,
Sabine Thater
Abstract:
Stellar feedback-driven outflows are important regulators of the gas-star formation cycle. However, resolving outflow physics requires high resolution observations that can only be achieved in very nearby galaxies, making suitable targets rare. We present the first results from the new VLT/MUSE large program MAUVE (MUSE and ALMA Unveiling the Virgo Environment), which aims to understand the gas-st…
▽ More
Stellar feedback-driven outflows are important regulators of the gas-star formation cycle. However, resolving outflow physics requires high resolution observations that can only be achieved in very nearby galaxies, making suitable targets rare. We present the first results from the new VLT/MUSE large program MAUVE (MUSE and ALMA Unveiling the Virgo Environment), which aims to understand the gas-star formation cycle within the context of the Virgo cluster environment. Outflows are a key part of this cycle, and we focus on the peculiar galaxy NGC 4383, which hosts a $\sim6\,$kpc bipolar outflow fuelled by one of Virgo's most HI-rich discs. The spectacular MUSE data reveal the clumpy structure and complex kinematics of the ionised gas in this M82-like outflow at 100 pc resolution. Using the ionised gas geometry and kinematics we constrain the opening half-angle to $θ=25-35^\circ$, while the average outflow velocity is $\sim210$ kms$^{-1}$. The emission line ratios reveal an ionisation structure where photoionisation is the dominant excitation process. The outflowing gas shows a marginally elevated gas-phase oxygen abundance compared to the disc but is lower than the central starburst, highlighting the contribution of mixing between the ejected and entrained gas. Making some assumptions about the outflow geometry, we estimate an integrated mass outflow-rate of $\sim1.8~$M$_\odot$yr$^{-1}$ and a corresponding mass-loading factor in the range 1.7-2.3. NGC 4383 is a useful addition to the few nearby examples of well-resolved outflows, and will provide a useful baseline for quantifying the role of outflows within the Virgo cluster.
△ Less
Submitted 18 April, 2024;
originally announced April 2024.
-
VERTICO and IllustrisTNG: The spatially resolved effects of environment on galactic gas
Authors:
Adam R. H. Stevens,
Toby Brown,
Benedikt Diemer,
Annalisa Pillepich,
Lars Hernquist,
Dylan Nelson,
Yannick M. Bahé,
Alessandro Boselli,
Timothy A. Davis,
Pascal J. Elahi,
Sara L. Ellison,
María J. Jiménez-Donaire,
Ian D. Roberts,
Kristine Spekkens,
Vicente Villanueva,
Adam B. Watts,
Christine D. Wilson,
Nikki Zabel
Abstract:
It has been shown in previous publications that the TNG100 simulation quantitatively reproduces the observed reduction in each of the total atomic and total molecular hydrogen gas for galaxies within massive halos, i.e.~dense environments. In this Letter, we study how well TNG50 reproduces the resolved effects of a Virgo-like cluster environment on the gas surface densities of satellite galaxies w…
▽ More
It has been shown in previous publications that the TNG100 simulation quantitatively reproduces the observed reduction in each of the total atomic and total molecular hydrogen gas for galaxies within massive halos, i.e.~dense environments. In this Letter, we study how well TNG50 reproduces the resolved effects of a Virgo-like cluster environment on the gas surface densities of satellite galaxies with $m_* > \! 10^9\,{\rm M}_\odot$ and ${\rm SFR} \! > 0.05\,{\rm M}_\odot\,{\rm yr}^{-1}$. We select galaxies in the simulation that are analogous to those in the HERACLES and VERTICO surveys, and mock-observe them to the common specifications of the data. Although TNG50 does not quantitatively match the observed gas surface densities in the centers of galaxies, the simulation does qualitatively reproduce the trends of gas truncation and central density suppression seen in VERTICO in both HI and H$_2$. This result promises that modern cosmological hydrodynamic simulations can be used to reliably model the post-infall histories of cluster satellite galaxies.
△ Less
Submitted 11 October, 2023;
originally announced October 2023.
-
VERTICO VII: Environmental quenching caused by suppression of molecular gas content and star formation efficiency in Virgo Cluster galaxies
Authors:
Toby Brown,
Ian D. Roberts,
Mallory Thorp,
Sara L. Ellison,
Nikki Zabel,
Christine D. Wilson,
Yannick M. Bahé,
Dhruv Bisaria,
Alberto D. Bolatto,
Alessandro Boselli,
Aeree Chung,
Luca Cortese,
Barbara Catinella,
Timothy A. Davis,
María J. Jiménez-Donaire,
Claudia D. P. Lagos,
Bumhyun Lee,
Laura C. Parker,
Rory Smith,
Kristine Spekkens,
Adam R. H. Stevens,
Vicente Villanueva,
Adam B. Watts
Abstract:
We study how environment regulates the star formation cycle of 33 Virgo Cluster satellite galaxies on 720 parsec scales. We present the first resolved star-forming main sequence for cluster galaxies, dividing the sample based on their global HI properties and comparing to a control sample of field galaxies. HI-poor cluster galaxies have reduced star formation rate (SFR) surface densities with resp…
▽ More
We study how environment regulates the star formation cycle of 33 Virgo Cluster satellite galaxies on 720 parsec scales. We present the first resolved star-forming main sequence for cluster galaxies, dividing the sample based on their global HI properties and comparing to a control sample of field galaxies. HI-poor cluster galaxies have reduced star formation rate (SFR) surface densities with respect to both HI-normal cluster and field galaxies (0.5 dex), suggesting that mechanisms regulating the global HI content are responsible for quenching local star formation. We demonstrate that the observed quenching in HI-poor galaxies is caused by environmental processes such as ram pressure strip** (RPS) simultaneously reducing molecular gas surface density and star formation efficiency (SFE), compared to regions in HI-normal systems (by 0.38 and 0.22 dex, respectively). We observe systematically elevated SFRs that are driven by increased molecular gas surface densities at fixed stellar mass surface density in the outskirts of early-stage RPS galaxies, while SFE remains unchanged with respect to the field sample. We quantify how RPS and starvation affect the star formation cycle of inner and outer galaxy discs as they are processed by the cluster. We show both are effective quenching mechanisms with the key difference being that RPS acts upon the galaxy outskirts while starvation regulates the star formation cycle throughout disc, including within the truncation radius. For both processes, the quenching is caused by a simultaneous reduction in molecular gas surface densities and SFE at fixed stellar mass surface density.
△ Less
Submitted 21 August, 2023;
originally announced August 2023.
-
Relaxations and Exact Solutions to Quantum Max Cut via the Algebraic Structure of Swap Operators
Authors:
Adam Bene Watts,
Anirban Chowdhury,
Aidan Epperly,
J. William Helton,
Igor Klep
Abstract:
The Quantum Max Cut (QMC) problem has emerged as a test-problem for designing approximation algorithms for local Hamiltonian problems. In this paper we attack this problem using the algebraic structure of QMC, in particular the relationship between the quantum max cut Hamiltonian and the representation theory of the symmetric group.
The first major contribution of this paper is an extension of n…
▽ More
The Quantum Max Cut (QMC) problem has emerged as a test-problem for designing approximation algorithms for local Hamiltonian problems. In this paper we attack this problem using the algebraic structure of QMC, in particular the relationship between the quantum max cut Hamiltonian and the representation theory of the symmetric group.
The first major contribution of this paper is an extension of non-commutative Sum of Squares (ncSoS) optimization techniques to give a new hierarchy of relaxations to Quantum Max Cut. The hierarchy we present is based on optimizations over polynomials in the qubit swap operators. This is in contrast to the "standard" quantum Lasserre Hierarchy, which is based on polynomials expressed in terms of the Pauli matrices. To prove correctness of this hierarchy, we exploit a finite presentation of the algebra generated by the qubit swap operators. This presentation allows for the use of computer algebraic techniques to manipulate and simplify polynomials written in terms of the swap operators, and may be of independent interest. Surprisingly, we find that level-2 of this new hierarchy is numerically exact (up to tolerance 10^(-7)) on all QMC instances with uniform edge weights on graphs with at most 8 vertices.
The second major contribution of this paper is a polynomial-time algorithm that computes (in exact arithmetic) the maximum eigenvalue of the QMC Hamiltonian for certain graphs, including graphs that can be "decomposed" as a signed combination of cliques. A special case of the latter are complete bipartite graphs with uniform edge-weights, for which exact solutions are known from the work of Lieb and Mattis. Our methods, which use representation theory of the symmetric group, can be seen as a generalization of the Lieb-Mattis result.
△ Less
Submitted 24 April, 2024; v1 submitted 28 July, 2023;
originally announced July 2023.
-
VERTICO VI: Cold-gas asymmetries in Virgo cluster galaxies
Authors:
Ian D. Roberts,
Toby Brown,
Nikki Zabel,
Christine D. Wilson,
Aeree Chung,
Laura C. Parker,
Dhruv Bisaria,
Alessandro Boselli,
Barbara Catinella,
Ryan Chown,
Luca Cortese,
Timothy A. Davis,
Sara Ellison,
Maria Jesus Jimenez-Donaire,
Bumhyun Lee,
Rory Smith,
Kristine Spekkens,
Adam R. H. Stevens,
Mallory Thorp,
Vincente Villanueva,
Adam B. Watts,
Charlotte Welker,
Hyein Yoon
Abstract:
We analyze cold-gas distributions in Virgo cluster galaxies using resolved CO(2-1) (tracing molecular hydrogen, H2) and HI observations from the Virgo Environment Traced In CO (VERTICO) and the VLA Imaging of Virgo in Atomic Gas (VIVA) surveys. From a theoretical perspective, it is expected that environmental processes in clusters will have a stronger influence on diffuse atomic gas compared to th…
▽ More
We analyze cold-gas distributions in Virgo cluster galaxies using resolved CO(2-1) (tracing molecular hydrogen, H2) and HI observations from the Virgo Environment Traced In CO (VERTICO) and the VLA Imaging of Virgo in Atomic Gas (VIVA) surveys. From a theoretical perspective, it is expected that environmental processes in clusters will have a stronger influence on diffuse atomic gas compared to the relatively dense molecular gas component, and that these environmental perturbations can compress the cold interstellar medium in cluster galaxies leading to elevated star formation. In this work we observationally test these predictions for star-forming satellite galaxies within the Virgo cluster. We divide our Virgo galaxy sample into HI-normal, HI-tailed, and HI-truncated classes and show, unsurprisingly, that the HI-tailed galaxies have the largest quantitative HI asymmetries. We also compare to a control sample of non-cluster galaxies and find that Virgo galaxies, on average, have HI asymmetries that are 40 +/- 10 per cent larger than the control. There is less separation between control, HI-normal, HI-tailed, and HI-truncated galaxies in terms of H2 asymmetries, and on average, Virgo galaxies have H2 asymmetries that are only marginally (20 +/- 10 per cent) larger than the control sample. We find a weak correlation between HI and H2 asymmetries over our entire sample, but a stronger correlation for those specific galaxies being strongly impacted by environmental perturbations. Finally, we divide the discs of the HI-tailed Virgo galaxies into a leading half and trailing half according to the observed tail direction. We find evidence for excess molecular gas mass on the leading halves of the disc. This excess molecular gas on the leading half is accompanied by an excess in star formation rate such that the depletion time is, on average, unchanged.
△ Less
Submitted 24 May, 2023;
originally announced May 2023.
-
VERTICO V: The environmentally driven evolution of the inner cold gas discs of Virgo cluster galaxies
Authors:
Adam B. Watts,
Luca Cortese,
Barbara Catinella,
Toby Brown,
Christine D. Wilson,
Nikki Zabel,
Ian D. Roberts,
Timothy A. Davis,
Mallory Thorp,
Aeree Chung,
Adam R. H. Stevens,
Sara L. Ellison,
Kristine Spekkens,
Laura C. Parker,
Yannick M. Bahé,
Vicente Villanueva,
María Jiménez-Donaire,
Dhruv Bisaria,
Alessandro Boselli,
Alberto D. Bolatto,
Bumhyun Lee
Abstract:
The quenching of cluster satellite galaxies is inextricably linked to the suppression of their cold interstellar medium (ISM) by environmental mechanisms. While the removal of neutral atomic hydrogen (HI) at large radii is well studied, how the environment impacts the remaining gas in the centres of galaxies, which are dominated by molecular gas, is less clear. Using new observations from the Virg…
▽ More
The quenching of cluster satellite galaxies is inextricably linked to the suppression of their cold interstellar medium (ISM) by environmental mechanisms. While the removal of neutral atomic hydrogen (HI) at large radii is well studied, how the environment impacts the remaining gas in the centres of galaxies, which are dominated by molecular gas, is less clear. Using new observations from the Virgo Environment traced in CO survey (VERTICO) and archival HI data, we study the HI and molecular gas within the optical discs of Virgo cluster galaxies on 1.2-kpc scales with spatially resolved scaling relations between stellar ($Σ_{\star}$), HI ($Σ_\mathrm{HI}$), and molecular gas ($Σ_\mathrm{mol}$) surface densities. Adopting HI deficiency as a measure of environmental impact, we find evidence that, in addition to removing the HI at large radii, the cluster processes also lower the average $Σ_\mathrm{HI}$ of the remaining gas even in the central 1.2 kpc. The impact on molecular gas is comparatively weaker than on the HI, and we show that the lower $Σ_\mathrm{mol}$ gas is removed first. In the most HI-deficient galaxies, however, we find evidence that environmental processes reduce the typical $Σ_\mathrm{mol}$ of the remaining gas by nearly a factor of 3. We find no evidence for environment-driven elevation of $Σ_\mathrm{HI}$ or $Σ_\mathrm{mol}$ in HI-deficient galaxies. Using the ratio of $Σ_\mathrm{mol}$-to-$Σ_\mathrm{HI}$ in individual regions, we show that changes in the ISM physical conditions, estimated using the total gas surface density and midplane hydrostatic pressure, cannot explain the observed reduction in molecular gas content. Instead, we suggest that direct strip** of the molecular gas is required to explain our results.
△ Less
Submitted 13 March, 2023;
originally announced March 2023.
-
Unconditional Quantum Advantage for Sampling with Shallow Circuits
Authors:
Adam Bene Watts,
Natalie Parham
Abstract:
Recent work by Bravyi, Gosset, and Koenig showed that there exists a search problem that a constant-depth quantum circuit can solve, but that any constant-depth classical circuit with bounded fan-in cannot. They also pose the question: Can we achieve a similar proof of separation for an input-independent sampling task? In this paper, we show that the answer to this question is yes when the number…
▽ More
Recent work by Bravyi, Gosset, and Koenig showed that there exists a search problem that a constant-depth quantum circuit can solve, but that any constant-depth classical circuit with bounded fan-in cannot. They also pose the question: Can we achieve a similar proof of separation for an input-independent sampling task? In this paper, we show that the answer to this question is yes when the number of random input bits given to the classical circuit is bounded.
We introduce a distribution $D_{n}$ over $\{0,1\}^n$ and construct a constant-depth uniform quantum circuit family $\{C_n\}_n$ such that $C_n$ samples from a distribution close to $D_{n}$ in total variation distance. For any $δ< 1$ we also prove, unconditionally, that any classical circuit with bounded fan-in gates that takes as input $kn + n^δ$ i.i.d. Bernouli random variables with entropy $1/k$ and produces output close to $D_{n}$ in total variation distance has depth $Ω(\log \log n)$. This gives an unconditional proof that constant-depth quantum circuits can sample from distributions that can't be reproduced by constant-depth bounded fan-in classical circuits, even up to additive error. We also show a similar separation between constant-depth quantum circuits with advice and classical circuits with bounded fan-in and fan-out, but access to an unbounded number of i.i.d random inputs.
The distribution $D_n$ and classical circuit lower bounds are inspired by work of Viola, in which he shows a different (but related) distribution cannot be sampled from approximately by constant-depth bounded fan-in classical circuits.
△ Less
Submitted 16 March, 2024; v1 submitted 3 January, 2023;
originally announced January 2023.
-
SAMI-HI: the connection between global asymmetry in the ionised and neutral atomic hydrogen gas in galaxies
Authors:
Adam B. Watts,
Luca Cortese,
Barbara Catinella,
Chris Power,
Amelia Fraser-McKelvie,
Julia J. Bryant,
Scott M. Croom,
Jesse van de Sande,
Joss Bland-Hawthorn,
Brent Groves
Abstract:
Observations of the neutral atomic hydrogen (HI) gas in galaxies are predominantly spatially unresolved, in the form of a global HI spectral line. There has been substantial work on quantifying asymmetry in global HI spectra (`global HI asymmetry'), but due to being spatially unresolved, it remains unknown what physical regions of galaxies the asymmetry traces, and whether the other gas phases are…
▽ More
Observations of the neutral atomic hydrogen (HI) gas in galaxies are predominantly spatially unresolved, in the form of a global HI spectral line. There has been substantial work on quantifying asymmetry in global HI spectra (`global HI asymmetry'), but due to being spatially unresolved, it remains unknown what physical regions of galaxies the asymmetry traces, and whether the other gas phases are affected. Using optical integral field spectrograph (IFS) observations from the Sydney AAO Multi-object IFS (SAMI) survey for which global HI spectra are also available (SAMI-HI), we study the connection between asymmetry in galaxies' ionised and neutral gas reservoirs to test if and how they can help us better understand the origin of global HI asymmetry. We reconstruct the global H$α$ spectral line from the IFS observations and find that, while some global H$α$ asymmetries can arise from disturbed ionised gas kinematics, the majority of asymmetric cases are driven by the distribution of H$α$-emitting gas. When compared to the HI, we find no evidence for a relationship between the global H$α$ and HI asymmetry. Further, a visual inspection reveals that cases where galaxies have qualitatively similar H$α$ and HI spectral profiles can be spurious, with the similarity originating from an irregular 2D H$α$ flux distribution. Our results highlight that comparisons between global H$α$ and HI asymmetry are not straightforward, and that many global HI asymmetries trace disturbances that do not significantly impact the central regions of galaxies.
△ Less
Submitted 19 December, 2022; v1 submitted 9 December, 2022;
originally announced December 2022.
-
SAMI-HI: The HI view of the H$α$ Tully-Fisher relation and data release
Authors:
Barbara Catinella,
Luca Cortese,
Alfred L. Tiley,
Steven Janowiecki,
Adam B. Watts,
Julia J. Bryant,
Scott M. Croom,
Francesco d'Eugenio,
Jesse van de Sande,
Joss Bland-Hawthorn,
Amelia Fraser-McKelvie,
Samuel N. Richards,
Sarah M. Sweet,
Daniel J. Pisano,
Nickolas **el,
Rebecca A. Koopmann,
Dillion Cottrill,
Meghan Hill
Abstract:
We present SAMI-HI, a survey of the atomic hydrogen content of 296 galaxies with integral field spectroscopy available from the SAMI Galaxy Survey. The sample spans nearly 4 dex in stellar mass ($M_\star = 10^{7.4}-10^{11.1}~ \rm M_\odot$), redshift $z<0.06$, and includes new Arecibo observations of 153 galaxies, for which we release catalogues and HI spectra. We use these data to compare the rota…
▽ More
We present SAMI-HI, a survey of the atomic hydrogen content of 296 galaxies with integral field spectroscopy available from the SAMI Galaxy Survey. The sample spans nearly 4 dex in stellar mass ($M_\star = 10^{7.4}-10^{11.1}~ \rm M_\odot$), redshift $z<0.06$, and includes new Arecibo observations of 153 galaxies, for which we release catalogues and HI spectra. We use these data to compare the rotational velocities obtained from optical and radio observations and to show how systematic differences affect the slope and scatter of the stellar-mass and baryonic Tully-Fisher relations. Specifically, we show that H$α$ rotational velocities measured in the inner parts of galaxies (1.3 effective radii in this work) systematically underestimate HI global measurements, with HI/H$α$ velocity ratios that increase at low stellar masses, where rotation curves are typically still rising and H$α$ measurements do not reach their plateau. As a result, the H$α$ stellar mass Tully-Fisher relation is steeper (when $M_\star$ is the independent variable) and has larger scatter than its HI counterpart. Interestingly, we confirm the presence of a small fraction of low-mass outliers of the H$α$ relation that are not present when HI velocity widths are used and are not explained by "aperture effects". These appear to be highly disturbed systems for which H$α$ widths do not provide a reliable estimate of the rotational velocity. Our analysis reaffirms the importance of taking into account differences in velocity definitions as well as tracers used when interpreting offsets from the Tully-Fisher relation, at both low and high redshifts and when comparing with simulations.
△ Less
Submitted 9 December, 2022;
originally announced December 2022.
-
Quantum Event Learning and Gentle Random Measurements
Authors:
Adam Bene Watts,
John Bostanci
Abstract:
We prove the expected disturbance caused to a quantum system by a sequence of randomly ordered two-outcome projective measurements is upper bounded by the square root of the probability that at least one measurement in the sequence accepts. We call this bound the Gentle Random Measurement Lemma.
We then consider problems in which we are given sample access to an unknown state $ρ$ and asked to es…
▽ More
We prove the expected disturbance caused to a quantum system by a sequence of randomly ordered two-outcome projective measurements is upper bounded by the square root of the probability that at least one measurement in the sequence accepts. We call this bound the Gentle Random Measurement Lemma.
We then consider problems in which we are given sample access to an unknown state $ρ$ and asked to estimate properties of the accepting probabilities $\text{Tr}[M_i ρ]$ of a set of measurements $\{M_1, M_2, \ldots , M_m\}$. We call these types of problems Quantum Event Learning Problems. Using the gentle random measurement lemma, we show randomly ordering projective measurements solves the Quantum OR problem, answering an open question of Aaronson. We also give a Quantum OR protocol which works on non-projective measurements but which requires a more complicated type of measurement, which we call a Blended Measurement. Given additional guarantees on the set of measurements $\{M_1, \ldots, M_m\}$, we show the Quantum OR protocols developed in this paper can also be used to find a measurement $M_i$ such that $\text{Tr}[M_i ρ]$ is large. We also give a blended measurement based protocol for estimating the average accepting probability of a set of measurements on an unknown state.
Finally we consider the Threshold Search Problem described by O'Donnell and Bădescu. By building on our Quantum Event Finding result we show that randomly ordered (or blended) measurements can be used to solve this problem using $O(\log^2(m) / ε^2)$ copies of $ρ$. Consequently, we obtain an algorithm for Shadow Tomography which requires $\tilde{O}(\log^2(m)\log(d)/ε^4)$ samples, matching the current best known sample complexity. This algorithm does not require injected noise in the quantum measurements, but does require measurements to be made in a random order and so is no longer online.
△ Less
Submitted 8 March, 2024; v1 submitted 17 October, 2022;
originally announced October 2022.
-
Satisfiability Phase Transtion for Random Quantum 3XOR Games
Authors:
Adam Bene Watts,
J. William Helton,
Zehong Zhao
Abstract:
Recent results showed it was possible to determine if a modest size 3XOR game has a perfect quantum strategy. We build on these and give an explicit polynomial time algorithm which constructs such a perfect strategy or refutes its existence. This new tool lets us numerically study the behavior of randomly generated 3XOR games with large numbers of questions.
A key issue is: how common are pseudo…
▽ More
Recent results showed it was possible to determine if a modest size 3XOR game has a perfect quantum strategy. We build on these and give an explicit polynomial time algorithm which constructs such a perfect strategy or refutes its existence. This new tool lets us numerically study the behavior of randomly generated 3XOR games with large numbers of questions.
A key issue is: how common are pseudotelephathy games (games with perfect quantum strategies but no perfect classical strategies)? Our experiments strongly indicate that the probability of a randomly generated game being pseudotelpathic stays far from 1, indeed it is bounded below 0.15.
We also find strong evidence that randomly generated 3XOR games undergo both a quantum and classical "phase transition", transitioning from almost certainly perfect to almost certainly imperfect as the ratio of number of clauses ($m$) to number of questions ($n$) increases. The locations of these two phase transitions appear to coincide at $m/n \approx 2.74$.
△ Less
Submitted 10 September, 2022;
originally announced September 2022.
-
Noncommutative Nullstellensätze and Perfect Games
Authors:
Adam Bene Watts,
John William Helton,
Igor Klep
Abstract:
The foundations of classical Algebraic Geometry and Real Algebraic Geometry are the Nullstellensatz and Positivstellensatz. Over the last two decades the basic analogous theorems for matrix and operator theory (noncommutative variables) have emerged. This paper concerns commuting operator strategies for nonlocal games, recalls NC Nullstellensatz which are helpful, extends these, and applies them t…
▽ More
The foundations of classical Algebraic Geometry and Real Algebraic Geometry are the Nullstellensatz and Positivstellensatz. Over the last two decades the basic analogous theorems for matrix and operator theory (noncommutative variables) have emerged. This paper concerns commuting operator strategies for nonlocal games, recalls NC Nullstellensatz which are helpful, extends these, and applies them to a very broad collection of games. In the process it brings together results spread over different literatures, hence rather than being terse, our style is fairly expository.
The main results of this paper are two characterizations, based on Nullstellensatz, which apply to games with perfect commuting operator strategies. The first applies to all games and reduces the question of whether or not a game has a perfect commuting operator strategy to a question involving left ideals and sums of squares. Previously, Paulsen and others translated the study of perfect synchronous games to problems entirely involving a $*$-algebra.The characterization we present is analogous, but works for all games. The second characterization is based on a new Nullstellensatz we derive in this paper. It applies to a class of games we call torically determined games, special cases of which are XOR and linear system games. For these games we show the question of whether or not a game has a perfect commuting operator strategy reduces to instances of the subgroup membership problem and, for linear systems games, we further show this subgroup membership characterization is equivalent to the standard characterization of perfect commuting operator strategies in terms of solution groups. Both the general and torically determined games characterizations are amenable to computer algebra techniques, which we also develop.
△ Less
Submitted 1 December, 2021; v1 submitted 29 November, 2021;
originally announced November 2021.
-
On the relationship between gas content, star-formation, and global HI asymmetry of galaxies on the star-forming main-sequence
Authors:
Adam B. Watts,
Barbara Catinella,
Luca Cortese,
Chris Power,
Sara L. Ellison
Abstract:
Observations have revealed that disturbances in the cold neutral atomic hydrogen (HI) in galaxies are ubiquitous, but the reasons for these disturbances remain unclear. While some studies suggest that asymmetries in integrated HI spectra (global HI asymmetry) are higher in HI-rich systems, others claim that they are preferentially found in HI-poor galaxies. In this work, we utilise the ALFALFA and…
▽ More
Observations have revealed that disturbances in the cold neutral atomic hydrogen (HI) in galaxies are ubiquitous, but the reasons for these disturbances remain unclear. While some studies suggest that asymmetries in integrated HI spectra (global HI asymmetry) are higher in HI-rich systems, others claim that they are preferentially found in HI-poor galaxies. In this work, we utilise the ALFALFA and xGASS surveys, plus a sample of post-merger galaxies, to clarify the link between global HI asymmetry and the gas properties of galaxies. Focusing on star-forming galaxies in ALFALFA, we find that elevated global HI asymmetry is not associated with a change in the HI content of a galaxy, and that only the galaxies with the highest global HI asymmetry show a small increase in specific star-formation rate (sSFR). However, we show that the lack of a trend with HI content is because ALFALFA misses the gas-poor tail of the star-forming main-sequence. Using xGASS to obtain a sample of star-forming galaxies that is representative in both sSFR and HI content, we find that global HI asymmetric galaxies are typically more gas-poor than symmetric ones at fixed stellar mass, with no change in sSFR. Our results highlight the complexity of the connection between galaxy properties and global HI asymmetry. This is further confirmed by the fact that even post-merger galaxies show both symmetric and asymmetric HI spectra, demonstrating that merger activity does not always lead to an asymmetric global HI spectrum.
△ Less
Submitted 13 April, 2021;
originally announced April 2021.
-
3XOR Games with Perfect Commuting Operator Strategies Have Perfect Tensor Product Strategies and are Decidable in Polynomial Time
Authors:
Adam Bene Watts,
J. William Helton
Abstract:
We consider 3XOR games with perfect commuting operator strategies. Given any 3XOR game, we show existence of a perfect commuting operator strategy for the game can be decided in polynomial time. Previously this problem was not known to be decidable. Our proof leads to a construction, showing a 3XOR game has a perfect commuting operator strategy iff it has a perfect tensor product strategy using a…
▽ More
We consider 3XOR games with perfect commuting operator strategies. Given any 3XOR game, we show existence of a perfect commuting operator strategy for the game can be decided in polynomial time. Previously this problem was not known to be decidable. Our proof leads to a construction, showing a 3XOR game has a perfect commuting operator strategy iff it has a perfect tensor product strategy using a 3 qubit (8 dimensional) GHZ state. This shows that for perfect 3XOR games the advantage of a quantum strategy over a classical strategy (defined by the quantum-classical bias ratio) is bounded. This is in contrast to the general 3XOR case where the optimal quantum strategies can require high dimensional states and there is no bound on the quantum advantage.
To prove these results, we first show equivalence between deciding the value of an XOR game and solving an instance of the subgroup membership problem on a class of right angled Coxeter groups. We then show, in a proof that consumes most of this paper, that the instances of this problem corresponding to 3XOR games can be solved in polynomial time.
△ Less
Submitted 8 August, 2023; v1 submitted 30 October, 2020;
originally announced October 2020.
-
Global HI asymmetries in IllustrisTNG: a diversity of physical processes disturb the cold gas in galaxies
Authors:
Adam B. Watts,
Chris Power,
Barbara Catinella,
Luca Cortese,
Adam R. H. Stevens
Abstract:
Observations of the cold neutral atomic hydrogen (HI) in and around disc galaxies have revealed that spatial and kinematic asymmetries are commonplace, and are reflected in the global HI spectra. We use the TNG100 box from the IllustrisTNG suite of cosmological simulations to study the conditions under which these asymmetries may arise in current theoretical galaxy formation models. We find that m…
▽ More
Observations of the cold neutral atomic hydrogen (HI) in and around disc galaxies have revealed that spatial and kinematic asymmetries are commonplace, and are reflected in the global HI spectra. We use the TNG100 box from the IllustrisTNG suite of cosmological simulations to study the conditions under which these asymmetries may arise in current theoretical galaxy formation models. We find that more than 50% of the sample has at least a 10% difference in integrated flux between the high- and low-velocity half of the spectrum, thus the typical TNG100 galaxy has an HI profile that is not fully symmetric. We find that satellite galaxies are a more asymmetric population than centrals, consistent with observational results. Using halo mass as a proxy for environment, this trend appears to be driven by the satellite population within the virial radius of haloes more massive than $10^{13} M_{\odot}$, typical of medium/large groups. We show that, while the excess of HI asymmetry in group satellites is likely driven by ram pressure, the bulk of the asymmetric HI profiles observed in TNG100 are driven by physical processes able to affect both the central and satellite populations. Our results highlight how asymmetries are not driven solely by environment, and multiple physical processes can produce the same asymmetric shape in global HI spectra.
△ Less
Submitted 11 October, 2020;
originally announced October 2020.
-
xGASS: Robust quantification of asymmetries in global HI spectra and their relationship to environmental processes
Authors:
Adam B. Watts,
Barbara Catinella,
Luca Cortese,
Chris Power
Abstract:
We present an analysis of asymmetries in global HI spectra from the extended GALEX Arecibo SDSS Survey (xGASS), a stellar mass-selected and gas fraction-limited survey which is representative of the HI properties of galaxies in the local Universe. We demonstrate that the asymmetry in a HI spectrum is strongly linked to its signal-to-noise meaning that, contrary to what was done in previous works,…
▽ More
We present an analysis of asymmetries in global HI spectra from the extended GALEX Arecibo SDSS Survey (xGASS), a stellar mass-selected and gas fraction-limited survey which is representative of the HI properties of galaxies in the local Universe. We demonstrate that the asymmetry in a HI spectrum is strongly linked to its signal-to-noise meaning that, contrary to what was done in previous works, asymmetry distributions for different samples cannot be compared at face value. We develop a method to account for noise-induced asymmetry and find that the typical galaxy detected by xGASS exhibits higher asymmetry than what can be attributed to noise alone, with 37% of the sample showing asymmetry greater than 10% at an 80% confidence level. We find that asymmetric galaxies contain, on average, 29% less HI mass compared to their symmetric counterparts matched in both stellar mass and signal-to-noise. We also present clear evidence that satellite galaxies, as a population, exhibit more asymmetric HI spectra than centrals and that group central galaxies show a slightly higher rate of HI asymmetries compared to isolated centrals. All these results support a scenario in which environmental processes, in particular those responsible for gas removal, are the dominant driver of asymmetry in xGASS.
△ Less
Submitted 12 January, 2020;
originally announced January 2020.
-
Nonlinear Bell inequality for macroscopic measurements
Authors:
Adam Bene Watts,
Nicole Yunger Halpern,
Aram Harrow
Abstract:
The correspondence principle suggests that quantum systems grow classical when large. Classical systems cannot violate Bell inequalities. Yet agents given substantial control can violate Bell inequalities proven for large-scale systems. We consider agents who have little control, implementing only general operations suited to macroscopic experimentalists: preparing small-scale entanglement and mea…
▽ More
The correspondence principle suggests that quantum systems grow classical when large. Classical systems cannot violate Bell inequalities. Yet agents given substantial control can violate Bell inequalities proven for large-scale systems. We consider agents who have little control, implementing only general operations suited to macroscopic experimentalists: preparing small-scale entanglement and measuring macroscopic properties while suffering from noise. That experimentalists so restricted can violate a Bell inequality appears unlikely, in light of earlier literature. Yet we prove a Bell inequality that such an agent can violate, even if experimental errors have variances that scale as the system size. A violation implies nonclassicality, given limitations on particles' interactions. A product of singlets violates the inequality; experimental tests are feasible for photons, solid-state systems, atoms, and trapped ions. Consistently with known results, violations of our Bell inequality cannot disprove local hidden-variables theories. By rejecting the disproof goal, we show, one can certify nonclassical correlations under reasonable experimental assumptions.
△ Less
Submitted 2 February, 2021; v1 submitted 20 November, 2019;
originally announced November 2019.
-
The Initial Mass Function in the Extended Ultraviolet Disk of M83
Authors:
Sarah M. Bruzzese,
David A. Thilker,
Gerhardt Meurer,
Luciana Bianchi,
Adam B. Watts,
Annette M. N. Ferguson,
Armando Gil de Paz,
Barry F. Madore,
D. Christopher Martin,
R. Michael Rich
Abstract:
Using Hubble Space Telescope ACS/WFC data we present the photometry and spatial distribution of resolved stellar populations of four fields within the extended ultraviolet disk (XUV disk) of M83. These observations show a clumpy distribution of main-sequence stars and a mostly smooth distribution of red giant branch stars. We constrain the upper-end of the initial mass function (IMF) in the outer…
▽ More
Using Hubble Space Telescope ACS/WFC data we present the photometry and spatial distribution of resolved stellar populations of four fields within the extended ultraviolet disk (XUV disk) of M83. These observations show a clumpy distribution of main-sequence stars and a mostly smooth distribution of red giant branch stars. We constrain the upper-end of the initial mass function (IMF) in the outer disk using the detected population of main-sequence stars and an assumed constant star formation rate (SFR) over the last 300 Myr. By comparing the observed main-sequence luminosity function to simulations, we determine the best-fitting IMF to have a power law slope $α=-2.35 \pm 0.3$ and an upper-mass limit $\rm M_{u}=25_{-3}^{+17} \, M_\odot$. This IMF is consistent with the observed H$α$ emission, which we use to provide additional constraints on the IMF. We explore the influence of deviations from the constant SFR assumption, finding that our IMF conclusions are robust against all but strong recent variations in SFR, but these are excluded by causality arguments. These results, along with our similar studies of other nearby galaxies, indicate that some XUV disks are deficient in high-mass stars compared to a Kroupa IMF. There are over one hundred galaxies within 5 Mpc, many already observed with HST, thus allowing a more comprehensive investigation of the IMF, and how it varies, using the techniques developed here.
△ Less
Submitted 11 November, 2019; v1 submitted 9 November, 2019;
originally announced November 2019.
-
Exponential separation between shallow quantum circuits and unbounded fan-in shallow classical circuits
Authors:
Adam Bene Watts,
Robin Kothari,
Luke Schaeffer,
Avishay Tal
Abstract:
Recently, Bravyi, Gosset, and König (Science, 2018) exhibited a search problem called the 2D Hidden Linear Function (2D HLF) problem that can be solved exactly by a constant-depth quantum circuit using bounded fan-in gates (or QNC^0 circuits), but cannot be solved by any constant-depth classical circuit using bounded fan-in AND, OR, and NOT gates (or NC^0 circuits). In other words, they exhibited…
▽ More
Recently, Bravyi, Gosset, and König (Science, 2018) exhibited a search problem called the 2D Hidden Linear Function (2D HLF) problem that can be solved exactly by a constant-depth quantum circuit using bounded fan-in gates (or QNC^0 circuits), but cannot be solved by any constant-depth classical circuit using bounded fan-in AND, OR, and NOT gates (or NC^0 circuits). In other words, they exhibited a search problem in QNC^0 that is not in NC^0.
We strengthen their result by proving that the 2D HLF problem is not contained in AC^0, the class of classical, polynomial-size, constant-depth circuits over the gate set of unbounded fan-in AND and OR gates, and NOT gates. We also supplement this worst-case lower bound with an average-case result: There exists a simple distribution under which any AC^0 circuit (even of nearly exponential size) has exponentially small correlation with the 2D HLF problem. Our results are shown by constructing a new problem in QNC^0, which we call the Relaxed Parity Halving Problem, which is easier to work with. We prove our AC^0 lower bounds for this problem, and then show that it reduces to the 2D HLF problem.
As a step towards even stronger lower bounds, we present a search problem that we call the Parity Bending Problem, which is in QNC^0/qpoly (QNC^0 circuits that are allowed to start with a quantum state of their choice that is independent of the input), but is not even in AC^0[2] (the class AC^0 with unbounded fan-in XOR gates).
All the quantum circuits in our paper are simple, and the main difficulty lies in proving the classical lower bounds. For this we employ a host of techniques, including a refinement of Håstad's switching lemmas for multi-output circuits that may be of independent interest, the Razborov-Smolensky AC^0[2] lower bound, Vazirani's XOR lemma, and lower bounds for non-local games.
△ Less
Submitted 20 June, 2019;
originally announced June 2019.
-
Star formation in the outskirts of DDO 154: A top-light IMF in a nearly dormant disc
Authors:
Adam B. Watts,
Gerhardt R. Meurer,
Claudia D. P. Lagos,
Sarah M. Bruzzese,
Pavel Kroupa,
Tereza Jerabkova
Abstract:
We present optical photometry of Hubble Space Telescope (HST) ACS/WFC data of the resolved stellar populations in the outer disc of the dwarf irregular galaxy DDO 154. The photometry reveals that young main sequence stars are almost absent from the outermost HI disc. Instead, most are clustered near the main stellar component of the galaxy. We constrain the stellar initial mass function (IMF) by c…
▽ More
We present optical photometry of Hubble Space Telescope (HST) ACS/WFC data of the resolved stellar populations in the outer disc of the dwarf irregular galaxy DDO 154. The photometry reveals that young main sequence stars are almost absent from the outermost HI disc. Instead, most are clustered near the main stellar component of the galaxy. We constrain the stellar initial mass function (IMF) by comparing the luminosity function of the main sequence stars to simulated stellar populations assuming a constant star formation rate over the dynamical timescale. The best-fitting IMF is deficient in high mass stars compared to a canonical Kroupa IMF, with a best-fit slope $α= -2.45$ and upper mass limit $M_U = 16\ M_{\odot}$. This top-light IMF is consistent with predictions of the Integrated Galaxy-wide IMF theory. Combining the HST images with HI data from The HI Nearby Galaxy Survey Treasury (THINGS) we determine the star formation law (SFL) in the outer disc. The fit has a power law exponent $N = 2.92 \pm0.22$ and zero point $A=4.47 \pm 0.65 \times 10^{-7} \ M_{\odot} \ \text{yr}^{-1} \ \text{kpc}^{-2}$. This is depressed compared to the Kennicutt-Schmidt Star Formation Law, but consistent with weak star formation observed in diffuse HI environments. Extrapolating the SFL over the outer disc implies that there could be significant star formation occurring that is not detectable in H$α$. Last, we determine the Toomre stability parameter $Q$ of the outer disc of DDO 154 using the THINGS HI rotation curve and velocity dispersion map. 72% of the HI in our field has $Q\leq 4$ and this incorporates 96% of the observed MS stars. Hence 28% of the HI in the field is largely dormant.
△ Less
Submitted 19 April, 2018;
originally announced April 2018.
-
Algorithms, Bounds, and Strategies for Entangled XOR Games
Authors:
Adam Bene Watts,
Aram W. Harrow,
Gurtej Kanwar,
Anand Natarajan
Abstract:
We study the complexity of computing the commuting-operator value $ω^*$ of entangled XOR games with any number of players. We introduce necessary and sufficient criteria for an XOR game to have $ω^* = 1$, and use these criteria to derive the following results:
1. An algorithm for symmetric games that decides in polynomial time whether $ω^* = 1$ or $ω^* < 1$, a task that was not previously known…
▽ More
We study the complexity of computing the commuting-operator value $ω^*$ of entangled XOR games with any number of players. We introduce necessary and sufficient criteria for an XOR game to have $ω^* = 1$, and use these criteria to derive the following results:
1. An algorithm for symmetric games that decides in polynomial time whether $ω^* = 1$ or $ω^* < 1$, a task that was not previously known to be decidable, together with a simple tensor-product strategy that achieves value 1 in the former case. The only previous candidate algorithm for this problem was the Navascués-Pironio-Acín (also known as noncommutative Sum of Squares or ncSoS) hierarchy, but no convergence bounds were known.
2. A family of games with three players and with $ω^* < 1$, where it takes doubly exponential time for the ncSoS algorithm to witness this (in contrast with our algorithm which runs in polynomial time).
3. A family of games achieving a bias difference $2(ω^* - ω)$ arbitrarily close to the maximum possible value of $1$ (and as a consequence, achieving an unbounded bias ratio), answering an open question of Briët and Vidick.
4. Existence of an unsatisfiable phase for random (non-symmetric) XOR games: that is, we show that there exists a constant $C_k^{\text{unsat}}$ depending only on the number $k$ of players, such that a random $k$-XOR game over an alphabet of size $n$ has $ω^* < 1$ with high probability when the number of clauses is above $C_k^{\text{unsat}} n$.
5. A lower bound of $Ω(n \log(n)/\log\log(n))$ on the number of levels in the ncSoS hierarchy required to detect unsatisfiability for most random 3-XOR games. This is in contrast with the classical case where the $n$-th level of the sum-of-squares hierarchy is equivalent to brute-force enumeration of all possible solutions.
△ Less
Submitted 2 January, 2018;
originally announced January 2018.
-
A Turán theorem for extensions via an Erdős-Ko-Rado theorem for Lagrangians
Authors:
Adam Bene Watts,
Sergey Norin,
Liana Yepremyan
Abstract:
The extension of an $r$-uniform hypergraph $G$ is obtained from it by adding for every pair of vertices of $G$, which is not covered by an edge in $G$, an extra edge containing this pair and $(r-2)$ new vertices. In this paper we determine the Turán number of the extension of an $r$-graph consisting of two vertex-disjoint edges, settling a conjecture of Hefetz and Keevash, who previously determine…
▽ More
The extension of an $r$-uniform hypergraph $G$ is obtained from it by adding for every pair of vertices of $G$, which is not covered by an edge in $G$, an extra edge containing this pair and $(r-2)$ new vertices. In this paper we determine the Turán number of the extension of an $r$-graph consisting of two vertex-disjoint edges, settling a conjecture of Hefetz and Keevash, who previously determined this Turán number for $r=3$. As the key ingredient of the proof we show that the Lagrangian of intersecting $r$-graphs is maximized by principally intersecting $r$-graphs for $r \geq 4$.
△ Less
Submitted 5 July, 2017;
originally announced July 2017.
-
Acyclic edge colourings of graphs with large girth
Authors:
Xing Shi Cai,
Guillem Perarnau,
Bruce Reed,
Adam Bene Watts
Abstract:
An edge colouring of a graph $G$ is called acyclic if it is proper and every cycle contains at least three colours. We show that for every $\varepsilon>0$, there exists a $g=g(\varepsilon)$ such that if $G$ has girth at least $g$ then $G$ admits an acyclic edge colouring with at most $(1+\varepsilon)Δ$ colours.
An edge colouring of a graph $G$ is called acyclic if it is proper and every cycle contains at least three colours. We show that for every $\varepsilon>0$, there exists a $g=g(\varepsilon)$ such that if $G$ has girth at least $g$ then $G$ admits an acyclic edge colouring with at most $(1+\varepsilon)Δ$ colours.
△ Less
Submitted 23 June, 2016; v1 submitted 11 November, 2014;
originally announced November 2014.
