Showing 51–100 of 216 results for author: Peterson, C

Bound states at partial dislocation defects in multipole higher-order topological insulators

Authors: Sasha S. Yamada, Tianhe Li, Mao Lin, Christopher W. Peterson, Taylor L. Hughes, Gaurav Bahl

Abstract: The bulk-boundary correspondence, which links a bulk topological property of a material to the existence of robust boundary states, is a hallmark of topological insulators. However, in crystalline topological materials the presence of boundary states in the insulating gap is not always necessary since they can be hidden in the bulk energy bands, obscured by boundary artifacts of non-topological or… ▽ More The bulk-boundary correspondence, which links a bulk topological property of a material to the existence of robust boundary states, is a hallmark of topological insulators. However, in crystalline topological materials the presence of boundary states in the insulating gap is not always necessary since they can be hidden in the bulk energy bands, obscured by boundary artifacts of non-topological origin, or, in the case of higher-order topology, they can be gapped altogether. Crucially, in such systems the interplay between symmetry-protected topology and the corresponding symmetry defects can provide a variety of bulk probes to reveal their topological nature. For example, bulk crystallographic defects, such as disclinations and dislocations, have been shown to bind fractional charges and/or robust localized bound states in insulators protected by crystalline symmetries. Recently, exotic defects of translation symmetry called partial dislocations have been proposed as a probe of higher-order topology. However, it is a herculean task to have experimental control over the generation and probing of isolated defects in solid-state systems; hence their use as a bulk probe of topology faces many challenges. Instead, here we show that partial dislocation probes of higher-order topology are ideally suited to the context of engineered materials. Indeed, we present the first observations of partial-dislocation-induced topological modes in 2D and 3D higher-order topological insulators built from circuit-based resonator arrays. While rotational defects (disclinations) have previously been shown to indicate higher-order topology, our work provides the first experimental evidence that exotic translation defects (partial dislocations) are bulk topological probes. △ Less

Submitted 3 May, 2021; originally announced May 2021.

Spontaneous Lorentz violation and asymptotic flatness

Authors: Yuri Bonder, Christian Peterson

Abstract: The Standard Model Extension (SME) is a generic parametrization for Lorentz violation and the phenomenological consequences of the minimal gravity sector of the SME are usually studied using a post-Newtonian expansion that requires spacetime to be asymptotically flat. However, there is a term in this sector for which these approximations are unable to make predictions; this is known as the $t$ puz… ▽ More The Standard Model Extension (SME) is a generic parametrization for Lorentz violation and the phenomenological consequences of the minimal gravity sector of the SME are usually studied using a post-Newtonian expansion that requires spacetime to be asymptotically flat. However, there is a term in this sector for which these approximations are unable to make predictions; this is known as the $t$ puzzle. The present paper studies a model of spontaneous Lorentz violation in the minimal gravity sector of the SME in a static and spherically symmetric situation, when no additional matter fields are present. It is shown that, under the above mentioned assumptions, $t$ is the only term in the minimal gravity sector for which no asymptotically flat solutions exist. This stems from the fact that the $t$ term fixes the asymptotic behavior of all the pieces of the curvature tensor. △ Less

Submitted 28 April, 2021; v1 submitted 12 March, 2021; originally announced March 2021.

Comments: 8 pages + 3 pages (Appendices); accepted in PRD

Journal ref: Phys. Rev. D 103, 104016 (2021)

Meta-analysis of Censored Adverse Events

Authors: Xinyue Qi, Shouhao Zhou, Christine B. Peterson, Yucai Wang, Xinying Fang, Michael L. Wang, Chan Shen

Abstract: Meta-analysis is a powerful tool for assessing drug safety by combining treatment-related toxicological findings across multiple studies, as clinical trials are typically underpowered for detecting adverse drug effects. However, incomplete reporting of adverse events (AEs) in published clinical studies is a frequent issue, especially if the observed number of AEs is below a pre-specified study-dep… ▽ More Meta-analysis is a powerful tool for assessing drug safety by combining treatment-related toxicological findings across multiple studies, as clinical trials are typically underpowered for detecting adverse drug effects. However, incomplete reporting of adverse events (AEs) in published clinical studies is a frequent issue, especially if the observed number of AEs is below a pre-specified study-dependent threshold. Ignoring the censored AE information, often found in lower frequency, can significantly bias the estimated incidence rate of AEs. Despite its importance, this common meta-analysis problem has received little statistical or analytic attention in the literature. To address this challenge, we propose a Bayesian approach to accommodating the censored and possibly rare AEs for meta-analysis of safety data. Through simulation studies, we demonstrate that the proposed method can improves accuracy in point and interval estimation of incidence probabilities, particularly in the presence of censored data. Overall, the proposed method provides a practical solution that can facilitate better-informed decisions regarding drug safety. △ Less

Submitted 8 February, 2024; v1 submitted 19 January, 2021; originally announced January 2021.

Locally Linear Attributes of ReLU Neural Networks

Authors: Ben Sattelberg, Renzo Cavalieri, Michael Kirby, Chris Peterson, Ross Beveridge

Abstract: A ReLU neural network determines/is a continuous piecewise linear map from an input space to an output space. The weights in the neural network determine a decomposition of the input space into convex polytopes and on each of these polytopes the network can be described by a single affine map**. The structure of the decomposition, together with the affine map attached to each polytope, can be an… ▽ More A ReLU neural network determines/is a continuous piecewise linear map from an input space to an output space. The weights in the neural network determine a decomposition of the input space into convex polytopes and on each of these polytopes the network can be described by a single affine map**. The structure of the decomposition, together with the affine map attached to each polytope, can be analyzed to investigate the behavior of the associated neural network. △ Less

Submitted 30 November, 2020; originally announced December 2020.

Comments: 18 pages, 12 figures, 2 tables, submitted to SIMODS

aether: Distributed system emulation in Common Lisp

Authors: Eric C. Peterson, Peter J. Karalekas

Abstract: We describe a Common Lisp package suitable for the high-level design, specification, simulation, and instrumentation of real-time distributed algorithms and hardware on which to run them. We discuss various design decisions around the package structure, and we explore their consequences with small examples. We describe a Common Lisp package suitable for the high-level design, specification, simulation, and instrumentation of real-time distributed algorithms and hardware on which to run them. We discuss various design decisions around the package structure, and we explore their consequences with small examples. △ Less

Submitted 23 April, 2021; v1 submitted 11 November, 2020; originally announced November 2020.

Comments: Final, for-publication version

ACM Class: C.3; D.3.2

Journal ref: Proceedings of the 14th European Lisp Symposium (2021)

Composite Higgs scenario in mass-split models

Authors: Oliver Witzel, Anna Hasenfratz, Curtis T. Peterson

Abstract: Mass-split composite Higgs models naturally accommodate the experimental observation of a light 125 GeV Higgs boson and predict a large scale separation to other heavier resonances. We explore the SU(3) gauge system with four light (massless) and six heavy (massive) flavors by performing numerical simulations. Since the underlying system with degenerate and massless ten flavors appears to be infra… ▽ More Mass-split composite Higgs models naturally accommodate the experimental observation of a light 125 GeV Higgs boson and predict a large scale separation to other heavier resonances. We explore the SU(3) gauge system with four light (massless) and six heavy (massive) flavors by performing numerical simulations. Since the underlying system with degenerate and massless ten flavors appears to be infrared conformal, this system inherits conformal hyperscaling and allows to study near-conformal dynamics. Carrying out nonperturbative lattice field theory simulations, we present the low-lying particle spectrum. We demonstrate hyperscaling, predict the anomalous mass dimension of the corresponding conformal fixed point, and show that in the investigated mass regime the data are described by dilaton chiral perturbation theory. The proximity of a conformal infrared fixed point leads to a highly predictive particle spectrum which is quite distinct from QCD. Further we present initial results of our finite temperature investigations. △ Less

Submitted 10 November, 2020; originally announced November 2020.

Comments: 6 pages, 2 figures, Proceedings of The 40th International Conference on High Energy Physics, ICHEP-2020; Jul 28-Aug 6, 2020, Prague, Czech Republic

Report number: SI-HEP-2020-28

Latent Network Estimation and Variable Selection for Compositional Data via Variational EM

Authors: Nathan Osborne, Christine B. Peterson, Marina Vannucci

Abstract: Network estimation and variable selection have been extensively studied in the statistical literature, but only recently have those two challenges been addressed simultaneously. In this paper, we seek to develop a novel method to simultaneously estimate network interactions and associations to relevant covariates for count data, and specifically for compositional data, which have a fixed sum const… ▽ More Network estimation and variable selection have been extensively studied in the statistical literature, but only recently have those two challenges been addressed simultaneously. In this paper, we seek to develop a novel method to simultaneously estimate network interactions and associations to relevant covariates for count data, and specifically for compositional data, which have a fixed sum constraint. We use a hierarchical Bayesian model with latent layers and employ spike-and-slab priors for both edge and covariate selection. For posterior inference, we develop a novel variational inference scheme with an expectation maximization step, to enable efficient estimation. Through simulation studies, we demonstrate that the proposed model outperforms existing methods in its accuracy of network recovery. We show the practical utility of our model via an application to microbiome data. The human microbiome has been shown to contribute to many of the functions of the human body, and also to be linked with a number of diseases. In our application, we seek to better understand the interaction between microbes and relevant covariates, as well as the interaction of microbes with each other. We provide a Python implementation of our algorithm, called SINC (Simultaneous Inference for Networks and Covariates), available online. △ Less

Submitted 8 April, 2021; v1 submitted 25 October, 2020; originally announced October 2020.

Journal ref: Journal of Computational and Graphical Statistics, 31(1), 163-175 (2022)

On-chip optical non-reciprocity through a synthetic Hall effect for photons

Authors: Soonwook Kim, Donggyu B. Sohn, Christopher W. Peterson, Gaurav Bahl

Abstract: We demonstrate a synthetic Hall effect for light, using an acousto-optically modulated nanophotonic resonator chain. To produce this effect, we simultaneously generate the required synthetic electric field using temporal modulation, and the required synthetic magnetic field using spatial modulation of the resonator chain. We show how the combination of these synthetic fields transverse to the dire… ▽ More We demonstrate a synthetic Hall effect for light, using an acousto-optically modulated nanophotonic resonator chain. To produce this effect, we simultaneously generate the required synthetic electric field using temporal modulation, and the required synthetic magnetic field using spatial modulation of the resonator chain. We show how the combination of these synthetic fields transverse to the direction of light propagation can be used to produce non-reciprocal optical transmission, as a basis for new photonic and topological devices. △ Less

Submitted 21 October, 2020; originally announced October 2020.

Sparse tree-based clustering of microbiome data to characterize microbiome heterogeneity in pancreatic cancer

Authors: Yushu Shi, Liangliang Zhang, Kim-Anh Do, Robert Jenq, Christine Peterson

Abstract: There is a keen interest in characterizing variation in the microbiome across cancer patients, given increasing evidence of its important role in determining treatment outcomes. Here our goal is to discover subgroups of patients with similar microbiome profiles. We propose a novel unsupervised clustering approach in the Bayesian framework that innovates over existing model-based clustering approac… ▽ More There is a keen interest in characterizing variation in the microbiome across cancer patients, given increasing evidence of its important role in determining treatment outcomes. Here our goal is to discover subgroups of patients with similar microbiome profiles. We propose a novel unsupervised clustering approach in the Bayesian framework that innovates over existing model-based clustering approaches, such as the Dirichlet multinomial mixture model, in three key respects: we incorporate feature selection, learn the appropriate number of clusters from the data, and integrate information on the tree structure relating the observed features. We compare the performance of our proposed method to existing methods on simulated data designed to mimic real microbiome data. We then illustrate results obtained for our motivating data set, a clinical study aimed at characterizing the tumor microbiome of pancreatic cancer patients. △ Less

Submitted 2 December, 2022; v1 submitted 30 July, 2020; originally announced July 2020.

End-to-end Deep Prototype and Exemplar Models for Predicting Human Behavior

Authors: Pulkit Singh, Joshua C. Peterson, Ruairidh M. Battleday, Thomas L. Griffiths

Abstract: Traditional models of category learning in psychology focus on representation at the category level as opposed to the stimulus level, even though the two are likely to interact. The stimulus representations employed in such models are either hand-designed by the experimenter, inferred circuitously from human judgments, or borrowed from pretrained deep neural networks that are themselves competing… ▽ More Traditional models of category learning in psychology focus on representation at the category level as opposed to the stimulus level, even though the two are likely to interact. The stimulus representations employed in such models are either hand-designed by the experimenter, inferred circuitously from human judgments, or borrowed from pretrained deep neural networks that are themselves competing models of category learning. In this work, we extend classic prototype and exemplar models to learn both stimulus and category representations jointly from raw input. This new class of models can be parameterized by deep neural networks (DNN) and trained end-to-end. Following their namesakes, we refer to them as Deep Prototype Models, Deep Exemplar Models, and Deep Gaussian Mixture Models. Compared to typical DNNs, we find that their cognitively inspired counterparts both provide better intrinsic fit to human behavior and improve ground-truth classification. △ Less

Submitted 16 July, 2020; originally announced July 2020.

Comments: 7 pages, 4 figures, 2 tables. Accepted as a paper to the 42nd Annual Meeting of the Cognitive Science Society (CogSci 2020)

The flag manifold as a tool for analyzing and comparing data sets

Authors: Xiaofeng Ma, Michael Kirby, Chris Peterson

Abstract: The shape and orientation of data clouds reflect variability in observations that can confound pattern recognition systems. Subspace methods, utilizing Grassmann manifolds, have been a great aid in dealing with such variability. However, this usefulness begins to falter when the data cloud contains sufficiently many outliers corresponding to stray elements from another class or when the number of… ▽ More The shape and orientation of data clouds reflect variability in observations that can confound pattern recognition systems. Subspace methods, utilizing Grassmann manifolds, have been a great aid in dealing with such variability. However, this usefulness begins to falter when the data cloud contains sufficiently many outliers corresponding to stray elements from another class or when the number of data points is larger than the number of features. We illustrate how nested subspace methods, utilizing flag manifolds, can help to deal with such additional confounding factors. Flag manifolds, which are parameter spaces for nested subspaces, are a natural geometric generalization of Grassmann manifolds. To make practical comparisons on a flag manifold, algorithms are proposed for determining the distances between points $[A], [B]$ on a flag manifold, where $A$ and $B$ are arbitrary orthogonal matrix representatives for $[A]$ and $[B]$, and for determining the initial direction of these minimal length geodesics. The approach is illustrated in the context of (hyper) spectral imagery showing the impact of ambient dimension, sample dimension, and flag structure. △ Less

Submitted 24 June, 2020; originally announced June 2020.

Comments: 15 pages, 8 figures

MSC Class: 65F45; 62H35; 68T10

ProgPermute: Progressive permutation for a dynamic representation of the robustness of microbiome discoveries

Authors: Liangliang Zhang, Yushu Shi, Kim-Anh Do, Christine B. Peterson, Robert R. Jenq

Abstract: Identification of features is a critical task in microbiome studies that is complicated by the fact that microbial data are high dimensional and heterogeneous. Masked by the complexity of the data, the problem of separating signals from noise becomes challenging and troublesome. For instance, when performing differential abundance tests, multiple testing adjustments tend to be overconservative, as… ▽ More Identification of features is a critical task in microbiome studies that is complicated by the fact that microbial data are high dimensional and heterogeneous. Masked by the complexity of the data, the problem of separating signals from noise becomes challenging and troublesome. For instance, when performing differential abundance tests, multiple testing adjustments tend to be overconservative, as the probability of a type I error (false positive) increases dramatically with the large numbers of hypotheses. Moreover, the grou** effect of interest can be obscured by heterogeneity. These factors can incorrectly lead to the conclusion that there are no differences in the microbiome compositions. We translate and represent the problem of identifying differential features as a dynamic layout of separating the signal from its random background. We propose progressive permutation as a method to achieve this process and show converging patterns. More specifically, we progressively permute the grou** factor labels of the microbiome samples and perform multiple differential abundance tests in each scenario. We then compare the signal strength of the top features from the original data with their performance in permutations, and observe an apparent decreasing trend if these top features are true positives identified from the data. We have developed this into a user-friendly RShiny tool and R package, which consist of functions that can convey the overall association between the microbiome and the grou** factor, rank the robustness of the discovered microbes, and list the discoveries, their effect sizes, and individual abundances. △ Less

Submitted 17 September, 2020; v1 submitted 3 May, 2020; originally announced May 2020.

Comments: 8 pages, 6 figures

Distributions of Distances and Volumes of Balls in Homogeneous Lens Spaces

Authors: Brenden Balch, Chris Peterson, Clayton Shonkwiler

Abstract: Lens spaces are a family of manifolds that have been a source of many interesting phenomena in topology and differential geometry. Their concrete construction, as quotients of odd-dimensional spheres by a free linear action of a finite cyclic group, allows a deeper analysis of their structure. In this paper, we consider the problem of moments for the distance function between randomly selected pai… ▽ More Lens spaces are a family of manifolds that have been a source of many interesting phenomena in topology and differential geometry. Their concrete construction, as quotients of odd-dimensional spheres by a free linear action of a finite cyclic group, allows a deeper analysis of their structure. In this paper, we consider the problem of moments for the distance function between randomly selected pairs of points on homogeneous three-dimensional lens spaces. We give a derivation of a recursion relation for the moments, a formula for the $k$th moment, and a formula for the moment generating function, as well as an explicit formula for the volume of balls of all radii in these lens spaces. △ Less

Submitted 27 April, 2020; originally announced April 2020.

Comments: 17 pages, 4 figures

MSC Class: 53C30 (primary) 60D05; 57K35 (secondary)

Journal ref: Differential Geometry and its Applications 74 (2021), 101712

Observation of trapped fractional charge and topological states at disclination defects in higher-order topological insulators

Authors: Christopher W. Peterson, Tianhe Li, Wentao Jiang, Taylor L. Hughes, Gaurav Bahl

Abstract: Topological crystalline insulators (TCIs) can exhibit unique, quantized electric phenomena such as fractional electric polarization and boundary-localized fractional charge. This quantized fractional charge is the generic observable for identification of TCIs that lack robust spectral features, including ones having higher-order topology. It has been predicted that fractional charges can also mani… ▽ More Topological crystalline insulators (TCIs) can exhibit unique, quantized electric phenomena such as fractional electric polarization and boundary-localized fractional charge. This quantized fractional charge is the generic observable for identification of TCIs that lack robust spectral features, including ones having higher-order topology. It has been predicted that fractional charges can also manifest where crystallographic defects disrupt the lattice structure of TCIs, potentially providing a bulk probe of crystalline topology. However, this capability has not yet been confirmed in experiment since measurements of charge distributions in TCIs have not been accessible until recently. Here, we experimentally demonstrate that disclination defects can robustly trap fractional charges in TCI metamaterials, and show that this trapped charge can indicate non-trivial higher-order crystalline topology even in the absence of any spectral signatures. Furthermore, we uncover a connection between the trapped charge and the existence of topological bound states localized at these defects. We test the robustness of these topological features when the protective crystalline symmetry is broken, and find that a single robust bound state can be localized at each disclination alongside the fractional charge. Our results conclusively show that disclination defects in TCIs can robustly trap fractional charges as well as topological bound states, and moreover demonstrate the primacy of fractional charge as a probe of crystalline topology. △ Less

Submitted 27 April, 2020; v1 submitted 23 April, 2020; originally announced April 2020.

Trans-iron Ge, As, Se, and heavier elements in the dwarf metal-poor stars, HD~19445, HD~84937, HD~94028, HD~140283, and HD~160617

Authors: R. C. Peterson, B. Barbuy, M. Spite

Abstract: Spectra of unevolved metal-poor halo stars uniquely reflect the elemental abundances incorporated during the earliest Galactic epoch. Their heavy-element content is well understood as the products of neutron capture on iron-peak elements. However, the lightest elements just past the iron peak, with atomic number 30<Z<52, show striking abundance patterns open to several interpretations. Understandi… ▽ More Spectra of unevolved metal-poor halo stars uniquely reflect the elemental abundances incorporated during the earliest Galactic epoch. Their heavy-element content is well understood as the products of neutron capture on iron-peak elements. However, the lightest elements just past the iron peak, with atomic number 30<Z<52, show striking abundance patterns open to several interpretations. Understanding their nature may illuminate the diverse halo, thick disk, or extragalactic origins of metal-poor stars. For five metal-poor dwarfs, we analyzed high-resolution echelle UV spectra from the Hubble Space Telescope Imaging Spectrograph, as well as archival optical echelle spectra. The goal was to derive reliable halo dwarf abundances and uncertainties for six trans-iron elements from UV spectra, and optical abundances for four additional trans-Fe elements and two well-understood heavier elements. Our two independent analyses showed that the largest source of discrepancy is UV continuum placement. Once rectified, the internal results agree to 0.2 dex for moderately-unblended, moderately strong lines. Our results similarly agree with previous work, except where new data and unidentified Fe I lines are important. We show that these heavily congregate blueward of 2000A and redward of 2600A. Our exclusion of trans-Fe lines blended by such lines proved critical for arsenic. A metallicity-dependent odd-even effect is uncovered among trans-Fe elements: an odd-Z element abundance is depressed relative to those of adjacent even-Z elements, especially at low metallicity. This is supported by previous studies of Sr-Y-Zr, and also appears in some theoretical calculations. To date, no calculations predict the high Mo/Ge ratio, independent of Mo/Fe, that we find in all five stars. △ Less

Submitted 14 April, 2020; originally announced April 2020.

Comments: Accepted by A&A

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

An Open-Source, Industrial-Strength Optimizing Compiler for Quantum Programs

Authors: Robert S. Smith, Eric C. Peterson, Mark G. Skilbeck, Erik J. Davis

Abstract: Quilc is an open-source, optimizing compiler for gate-based quantum programs written in Quil or QASM, two popular quantum programming languages. The compiler was designed with attention toward NISQ-era quantum computers, specifically recognizing that each quantum gate has a non-negligible and often irrecoverable cost toward a program's successful execution. Quilc's primary goal is to make authorin… ▽ More Quilc is an open-source, optimizing compiler for gate-based quantum programs written in Quil or QASM, two popular quantum programming languages. The compiler was designed with attention toward NISQ-era quantum computers, specifically recognizing that each quantum gate has a non-negligible and often irrecoverable cost toward a program's successful execution. Quilc's primary goal is to make authoring quantum software a simpler exercise by making architectural details less burdensome to the author. Using Quilc allows one to write programs faster while usually not compromising---and indeed sometimes improving---their execution fidelity on a given hardware architecture. In this paper, we describe many of the principles behind Quilc's design, and demonstrate the compiler with various examples. △ Less

Submitted 31 March, 2020; originally announced March 2020.

aPCoA: Covariate Adjusted Principal Coordinates Analysis

Authors: Yushu Shi, Liangliang Zhang, Kim-Anh Do, Christine Peterson, Robert Jenq

Abstract: In fields such as ecology, microbiology, and genomics, non-Euclidean distances are widely applied to describe pairwise dissimilarity between samples. Given these pairwise distances, principal coordinates analysis (PCoA) is commonly used to construct a visualization of the data. However, confounding covariates can make patterns related to the scientific question of interest difficult to observe. We… ▽ More In fields such as ecology, microbiology, and genomics, non-Euclidean distances are widely applied to describe pairwise dissimilarity between samples. Given these pairwise distances, principal coordinates analysis (PCoA) is commonly used to construct a visualization of the data. However, confounding covariates can make patterns related to the scientific question of interest difficult to observe. We provide aPCoA as an easy-to-use tool, available as both an R package and a Shiny app, to improve data visualization in this context, enabling enhanced presentation of the effects of interest. △ Less

Submitted 20 March, 2020; originally announced March 2020.

The apolar algebra of a product of linear forms

Authors: Michael DiPasquale, Zachary Flores, Chris Peterson

Abstract: Apolarity is an important tool in commutative algebra and algebraic geometry which studies a form, $f$, by the action of polynomial differential operators on $f$. The quotient of all polynomial differential operators by those which annihilate $f$ is called the apolar algebra of $f$. In general, the apolar algebra of a form is useful for determining its Waring rank, which can be seen as the problem… ▽ More Apolarity is an important tool in commutative algebra and algebraic geometry which studies a form, $f$, by the action of polynomial differential operators on $f$. The quotient of all polynomial differential operators by those which annihilate $f$ is called the apolar algebra of $f$. In general, the apolar algebra of a form is useful for determining its Waring rank, which can be seen as the problem of decomposing the supersymmetric tensor, associated to the form, minimally as a sum of rank one supersymmetric tensors. In this article we study the apolar algebra of a product of linear forms, which generalizes the case of monomials and connects to the geometry of hyperplane arrangements. In the first part of the article we provide a bound on the Waring rank of a product of linear forms under certain genericity assumptions; for this we use the defining equations of so-called star configurations due to Geramita, Harbourne, and Migliore. In the second part of the article we use the computer algebra system Bertini, which operates by homotopy continuation methods, to solve certain rank equations for catalecticant matrices. Our computations suggest that, up to a change of variables, there are exactly six homogeneous polynomials of degree six in three variables which factor completely as a product of linear forms defining an irreducible multi-arrangement and whose apolar algebras have dimension six in degree three. As a consequence of these calculations, we find six cases of such forms with cactus rank six, five of which also have Waring rank six. Among these are products defining subarrangements of the braid and Hessian arrangements. △ Less

Submitted 12 February, 2020; originally announced February 2020.

Comments: 14 pages, 2 tables

MSC Class: 13E10; 13N10; 68W30; 14N20; 15A69

Explicit Lorentz violation in a static and spherically-symmetric spacetime

Authors: Yuri Bonder, Christian Peterson

Abstract: Lorentz violation is motivated by quantum gravity and it is generically described by nondynamical tensors. In this work a Lorentz violating extension of general relativity is studied where a nondynamical tensor couples to the Weyl tensor. A family of static and spherically symmetric solutions in vacuum is found, confirming that there are consistent solutions with explicit Lorentz violation in dyna… ▽ More Lorentz violation is motivated by quantum gravity and it is generically described by nondynamical tensors. In this work a Lorentz violating extension of general relativity is studied where a nondynamical tensor couples to the Weyl tensor. A family of static and spherically symmetric solutions in vacuum is found, confirming that there are consistent solutions with explicit Lorentz violation in dynamical spacetimes. These solutions produce an unconventional dependence of the gravitational redshift, which, in turn, leads to the first bounds on such nondynamical tensor that do not rely on the physics of the early universe. Moreover, the bounds obtained in this work are competitive with respect to limits on similar nondynamical tensors. △ Less

Submitted 24 January, 2020; originally announced January 2020.

Comments: 6 double-column pages

Journal ref: Phys. Rev. D 101, 064056 (2020)

Expected Distances on Manifolds of Partially Oriented Flags

Authors: Brenden Balch, Chris Peterson, Clayton Shonkwiler

Abstract: Flag manifolds are generalizations of projective spaces and other Grassmannians: they parametrize flags, which are nested sequences of subspaces in a given vector space. These are important objects in algebraic and differential geometry, but are also increasingly being used in data science, where many types of data are properly understood as subspaces rather than vectors. In this paper we discuss… ▽ More Flag manifolds are generalizations of projective spaces and other Grassmannians: they parametrize flags, which are nested sequences of subspaces in a given vector space. These are important objects in algebraic and differential geometry, but are also increasingly being used in data science, where many types of data are properly understood as subspaces rather than vectors. In this paper we discuss partially oriented flag manifolds, which parametrize flags in which some of the subspaces may be endowed with an orientation. We compute the expected distance between random points on some low-dimensional examples, which we view as a statistical baseline against which to compare the distances between particular partially oriented flags coming from geometry or data. △ Less

Submitted 21 January, 2020; originally announced January 2020.

Comments: 13 pages, 3 figures

MSC Class: 53D30 (primary); 60D05; 51N35 (secondary)

Journal ref: Proceedings of the American Mathematical Society 149 (2021), no. 8, 3553-3567

A quantum-classical cloud platform optimized for variational hybrid algorithms

Authors: Peter J. Karalekas, Nikolas A. Tezak, Eric C. Peterson, Colm A. Ryan, Marcus P. da Silva, Robert S. Smith

Abstract: In order to support near-term applications of quantum computing, a new compute paradigm has emerged--the quantum-classical cloud--in which quantum computers (QPUs) work in tandem with classical computers (CPUs) via a shared cloud infrastructure. In this work, we enumerate the architectural requirements of a quantum-classical cloud platform, and present a framework for benchmarking its runtime perf… ▽ More In order to support near-term applications of quantum computing, a new compute paradigm has emerged--the quantum-classical cloud--in which quantum computers (QPUs) work in tandem with classical computers (CPUs) via a shared cloud infrastructure. In this work, we enumerate the architectural requirements of a quantum-classical cloud platform, and present a framework for benchmarking its runtime performance. In addition, we walk through two platform-level enhancements, parametric compilation and active qubit reset, that specifically optimize a quantum-classical architecture to support variational hybrid algorithms (VHAs), the most promising applications of near-term quantum hardware. Finally, we show that integrating these two features into the Rigetti Quantum Cloud Services (QCS) platform results in considerable improvements to the latencies that govern algorithm runtime. △ Less

Submitted 30 May, 2020; v1 submitted 13 January, 2020; originally announced January 2020.

Comments: 21 pages, 8 figures; updated references to match published version

Journal ref: Quantum Sci. Technol. 5 024003 (2020)

A fractional corner anomaly reveals higher-order topology

Authors: Christopher W. Peterson, Tianhe Li, Wladimir A. Benalcazar, Taylor L. Hughes, Gaurav Bahl

Abstract: Spectral measurements of boundary localized in-gap modes are commonly used to identify topological insulators via the bulk-boundary correspondence. This can be extended to high-order topological insulators for which the most striking feature is in-gap modes at boundaries of higher co-dimension, e.g. the corners of a 2D material. Unfortunately, this spectroscopic approach is not always viable since… ▽ More Spectral measurements of boundary localized in-gap modes are commonly used to identify topological insulators via the bulk-boundary correspondence. This can be extended to high-order topological insulators for which the most striking feature is in-gap modes at boundaries of higher co-dimension, e.g. the corners of a 2D material. Unfortunately, this spectroscopic approach is not always viable since the energies of the topological modes are not protected and they can often overlap the bulk bands, leading to potential misidentification. Since the topology of a material is a collective product of all its eigenmodes, any conclusive indicator of topology must instead be a feature of its bulk band structure, and should not rely on specific eigen-energies. For many topological crystalline insulators the key topological feature is fractional charge density arising from the filled bulk bands, but measurements of charge distributions have not been accessible to date. In this work, we experimentally measure boundary-localized fractional charge density of two distinct 2D rotationally-symmetric metamaterials, finding 1/4 and 1/3 fractionalization. We then introduce a new topological indicator based on collective phenomenology that allows unambiguous identification of higher-order topology, even in the absence of in-gap states. Finally, we demonstrate the higher-order bulk-boundary correspondence associated with this fractional feature by using boundary deformations to spectrally isolate localized corner modes where they were previously unobservable. △ Less

Submitted 10 January, 2020; originally announced January 2020.

Metric thickenings and group actions

Authors: Henry Adams, Mark Heim, Chris Peterson

Abstract: Let $G$ be a group acting properly and by isometries on a metric space $X$; it follows that the quotient or orbit space $X/G$ is also a metric space. We study the Vietoris-Rips and Čech complexes of $X/G$. Whereas (co)homology theories for metric spaces let the scale parameter of a Vietoris-Rips or Čech complex go to zero, and whereas geometric group theory requires the scale parameter to be suffi… ▽ More Let $G$ be a group acting properly and by isometries on a metric space $X$; it follows that the quotient or orbit space $X/G$ is also a metric space. We study the Vietoris-Rips and Čech complexes of $X/G$. Whereas (co)homology theories for metric spaces let the scale parameter of a Vietoris-Rips or Čech complex go to zero, and whereas geometric group theory requires the scale parameter to be sufficiently large, we instead consider intermediate scale parameters (neither tending to zero nor to infinity). As a particular case, we study the Vietoris-Rips and Čech thickenings of projective spaces at the first scale parameter where the homotopy type changes. △ Less

Submitted 12 July, 2020; v1 submitted 2 November, 2019; originally announced November 2019.

MSC Class: 55U10; 55P10; 54E35; 05E45; 20F65; 55N31

Scaling up Psychology via Scientific Regret Minimization: A Case Study in Moral Decisions

Authors: Mayank Agrawal, Joshua C. Peterson, Thomas L. Griffiths

Abstract: Do large datasets provide value to psychologists? Without a systematic methodology for working with such datasets, there is a valid concern that analyses will produce noise artifacts rather than true effects. In this paper, we offer a way to enable researchers to systematically build models and identify novel phenomena in large datasets. One traditional approach is to analyze the residuals of mode… ▽ More Do large datasets provide value to psychologists? Without a systematic methodology for working with such datasets, there is a valid concern that analyses will produce noise artifacts rather than true effects. In this paper, we offer a way to enable researchers to systematically build models and identify novel phenomena in large datasets. One traditional approach is to analyze the residuals of models---the biggest errors they make in predicting the data---to discover what might be missing from those models. However, once a dataset is sufficiently large, machine learning algorithms approximate the true underlying function better than the data, suggesting instead that the predictions of these data-driven models should be used to guide model-building. We call this approach "Scientific Regret Minimization" (SRM) as it focuses on minimizing errors for cases that we know should have been predictable. We demonstrate this methodology on a subset of the Moral Machine dataset, a public collection of roughly forty million moral decisions. Using SRM, we found that incorporating a set of deontological principles that capture dimensions along which groups of agents can vary (e.g. sex and age) improves a computational model of human moral judgment. Furthermore, we were able to identify and independently validate three interesting moral phenomena: criminal dehumanization, age of responsibility, and asymmetric notions of responsibility. △ Less

Submitted 8 January, 2020; v1 submitted 16 October, 2019; originally announced October 2019.

A generalization of Wilf's conjecture for Generalized Numerical Semigroups

Authors: Carmelo Cisto, Michael DiPasquale, Gioia Failla, Zachary Flores, Chris Peterson, Rosanna Utano

Abstract: A numerical semigroup is a submonoid of $\mathbb N$ with finite complement in $\mathbb N$. A generalized numerical semigroup is a submonoid of $\mathbb{N}^{d}$ with finite complement in $\mathbb{N}^{d}$. In the context of numerical semigroups, Wilf's conjecture is a long standing open problem whose study has led to new mathematics and new ways of thinking about monoids. A natural extension of Wilf… ▽ More A numerical semigroup is a submonoid of $\mathbb N$ with finite complement in $\mathbb N$. A generalized numerical semigroup is a submonoid of $\mathbb{N}^{d}$ with finite complement in $\mathbb{N}^{d}$. In the context of numerical semigroups, Wilf's conjecture is a long standing open problem whose study has led to new mathematics and new ways of thinking about monoids. A natural extension of Wilf's conjecture, to the class of $\mathcal C$-semigroups, was proposed by García-García, Marín-Aragón, and Vigneron-Tenorio. In this paper, we propose a different generalization of Wilf's conjecture, to the setting of generalized numerical semigroups, and prove the conjecture for several large families including the irreducible, symmetric, and monomial case. We also discuss the relationship of our conjecture to the extension proposed by García-García, Marín-Aragón, and Vigneron-Tenorio. △ Less

Submitted 28 September, 2019; originally announced September 2019.

Comments: 22 pages, 3 figures

MSC Class: 20M14; 06F05; 11D07

Estimating the Optimal Linear Combination of Biomarkers using Spherically Constrained Optimization

Authors: Priyam Das, Debsurya De, Raju Maiti, Mona Kamal, Katherine A. Hutcheson, Clifton D. Fuller, Bibhas Chakraborty, Christine B. Peterson

Abstract: In the context of a binary classification problem, the optimal linear combination of continuous predictors can be estimated by maximizing an empirical estimate of the area under the receiver operating characteristic (ROC) curve (AUC). For multi-category responses, the optimal predictor combination can similarly be obtained by maximization of the empirical hypervolume under the manifold (HUM). This… ▽ More In the context of a binary classification problem, the optimal linear combination of continuous predictors can be estimated by maximizing an empirical estimate of the area under the receiver operating characteristic (ROC) curve (AUC). For multi-category responses, the optimal predictor combination can similarly be obtained by maximization of the empirical hypervolume under the manifold (HUM). This problem is particularly relevant to medical research, where it may be of interest to diagnose a disease with various subtypes or predict a multi-category outcome. Since the empirical HUM is discontinuous, non-differentiable, and possibly multi-modal, solving this maximization problem requires a global optimization technique. Estimation of the optimal coefficient vector using existing global optimization techniques is computationally expensive, becoming prohibitive as the number of predictors and the number of outcome categories increases. We propose an efficient derivative-free black-box optimization technique based on pattern search to solve this problem. Through extensive simulation studies, we demonstrate that the proposed method achieves better performance compared to existing methods including the step-down algorithm. Finally, we illustrate the proposed method to predict swallowing difficulty after radiation therapy for oropharyngeal cancer based on radiation dose to various structures in the head and neck. △ Less

Submitted 7 January, 2021; v1 submitted 6 September, 2019; originally announced September 2019.

Bayesian Inference of Networks Across Multiple Sample Groups and Data Types

Authors: Elin Shaddox, Christine B. Peterson, Francesco C. Stingo, Nicola A. Hanania, Charmion Cruickshank-Quinn, Katerina Kechris, Russell Bowler, Marina Vannucci

Abstract: In this paper, we develop a graphical modeling framework for the inference of networks across multiple sample groups and data types. In medical studies, this setting arises whenever a set of subjects, which may be heterogeneous due to differing disease stage or subtype, is profiled across multiple platforms, such as metabolomics, proteomics, or transcriptomics data. Our proposed Bayesian hierarchi… ▽ More In this paper, we develop a graphical modeling framework for the inference of networks across multiple sample groups and data types. In medical studies, this setting arises whenever a set of subjects, which may be heterogeneous due to differing disease stage or subtype, is profiled across multiple platforms, such as metabolomics, proteomics, or transcriptomics data. Our proposed Bayesian hierarchical model first links the network structures within each platform using a Markov random field prior to relate edge selection across sample groups, and then links the network similarity parameters across platforms. This enables joint estimation in a flexible manner, as we make no assumptions on the directionality of influence across the data types or the extent of network similarity across the sample groups and platforms. In addition, our model formulation allows the number of variables and number of subjects to differ across the data types, and only requires that we have data for the same set of groups. We illustrate the proposed approach through both simulation studies and an application to gene expression levels and metabolite abundances on subjects with varying severity levels of Chronic Obstructive Pulmonary Disease (COPD). △ Less

Submitted 4 September, 2019; originally announced September 2019.

Journal ref: Biostatistics. 21(3): 561-576. 2020

Bayesian Modeling of Multiple Structural Connectivity Networks During the Progression of Alzheimer's Disease

Authors: Christine B. Peterson, Nathan Osborne, Francesco C. Stingo, Pierrick Bourgeat, James D. Doecke, Marina Vannucci

Abstract: Alzheimer's disease is the most common neurodegenerative disease. The aim of this study is to infer structural changes in brain connectivity resulting from disease progression using cortical thickness measurements from a cohort of participants who were either healthy control, or with mild cognitive impairment, or Alzheimer's disease patients. For this purpose, we develop a novel approach for infer… ▽ More Alzheimer's disease is the most common neurodegenerative disease. The aim of this study is to infer structural changes in brain connectivity resulting from disease progression using cortical thickness measurements from a cohort of participants who were either healthy control, or with mild cognitive impairment, or Alzheimer's disease patients. For this purpose, we develop a novel approach for inference of multiple networks with related edge values across groups. Specifically, we infer a Gaussian graphical model for each group within a joint framework, where we rely on Bayesian hierarchical priors to link the precision matrix entries across groups. Our proposal differs from existing approaches in that it flexibly learns which groups have the most similar edge values, and accounts for the strength of connection (rather than only edge presence or absence) when sharing information across groups. Our results identify key alterations in structural connectivity which may reflect disruptions to the healthy brain, such as decreased connectivity within the occipital lobe with increasing disease severity. We also illustrate the proposed method through simulations, where we demonstrate its performance in structure learning and precision matrix estimation with respect to alternative approaches. △ Less

Submitted 15 January, 2020; v1 submitted 28 August, 2019; originally announced August 2019.

Comments: Accepted to Biometrics January 2020

Journal ref: Biometrics. 76(4): 1120-1132, 2020

Human uncertainty makes classification more robust

Authors: Joshua C. Peterson, Ruairidh M. Battleday, Thomas L. Griffiths, Olga Russakovsky

Abstract: The classification performance of deep neural networks has begun to asymptote at near-perfect levels. However, their ability to generalize outside the training set and their robustness to adversarial attacks have not. In this paper, we make progress on this problem by training with full label distributions that reflect human perceptual uncertainty. We first present a new benchmark dataset which we… ▽ More The classification performance of deep neural networks has begun to asymptote at near-perfect levels. However, their ability to generalize outside the training set and their robustness to adversarial attacks have not. In this paper, we make progress on this problem by training with full label distributions that reflect human perceptual uncertainty. We first present a new benchmark dataset which we call CIFAR10H, containing a full distribution of human labels for each image of the CIFAR10 test set. We then show that, while contemporary classifiers fail to exhibit human-like uncertainty on their own, explicit training on our dataset closes this gap, supports improved generalization to increasingly out-of-training-distribution test datasets, and confers robustness to adversarial attacks. △ Less

Submitted 19 August, 2019; originally announced August 2019.

Comments: In Proceedings of the 2019 IEEE International Conference on Computer Vision (ICCV)

The Dynamical Diquark Model: Fine Structure and Isospin

Authors: Jesse F. Giron, Richard F. Lebed, Curtis T. Peterson

Abstract: We incorporate fine-structure corrections into the dynamical diquark model of multiquark exotic hadrons. These improvements include effects due to finite diquark size, spin-spin couplings within the diquarks, and most significantly, isospin-dependent couplings in the form of pionlike exchanges assumed to occur between the light quarks within the diquarks. Using a simplified two-parameter interacti… ▽ More We incorporate fine-structure corrections into the dynamical diquark model of multiquark exotic hadrons. These improvements include effects due to finite diquark size, spin-spin couplings within the diquarks, and most significantly, isospin-dependent couplings in the form of pionlike exchanges assumed to occur between the light quarks within the diquarks. Using a simplified two-parameter interaction Hamiltonian, we obtain fits in which the isoscalar $J^{PC} = 1^{++}$ state---identified as the $X(3872)$---appears naturally as the lightest exotic (including all states that are predicted by the model but have not yet been observed), while the $Z_c(3900)$ and $Z_c(4020)$ decay predominantly to $J/ψ$ and $η_c$, respectively, in accord with experiment. We explore implications of this model for the excited tetraquark multiplets and the pentaquarks. △ Less

Submitted 20 January, 2020; v1 submitted 19 July, 2019; originally announced July 2019.

Comments: 19 pages, no figures. Version accepted to appear in JHEP

Irreducible Generalized Numerical Semigroups and uniqueness of the Frobenius element

Authors: Carmelo Cisto, Gioia Failla, Chris Peterson, Rosanna Utano

Abstract: Let $\mathbb{N}^{d}$ be the $d$-dimensional monoid of non-negative integers. A generalized numerical semigroup is a submonoid $ S\subseteq \mathbb{N}^d$ such that $H(S)=\mathbb{N}^d \setminus S$ is a finite set. We introduce irreducible generalized numerical semigroups and characterize them in terms of the cardinality of a special subset of $H(S)$. In particular, we describe relaxed monomial order… ▽ More Let $\mathbb{N}^{d}$ be the $d$-dimensional monoid of non-negative integers. A generalized numerical semigroup is a submonoid $ S\subseteq \mathbb{N}^d$ such that $H(S)=\mathbb{N}^d \setminus S$ is a finite set. We introduce irreducible generalized numerical semigroups and characterize them in terms of the cardinality of a special subset of $H(S)$. In particular, we describe relaxed monomial orders on $\mathbb N^d$, define the Frobenius element of $S$ with respect to a given relaxed monomial order, and show that the Frobenius element of $S$ is independent of the order if the generalized numerical semigroup is irreducible. △ Less

Submitted 18 July, 2019; originally announced July 2019.

Comments: 15 pages

Journal ref: Semigroup Forum 99(2),481-495 (2019)

More chemical detection through less sampling: amplifying chemical signals in hyperspectral data cubes through compressive sensing

Authors: Henry Kvinge, Elin Farnell, Julia R. Dupuis, Michael Kirby, Chris Peterson, Elizabeth C. Schundler

Abstract: Compressive sensing (CS) is a method of sampling which permits some classes of signals to be reconstructed with high accuracy even when they were under-sampled. In this paper we explore a phenomenon in which bandwise CS sampling of a hyperspectral data cube followed by reconstruction can actually result in amplification of chemical signals contained in the cube. Perhaps most surprisingly, chemical… ▽ More Compressive sensing (CS) is a method of sampling which permits some classes of signals to be reconstructed with high accuracy even when they were under-sampled. In this paper we explore a phenomenon in which bandwise CS sampling of a hyperspectral data cube followed by reconstruction can actually result in amplification of chemical signals contained in the cube. Perhaps most surprisingly, chemical signal amplification generally seems to increase as the level of sampling decreases. In some examples, the chemical signal is significantly stronger in a data cube reconstructed from 10% CS sampling than it is in the raw, 100% sampled data cube. We explore this phenomenon in two real-world datasets including the Physical Sciences Inc. Fabry-Pérot interferometer sensor multispectral dataset and the Johns Hopkins Applied Physics Lab FTIR-based longwave infrared sensor hyperspectral dataset. Each of these datasets contains the release of a chemical simulant, such as glacial acetic acid, triethyl phospate, and sulfur hexafluoride, and in all cases we use the adaptive coherence estimator (ACE) to detect a target signal in the hyperspectral data cube. We end the paper by suggesting some theoretical justifications for why chemical signals would be amplified in CS sampled and reconstructed hyperspectral data cubes and discuss some practical implications. △ Less

Submitted 27 June, 2019; originally announced June 2019.

Comments: 10 pages

Total variation vs L1 regularization: a comparison of compressive sensing optimization methods for chemical detection

Authors: Elin Farnell, Henry Kvinge, Julia R. Dupuis, Michael Kirby, Chris Peterson, Elizabeth C. Schundler

Abstract: One of the fundamental assumptions of compressive sensing (CS) is that a signal can be reconstructed from a small number of samples by solving an optimization problem with the appropriate regularization term. Two standard regularization terms are the L1 norm and the total variation (TV) norm. We present a comparison of CS reconstruction results based on these two approaches in the context of chemi… ▽ More One of the fundamental assumptions of compressive sensing (CS) is that a signal can be reconstructed from a small number of samples by solving an optimization problem with the appropriate regularization term. Two standard regularization terms are the L1 norm and the total variation (TV) norm. We present a comparison of CS reconstruction results based on these two approaches in the context of chemical detection, and we demonstrate that optimization based on the L1 norm outperforms optimization based on the TV norm. Our comparison is driven by CS sampling, reconstruction, and chemical detection in two real-world datasets: the Physical Sciences Inc. Fabry-Pérot interferometer sensor multispectral dataset and the Johns Hopkins Applied Physics Lab FTIR-based longwave infrared sensor hyperspectral dataset. Both datasets contain the release of a chemical simulant such as glacial acetic acid, triethyl phosphate, and sulfur hexafluoride. For chemical detection we use the adaptive coherence estimator (ACE) and bulk coherence, and we propose algorithmic ACE thresholds to define the presence or absence of a chemical of interest in both un-compressed data cubes and reconstructed data cubes. The un-compressed data cubes provide an approximate ground truth. We demonstrate that optimization based on either the L1 norm or TV norm results in successful chemical detection at a compression rate of 90%, but we show that L1 optimization is preferable. We present quantitative comparisons of chemical detection on reconstructions from the two methods, with an emphasis on the number of pixels with an ACE value above the threshold. △ Less

Submitted 25 June, 2019; originally announced June 2019.

Comments: 13 pages

A data-driven approach to sampling matrix selection for compressive sensing

Authors: Elin Farnell, Henry Kvinge, John P. Dixon, Julia R. Dupuis, Michael Kirby, Chris Peterson, Elizabeth C. Schundler, Christian W. Smith

Abstract: Sampling is a fundamental aspect of any implementation of compressive sensing. Typically, the choice of sampling method is guided by the reconstruction basis. However, this approach can be problematic with respect to certain hardware constraints and is not responsive to domain-specific context. We propose a method for defining an order for a sampling basis that is optimal with respect to capturing… ▽ More Sampling is a fundamental aspect of any implementation of compressive sensing. Typically, the choice of sampling method is guided by the reconstruction basis. However, this approach can be problematic with respect to certain hardware constraints and is not responsive to domain-specific context. We propose a method for defining an order for a sampling basis that is optimal with respect to capturing variance in data, thus allowing for meaningful sensing at any desired level of compression. We focus on the Walsh-Hadamard sampling basis for its relevance to hardware constraints, but our approach applies to any sampling basis of interest. We illustrate the effectiveness of our method on the Physical Sciences Inc. Fabry-Pérot interferometer sensor multispectral dataset, the Johns Hopkins Applied Physics Lab FTIR-based longwave infrared sensor hyperspectral dataset, and a Colorado State University Swiss Ranger depth image dataset. The spectral datasets consist of simulant experiments, including releases of chemicals such as GAA and SF6. We combine our sampling and reconstruction with the adaptive coherence estimator (ACE) and bulk coherence for chemical detection and we incorporate an algorithmic threshold for ACE values to determine the presence or absence of a chemical. We compare results across sampling methods in this context. We have successful chemical detection at a compression rate of 90%. For all three datasets, we compare our sampling approach to standard orderings of sampling basis such as random, sequency, and an analog of sequency that we term `frequency.' In one instance, the peak signal to noise ratio was improved by over 30% across a test set of depth images. △ Less

Submitted 20 June, 2019; originally announced June 2019.

Comments: 15 pages

Mean-dependent nonstationary spatial models

Authors: Geoffrey Colin Lee Peterson, Joseph Guinness, Adam Terando, Brian J. Reich

Abstract: Nonstationarity is a major challenge in analyzing spatial data. For example, daily precipitation measurements may have increased variability and decreased spatial smoothness in areas with high mean rainfall. Common nonstationary covariance models introduce parameters specific to each location, giving a highly-parameterized model which is difficult to fit. We develop a nonstationary spatial model t… ▽ More Nonstationarity is a major challenge in analyzing spatial data. For example, daily precipitation measurements may have increased variability and decreased spatial smoothness in areas with high mean rainfall. Common nonstationary covariance models introduce parameters specific to each location, giving a highly-parameterized model which is difficult to fit. We develop a nonstationary spatial model that uses the mean to determine the covariance in a region, resulting in a far simpler, albeit more specialized, model. We explore inferential and predictive properties of the model under various simulated data situations. We show that this model in certain circumstances improves predictions compared to a standard stationary spatial model. We further propose a computationally efficient approximation that has comparable predictive accuracy. We also develop a test for nonstationary data and show it reliably identifies nonstationarity. We apply these methods to daily precipitation in Puerto Rico. △ Less

Submitted 29 May, 2019; originally announced May 2019.

Read-Uncommitted Transactions for Smart Contract Performance

Authors: Victor Cook, Zachary Painter, Christina Peterson, Damian Dechev

Abstract: Smart contract transactions demonstrate issues of performance and correctness that application programmers must work around. Although the blockchain consensus mechanism approaches ACID compliance, use cases that rely on frequent state changes are impractical due to the block publishing interval of $O(10^1)$ seconds. The effective isolation level is Read-Committed, only revealing state transitions… ▽ More Smart contract transactions demonstrate issues of performance and correctness that application programmers must work around. Although the blockchain consensus mechanism approaches ACID compliance, use cases that rely on frequent state changes are impractical due to the block publishing interval of $O(10^1)$ seconds. The effective isolation level is Read-Committed, only revealing state transitions at the end of the block interval. Values read may be stale and not match program order, causing many transactions to fail when a block is committed. This paper perceives the blockchain as a transactional data structure, using this analogy in the development of a new algorithm, Hash-Mark-Set (HMS), that improves transaction throughput by providing a Read-Uncommitted view of state variables. HMS creates a directed acyclic graph (DAG) from the pending transaction pool. The transaction order derived from the DAG is used to provide a Read-Uncommitted view of the data for new transactions, which enter the DAG as they are received. An implementation of HMS is provided, interoperable with Ethereum and ready for use in smart contracts. Over a wide range of transaction mixes, HMS is demonstrated to improve throughput. A side product of the implementation is a new technique, Runtime Argument Augmentation (RAA), that allows smart contracts to communicate with external data services before submitting a transaction. RAA has use cases beyond HMS and can serve as a lightweight replacement for blockchain oracles. △ Less

Submitted 29 May, 2019; originally announced May 2019.

Comments: Accepted to ICDCS 2019, Dallas, Texas. https://theory.utdallas.edu/ICDCS2019/program.html#Session%202F 10 pages, 3 figures

Cognitive Model Priors for Predicting Human Decisions

Authors: David D. Bourgin, Joshua C. Peterson, Daniel Reichman, Thomas L. Griffiths, Stuart J. Russell

Abstract: Human decision-making underlies all economic behavior. For the past four decades, human decision-making under uncertainty has continued to be explained by theoretical models based on prospect theory, a framework that was awarded the Nobel Prize in Economic Sciences. However, theoretical models of this kind have developed slowly, and robust, high-precision predictive models of human decisions remai… ▽ More Human decision-making underlies all economic behavior. For the past four decades, human decision-making under uncertainty has continued to be explained by theoretical models based on prospect theory, a framework that was awarded the Nobel Prize in Economic Sciences. However, theoretical models of this kind have developed slowly, and robust, high-precision predictive models of human decisions remain a challenge. While machine learning is a natural candidate for solving these problems, it is currently unclear to what extent it can improve predictions obtained by current theories. We argue that this is mainly due to data scarcity, since noisy human behavior requires massive sample sizes to be accurately captured by off-the-shelf machine learning methods. To solve this problem, what is needed are machine learning models with appropriate inductive biases for capturing human behavior, and larger datasets. We offer two contributions towards this end: first, we construct "cognitive model priors" by pretraining neural networks with synthetic data generated by cognitive models (i.e., theoretical models developed by cognitive psychologists). We find that fine-tuning these networks on small datasets of real human decisions results in unprecedented state-of-the-art improvements on two benchmark datasets. Second, we present the first large-scale dataset for human decision-making, containing over 240,000 human judgments across over 13,000 decision problems. This dataset reveals the circumstances where cognitive model priors are useful, and provides a new standard for benchmarking prediction of human decisions under uncertainty. △ Less

Submitted 22 May, 2019; originally announced May 2019.

Comments: ICML 2019

Journal ref: Proceedings of the 36th International Conference on Machine Learning, PMLR 97:5133-5141, 2019

Quantifiability: Concurrent Correctness from First Principles

Authors: Victor Cook, Christina Peterson, Zachary Painter, Damian Dechev

Abstract: Architectural imperatives due to the slowing of Moore's Law, the broad acceptance of relaxed semantics and the O(n!) worst case verification complexity of generating sequential histories motivate a new approach to concurrent correctness. Desiderata for a new correctness condition are that it be independent of sequential histories, compositional, flexible as to timing, modular as to semantics and f… ▽ More Architectural imperatives due to the slowing of Moore's Law, the broad acceptance of relaxed semantics and the O(n!) worst case verification complexity of generating sequential histories motivate a new approach to concurrent correctness. Desiderata for a new correctness condition are that it be independent of sequential histories, compositional, flexible as to timing, modular as to semantics and free of inherent locking or waiting. We propose Quantifiability, a novel correctness condition based on intuitive first principles. Quantifiability models a system in vector space to launch a new mathematical analysis of concurrency. The vector space model is suitable for a wide range of concurrent systems and their associated data structures. This paper formally defines quantifiability and demonstrates useful properties such as compositionality. Analysis is facilitated with linear algebra, better supported and of much more efficient time complexity than traditional combinatorial methods. We present results showing that quantifiable data structures are highly scalable due to the usage of relaxed semantics and propose entropy to evaluate the implementation trade-offs permitted by quantifiability. △ Less

Submitted 16 July, 2019; v1 submitted 15 May, 2019; originally announced May 2019.

Comments: 29 pages

Robust temporal pum** in a magneto-mechanical topological insulator

Authors: Inbar Hotzen Grinberg, Mao Lin, Cameron Harris, Wladimir A. Benalcazar, Christopher W. Peterson, Taylor L. Hughes, Gaurav Bahl

Abstract: The transport of energy through 1-dimensional (1D) waveguiding channels can be affected by sub-wavelength disorder, resulting in undesirable localization and backscattering phenomena. However, quantized disorder-resilient transport is observable in the edge currents of 2-dimensional (2D) topological band insulators with broken time-reversal symmetry. Topological pumps are able to reduce this highe… ▽ More The transport of energy through 1-dimensional (1D) waveguiding channels can be affected by sub-wavelength disorder, resulting in undesirable localization and backscattering phenomena. However, quantized disorder-resilient transport is observable in the edge currents of 2-dimensional (2D) topological band insulators with broken time-reversal symmetry. Topological pumps are able to reduce this higher-dimensional topological insulator phenomena to lower dimensionality by utilizing a pum** parameter (either space or time) as an artificial dimension. Here we demonstrate the first temporal topological pump that produces on-demand, robust transport of mechanical energy using a 1D magneto-mechanical metamaterial. We experimentally demonstrate that the system is uniquely resilient to defects occurring in both space and time Our findings open a new path towards exploration of higher-dimensional topological physics with time as a synthetic dimension. △ Less

Submitted 5 June, 2019; v1 submitted 7 May, 2019; originally announced May 2019.

Comments: Total number of pages 39, 17 pages are the main text and the rest are supplementary material. There are 5 figures in the main text and 17 figures in the supplementary section

Symmetries and conserved quantities with arbitrary torsion: A generalization of Killing's theorem

Authors: Christian Peterson, Yuri Bonder

Abstract: When spacetime torsion is present, geodesics and autoparallels generically do not coincide. In this work, the well-known method that uses Killing vectors to solve the geodesic equations is generalized for autoparallels. The main definition is that of T-Killing vectors: vector fields such that, when their index is lowered with the metric, have vanishing symmetric derivative when acted with a torsio… ▽ More When spacetime torsion is present, geodesics and autoparallels generically do not coincide. In this work, the well-known method that uses Killing vectors to solve the geodesic equations is generalized for autoparallels. The main definition is that of T-Killing vectors: vector fields such that, when their index is lowered with the metric, have vanishing symmetric derivative when acted with a torsionfull and metric-compatible derivative. The main property of T-Killing vectors is that their contraction with the autoparallels' tangents are constant along these curves. As an example, in a static and spherically symmetric situation, the autoparallel equations are reduced to an effective one-dimensional problem. Other interesting properties and extensions of T-Killing vectors are discussed. △ Less

Submitted 29 April, 2019; originally announced April 2019.

Comments: 5 pages. Comments welcomed

Journal ref: Modern Physics Letters A 33, 2050052 (2020)

Capturing human categorization of natural images at scale by combining deep networks and cognitive models

Authors: Ruairidh M. Battleday, Joshua C. Peterson, Thomas L. Griffiths

Abstract: Human categorization is one of the most important and successful targets of cognitive modeling in psychology, yet decades of development and assessment of competing models have been contingent on small sets of simple, artificial experimental stimuli. Here we extend this modeling paradigm to the domain of natural images, revealing the crucial role that stimulus representation plays in categorizatio… ▽ More Human categorization is one of the most important and successful targets of cognitive modeling in psychology, yet decades of development and assessment of competing models have been contingent on small sets of simple, artificial experimental stimuli. Here we extend this modeling paradigm to the domain of natural images, revealing the crucial role that stimulus representation plays in categorization and its implications for conclusions about how people form categories. Applying psychological models of categorization to natural images required two significant advances. First, we conducted the first large-scale experimental study of human categorization, involving over 500,000 human categorization judgments of 10,000 natural images from ten non-overlap** object categories. Second, we addressed the traditional bottleneck of representing high-dimensional images in cognitive models by exploring the best of current supervised and unsupervised deep and shallow machine learning methods. We find that selecting sufficiently expressive, data-driven representations is crucial to capturing human categorization, and using these representations allows simple models that represent categories with abstract prototypes to outperform the more complex memory-based exemplar accounts of categorization that have dominated in studies using less naturalistic stimuli. △ Less

Submitted 26 April, 2019; originally announced April 2019.

Comments: 29 pages; 4 figures. arXiv admin note: text overlap with arXiv:1711.04855

Coalgebraic Formal Curve Spectra and the Annular Tower

Authors: Eric C. Peterson

Abstract: We import into homotopy theory the algebro-geometric construction of the cotangent space of a geometric point on a scheme. Specializing to the category of spectra local to a Morava $K$-theory of height $d$, we show that this can be used to produce a choice-free model of the determinantal sphere as well as an efficient Picard-graded cellular decomposition of $K(\mathbb Z_p, d+1)$. Coupling these id… ▽ More We import into homotopy theory the algebro-geometric construction of the cotangent space of a geometric point on a scheme. Specializing to the category of spectra local to a Morava $K$-theory of height $d$, we show that this can be used to produce a choice-free model of the determinantal sphere as well as an efficient Picard-graded cellular decomposition of $K(\mathbb Z_p, d+1)$. Coupling these ideas to work of Westerland, we give a "Snaith's theorem" for the Iwasawa extension of the $K(d)$-local sphere. △ Less

Submitted 24 April, 2019; originally announced April 2019.

Comments: Submitted as author's 2015 PhD thesis, submitted for journal publication in 2017, only realized in 2019 that it wasn't available on the arXiv

Journal ref: Geom. Topol. 24 (2020) 1-47

Fixed-Depth Two-Qubit Circuits and the Monodromy Polytope

Authors: Eric C. Peterson, Gavin E. Crooks, Robert S. Smith

Abstract: For a native gate set which includes all single-qubit gates, we apply results from symplectic geometry to analyze the spaces of two-qubit programs accessible within a fixed number of gates. These techniques yield an explicit description of this subspace as a convex polytope, presented by a family of linear inequalities themselves accessible via a finite calculation. We completely describe this fam… ▽ More For a native gate set which includes all single-qubit gates, we apply results from symplectic geometry to analyze the spaces of two-qubit programs accessible within a fixed number of gates. These techniques yield an explicit description of this subspace as a convex polytope, presented by a family of linear inequalities themselves accessible via a finite calculation. We completely describe this family of inequalities in a variety of familiar example cases, and as a consequence we highlight a certain member of the "XY-family" for which this subspace is particularly large, i.e., for which many two-qubit programs admit expression as low-depth circuits. △ Less

Submitted 8 November, 2021; v1 submitted 23 April, 2019; originally announced April 2019.

Comments: Updated after initial publication to fix increasing/decreasing conventions and an incorrect Figure 6

MSC Class: 81P68; 53D20

Journal ref: Quantum 4, 247 (2020)

Predicting human decisions with behavioral theories and machine learning

Authors: Ori Plonsky, Reut Apel, Eyal Ert, Moshe Tennenholtz, David Bourgin, Joshua C. Peterson, Daniel Reichman, Thomas L. Griffiths, Stuart J. Russell, Evan C. Carter, James F. Cavanagh, Ido Erev

Abstract: Predicting human decision-making under risk and uncertainty represents a quintessential challenge that spans economics, psychology, and related disciplines. Despite decades of research effort, no model can be said to accurately describe and predict human choice even for the most stylized tasks like choice between lotteries. Here, we introduce BEAST Gradient Boosting (BEAST-GB), a novel hybrid mode… ▽ More Predicting human decision-making under risk and uncertainty represents a quintessential challenge that spans economics, psychology, and related disciplines. Despite decades of research effort, no model can be said to accurately describe and predict human choice even for the most stylized tasks like choice between lotteries. Here, we introduce BEAST Gradient Boosting (BEAST-GB), a novel hybrid model that synergizes behavioral theories, specifically the model BEAST, with machine learning techniques. First, we show the effectiveness of BEAST-GB by describing CPC18, an open competition for prediction of human decision making under risk and uncertainty, in which BEAST-GB won. Second, we show that it achieves state-of-the-art performance on the largest publicly available dataset of human risky choice, outperforming purely data-driven neural networks, indicating the continued relevance of BEAST theoretical insights in the presence of large data. Third, we demonstrate BEAST-GB's superior predictive power in an ensemble of choice experiments in which the BEAST model alone falters, underscoring the indispensable role of machine learning in interpreting complex idiosyncratic behavioral data. Finally, we show BEAST-GB also displays robust domain generalization capabilities as it effectively predicts choice behavior in new experimental contexts that it was not trained on. These results confirm the potency of combining domain-specific theoretical frameworks with machine learning, underscoring a methodological advance with broad implications for modeling decisions in diverse environments. △ Less

Submitted 18 April, 2024; v1 submitted 15 April, 2019; originally announced April 2019.

Comments: This version includes a large and significant update on the previous (2019) version

Analysis of Commutativity with State-Chart Graph Representation of Concurrent Programs

Authors: Kishore Debnath, Christina Peterson, Damian Dechev

Abstract: We present a new approach to check for commutativity in concurrent programs from their state-chart graphs. A set of operations are commutative if changing the order of their execution on an object does not affect the abstract state of the object and returns the same response. Concurrent operations that commute at object-level can be executed concurrently at transaction-level, which boosts performa… ▽ More We present a new approach to check for commutativity in concurrent programs from their state-chart graphs. A set of operations are commutative if changing the order of their execution on an object does not affect the abstract state of the object and returns the same response. Concurrent operations that commute at object-level can be executed concurrently at transaction-level, which boosts performance while preserving the appearance of atomicity and isolation. Utilizing object-level commutativity in transactional execution enables the reuse of existing non-blocking programming techniques for thread-level synchronization. In our approach, we generate state-chart graphs by tracking data on the atomic instructions invoked on the concurrent object during model checking and represent the atomic instructions as states in a state-transition representation. Considering the non-deterministic nature of concurrent programs, we determine commutativity by exhaustively searching for identical object states captured at a thread-level granularity across all thread interleavings. With this methodology, a user can not only verify commutativity among operations, but also can visually check ways in which methods commute at object-level, which is an edge over current state-of-the-art tools. The object-level commutative information helps in identifying faulty implementations and performance improvement considerations. We use the graph database, Neo4j, to represent object states as nodes that further assists the user to check for concurrency properties using Cypher queries. △ Less

Submitted 8 April, 2019; originally announced April 2019.

Lock-Free Transactional Adjacency List

Authors: Zachary Painter, Christina Peterson, Damian Dechev

Abstract: Adjacency lists are frequently used in graphing or map based applications. Although efficient concurrent linked-list algorithms are well known, it can be difficult to adapt these approaches to build a high-performance adjacency list. Furthermore, it can often be desirable to execute operations in these data structures transactionally, or perform a sequence of operations in one atomic step. In this… ▽ More Adjacency lists are frequently used in graphing or map based applications. Although efficient concurrent linked-list algorithms are well known, it can be difficult to adapt these approaches to build a high-performance adjacency list. Furthermore, it can often be desirable to execute operations in these data structures transactionally, or perform a sequence of operations in one atomic step. In this paper, we present a lock-free transactional adjacency list based on a multi-dimensional list (MDList). We are able to combine known linked list strategies with the capability of the MDList in order to efficiently organize graph vertexes and their edges. We design our underlying data structure to be node-based and linearizable, then use the Lock-Free Transactional Transformation (LFTT) methodology to efficiently enable transactional execution. In our performance evaluation, our lock-free transactional adjacency list achieves an average of 50% speedup over a transactional boosting implementation. △ Less

Submitted 24 March, 2019; originally announced March 2019.

Strong nonreciprocity in modulated resonator chains through synthetic electric and magnetic fields

Authors: Christopher W. Peterson, Wladimir A. Benalcazar, Mao Lin, Taylor L. Hughes, Gaurav Bahl

Abstract: We study nonreciprocity in spatiotemporally modulated 1D resonator chains from the perspective of equivalent 2D resonator arrays with a synthetic dimension and transverse synthetic electric and magnetic fields. The synthetic fields are respectively related to temporal and spatial modulation of the resonator chain, and we show that their combination can break transmission reciprocity without additi… ▽ More We study nonreciprocity in spatiotemporally modulated 1D resonator chains from the perspective of equivalent 2D resonator arrays with a synthetic dimension and transverse synthetic electric and magnetic fields. The synthetic fields are respectively related to temporal and spatial modulation of the resonator chain, and we show that their combination can break transmission reciprocity without additional elements. This nonreciprocal effect is analogous to the Hall effect for charged particles. We experimentally implement chains of 2 and 3 spatiotemporally modulated resonators and measure over 58 dB of isolation contrast. △ Less

Submitted 5 March, 2019; originally announced March 2019.

Comments: 8 pages, 6 figures

Journal ref: Phys. Rev. Lett. 123, 063901 (2019)

The Dynamical Diquark Model: First Numerical Results

Authors: Jesse F. Giron, Richard F. Lebed, Curtis T. Peterson

Abstract: We produce the first numerical predictions of the dynamical diquark model of multiquark exotic hadrons. Using Born-Oppenheimer potentials calculated numerically on the lattice, we solve coupled and uncoupled systems of Schroedinger equations to obtain mass eigenvalues for multiplets of states that are, at this stage, degenerate in spin and isospin. Assuming reasonable values for these fine-structu… ▽ More We produce the first numerical predictions of the dynamical diquark model of multiquark exotic hadrons. Using Born-Oppenheimer potentials calculated numerically on the lattice, we solve coupled and uncoupled systems of Schroedinger equations to obtain mass eigenvalues for multiplets of states that are, at this stage, degenerate in spin and isospin. Assuming reasonable values for these fine-structure splittings, we obtain a series of bands of exotic states with a common parity eigenvalue that agree well with the experimentally observed charmoniumlike states, and we predict a number of other unobserved states. In particular, the most suitable fit to known pentaquark states predicts states below the charmonium-plus-nucleon threshold. Finally, we examine the strictest form of Born-Oppenheimer decay selection rules for exotics and, finding them to fail badly, we propose a resolution by relaxing the constraint that exotics must occur as heavy-quark spin-symmetry eigenstates. △ Less

Submitted 9 May, 2019; v1 submitted 11 March, 2019; originally announced March 2019.

Comments: 27 pages, 1 PDF figure. Version accepted by JHEP. Includes new results and discussion reflecting the recent LHCb pentaquark discoveries

Pluto's lower atmosphere and pressure evolution from ground-based stellar occultations, 1988-2016

Authors: E. Meza, B. Sicardy, M. Assafin, J. L. Ortiz, T. Bertrand, E. Lellouch, J. Desmars, F. Forget, D. Bérard, A. Doressoundiram, J. Lecacheux, J. Marques Oliveira, F. Roques, T. Widemann, F. Colas, F. Vachier, S. Renner, R. Leiva, F. Braga-Ribas, G. Benedetti-Rossi, J. I. B. Camargo, A. Dias-Oliveira, B. Morgado, A. R. Gomes-Júnior, R. Vieira-Martins , et al. (145 additional authors not shown)

Abstract: Context. Pluto's tenuous nitrogen (N2) atmosphere undergoes strong seasonal effects due to high obliquity and orbital eccentricity, and has been recently (July 2015) observed by the New Horizons spacecraft. Goals are (i) construct a well calibrated record of the seasonal evolution of surface pressure on Pluto and (ii) constrain the structure of the lower atmosphere using a central flash observed i… ▽ More Context. Pluto's tenuous nitrogen (N2) atmosphere undergoes strong seasonal effects due to high obliquity and orbital eccentricity, and has been recently (July 2015) observed by the New Horizons spacecraft. Goals are (i) construct a well calibrated record of the seasonal evolution of surface pressure on Pluto and (ii) constrain the structure of the lower atmosphere using a central flash observed in 2015. Method: eleven stellar occultations by Pluto observed between 2002 and 2016 are used to retrieve atmospheric profiles (density, pressure, temperature) between $\sim$5 km and $\sim$380 km altitude levels (i.e. pressures from about 10 microbar to 10 nanobar). Results: (i) Pressure has suffered a monotonic increase from 1988 to 2016, that is compared to a seasonal volatile transport model, from which tight constraints on a combination of albedo and emissivity of N2 ice are derived; (ii) A central flash observed on 2015 June 29 is consistent with New Horizons REX profiles, provided that (a) large diurnal temperature variations (not expected by current models) occur over Sputnik Planitia and/or (b) hazes with tangential optical depth of about 0.3 are present at 4-7 km altitude levels and/or (c) the nominal REX density values are overestimated by an implausibly large factor of about 20% and/or (d) higher terrains block part of the flash in the Charon facing hemisphere. △ Less

Submitted 6 March, 2019; originally announced March 2019.

Comments: 21 pages, 11 figures

Journal ref: A&A 625, A42 (2019)

Using Machine Learning to Guide Cognitive Modeling: A Case Study in Moral Reasoning

Authors: Mayank Agrawal, Joshua C. Peterson, Thomas L. Griffiths

Abstract: Large-scale behavioral datasets enable researchers to use complex machine learning algorithms to better predict human behavior, yet this increased predictive power does not always lead to a better understanding of the behavior in question. In this paper, we outline a data-driven, iterative procedure that allows cognitive scientists to use machine learning to generate models that are both interpret… ▽ More Large-scale behavioral datasets enable researchers to use complex machine learning algorithms to better predict human behavior, yet this increased predictive power does not always lead to a better understanding of the behavior in question. In this paper, we outline a data-driven, iterative procedure that allows cognitive scientists to use machine learning to generate models that are both interpretable and accurate. We demonstrate this method in the domain of moral decision-making, where standard experimental approaches often identify relevant principles that influence human judgments, but fail to generalize these findings to "real world" situations that place these principles in conflict. The recently released Moral Machine dataset allows us to build a powerful model that can predict the outcomes of these conflicts while remaining simple enough to explain the basis behind human decisions. △ Less

Submitted 10 May, 2019; v1 submitted 18 February, 2019; originally announced February 2019.

Comments: Camera ready version for Cognitive Science Conference