-
Sparse Bayesian multidimensional scaling(s)
Authors:
Ami Sheth,
Aaron Smith,
Andrew J. Holbrook
Abstract:
Bayesian multidimensional scaling (BMDS) is a probabilistic dimension reduction tool that allows one to model and visualize data consisting of dissimilarities between pairs of objects. Although BMDS has proven useful within, e.g., Bayesian phylogenetic inference, its likelihood and gradient calculations require a burdensome order of $N^2$ floating-point operations, where $N$ is the number of data…
▽ More
Bayesian multidimensional scaling (BMDS) is a probabilistic dimension reduction tool that allows one to model and visualize data consisting of dissimilarities between pairs of objects. Although BMDS has proven useful within, e.g., Bayesian phylogenetic inference, its likelihood and gradient calculations require a burdensome order of $N^2$ floating-point operations, where $N$ is the number of data points. Thus, BMDS becomes impractical as $N$ grows large. We propose and compare two sparse versions of BMDS (sBMDS) that apply log-likelihood and gradient computations to subsets of the observed dissimilarity matrix data. Landmark sBMDS (L-sBMDS) extracts columns, while banded sBMDS (B-sBMDS) extracts diagonals of the data. These sparse variants let one specify a time complexity between $N^2$ and $N$. Under simplified settings, we prove posterior consistency for subsampled distance matrices. Through simulations, we examine the accuracy and computational efficiency across all models using both the Metropolis-Hastings and Hamiltonian Monte Carlo algorithms. We observe approximately 3-fold, 10-fold and 40-fold speedups with negligible loss of accuracy, when applying the sBMDS likelihoods and gradients to 500, 1,000 and 5,000 data points with 50 bands (landmarks); these speedups only increase with the size of data considered. Finally, we apply the sBMDS variants to the phylogeographic modeling of multiple influenza subtypes to better understand how these strains spread through global air transportation networks.
△ Less
Submitted 21 June, 2024;
originally announced June 2024.
-
Implications of Regulations on the Use of AI and Generative AI for Human-Centered Responsible Artificial Intelligence
Authors:
Marios Constantinides,
Mohammad Tahaei,
Daniele Quercia,
Simone Stumpf,
Michael Madaio,
Sean Kennedy,
Lauren Wilcox,
Jessica Vitak,
Henriette Cramer,
Edyta Bogucka,
Ricardo Baeza-Yates,
Ewa Luger,
Jess Holbrook,
Michael Muller,
Ilana Golbin Blumenfeld,
Giada Pistilli
Abstract:
With the upcoming AI regulations (e.g., EU AI Act) and rapid advancements in generative AI, new challenges emerge in the area of Human-Centered Responsible Artificial Intelligence (HCR-AI). As AI becomes more ubiquitous, questions around decision-making authority, human oversight, accountability, sustainability, and the ethical and legal responsibilities of AI and their creators become paramount.…
▽ More
With the upcoming AI regulations (e.g., EU AI Act) and rapid advancements in generative AI, new challenges emerge in the area of Human-Centered Responsible Artificial Intelligence (HCR-AI). As AI becomes more ubiquitous, questions around decision-making authority, human oversight, accountability, sustainability, and the ethical and legal responsibilities of AI and their creators become paramount. Addressing these questions requires a collaborative approach. By involving stakeholders from various disciplines in the 2\textsuperscript{nd} edition of the HCR-AI Special Interest Group (SIG) at CHI 2024, we aim to discuss the implications of regulations in HCI research, develop new theories, evaluation frameworks, and methods to navigate the complex nature of AI ethics, steering AI development in a direction that is beneficial and sustainable for all of humanity.
△ Less
Submitted 29 February, 2024;
originally announced March 2024.
-
More Quantum Speedups for Multiproposal MCMC
Authors:
Chin-Yi Lin,
Kuo-Chin Chen,
Philippe Lemey,
Marc A. Suchard,
Andrew J. Holbrook,
Min-Hsiu Hsieh
Abstract:
Multiproposal Markov chain Monte Carlo (MCMC) algorithms choose from multiple proposals at each iteration in order to sample from challenging target distributions more efficiently. Recent work demonstrates the possibility of quadratic quantum speedups for one such multiproposal MCMC algorithm. Using $P$ proposals, this quantum parallel MCMC QPMCMC algorithm requires only $\mathcal{O}(\sqrt{P})$ ta…
▽ More
Multiproposal Markov chain Monte Carlo (MCMC) algorithms choose from multiple proposals at each iteration in order to sample from challenging target distributions more efficiently. Recent work demonstrates the possibility of quadratic quantum speedups for one such multiproposal MCMC algorithm. Using $P$ proposals, this quantum parallel MCMC QPMCMC algorithm requires only $\mathcal{O}(\sqrt{P})$ target evaluations at each step. Here, we present a fast new quantum multiproposal MCMC strategy, QPMCMC2, that only requires $\mathcal{O}(1)$ target evaluations and $\mathcal{O}(\log P)$ qubits. Unlike its slower predecessor, the QPMCMC2 Markov kernel (1) maintains detailed balance exactly and (2) is fully explicit for a large class of graphical models. We demonstrate this flexibility by applying QPMCMC2 to novel Ising-type models built on bacterial evolutionary networks and obtain significant speedups for Bayesian ancestral trait reconstruction for 248 observed salmonella bacteria.
△ Less
Submitted 5 December, 2023; v1 submitted 3 December, 2023;
originally announced December 2023.
-
On the surprising effectiveness of a simple matrix exponential derivative approximation, with application to global SARS-CoV-2
Authors:
Gustavo Didier,
Nathan E. Glatt-Holtz,
Andrew J. Holbrook,
Andrew F. Magee,
Marc A. Suchard
Abstract:
The continuous-time Markov chain (CTMC) is the mathematical workhorse of evolutionary biology. Learning CTMC model parameters using modern, gradient-based methods requires the derivative of the matrix exponential evaluated at the CTMC's infinitesimal generator (rate) matrix. Motivated by the derivative's extreme computational complexity as a function of state space cardinality, recent work demonst…
▽ More
The continuous-time Markov chain (CTMC) is the mathematical workhorse of evolutionary biology. Learning CTMC model parameters using modern, gradient-based methods requires the derivative of the matrix exponential evaluated at the CTMC's infinitesimal generator (rate) matrix. Motivated by the derivative's extreme computational complexity as a function of state space cardinality, recent work demonstrates the surprising effectiveness of a naive, first-order approximation for a host of problems in computational biology. In response to this empirical success, we obtain rigorous deterministic and probabilistic bounds for the error accrued by the naive approximation and establish a "blessing of dimensionality" result that is universal for a large class of rate matrices with random entries. Finally, we apply the first-order approximation within surrogate-trajectory Hamiltonian Monte Carlo for the analysis of the early spread of SARS-CoV-2 across 44 geographic regions that comprise a state space of unprecedented dimensionality for unstructured (flexible) CTMC models within evolutionary biology.
△ Less
Submitted 6 December, 2023; v1 submitted 27 June, 2023;
originally announced June 2023.
-
The Design Space of Generative Models
Authors:
Meredith Ringel Morris,
Carrie J. Cai,
Jess Holbrook,
Chinmay Kulkarni,
Michael Terry
Abstract:
Card et al.'s classic paper "The Design Space of Input Devices" established the value of design spaces as a tool for HCI analysis and invention. We posit that develo** design spaces for emerging pre-trained, generative AI models is necessary for supporting their integration into human-centered systems and practices. We explore what it means to develop an AI model design space by proposing two de…
▽ More
Card et al.'s classic paper "The Design Space of Input Devices" established the value of design spaces as a tool for HCI analysis and invention. We posit that develo** design spaces for emerging pre-trained, generative AI models is necessary for supporting their integration into human-centered systems and practices. We explore what it means to develop an AI model design space by proposing two design spaces relating to generative AI models: the first considers how HCI can impact generative models (i.e., interfaces for models) and the second considers how generative models can impact HCI (i.e., models as an HCI prototy** material).
△ Less
Submitted 15 April, 2023;
originally announced April 2023.
-
Random-effects substitution models for phylogenetics via scalable gradient approximations
Authors:
Andrew F. Magee,
Andrew J. Holbrook,
Jonathan E. Pekar,
Itzue W. Caviedes-Solis,
Fredrick A. Matsen IV,
Guy Baele,
Joel O. Wertheim,
Xiang Ji,
Philippe Lemey,
Marc A. Suchard
Abstract:
Phylogenetic and discrete-trait evolutionary inference depend heavily on an appropriate characterization of the underlying character substitution process. In this paper, we present random-effects substitution models that extend common continuous-time Markov chain models into a richer class of processes capable of capturing a wider variety of substitution dynamics. As these random-effects substitut…
▽ More
Phylogenetic and discrete-trait evolutionary inference depend heavily on an appropriate characterization of the underlying character substitution process. In this paper, we present random-effects substitution models that extend common continuous-time Markov chain models into a richer class of processes capable of capturing a wider variety of substitution dynamics. As these random-effects substitution models often require many more parameters than their usual counterparts, inference can be both statistically and computationally challenging. Thus, we also propose an efficient approach to compute an approximation to the gradient of the data likelihood with respect to all unknown substitution model parameters. We demonstrate that this approximate gradient enables scaling of sampling-based inference, namely Bayesian inference via Hamiltonian Monte Carlo, under random-effects substitution models across large trees and state-spaces. Applied to a dataset of 583 SARS-CoV-2 sequences, an HKY model with random-effects shows strong signals of nonreversibility in the substitution process, and posterior predictive model checks clearly show that it is a more adequate model than a reversible model. When analyzing the pattern of phylogeographic spread of 1441 influenza A virus (H3N2) sequences between 14 regions, a random-effects phylogeographic substitution model infers that air travel volume adequately predicts almost all dispersal rates. A random-effects state-dependent substitution model reveals no evidence for an effect of arboreality on the swimming mode in the tree frog subfamily Hylinae. Simulations reveal that random-effects substitution models can accommodate both negligible and radical departures from the underlying base substitution model. We show that our gradient-based inference approach is over an order of magnitude more time efficient than conventional approaches.
△ Less
Submitted 25 September, 2023; v1 submitted 23 March, 2023;
originally announced March 2023.
-
A Spatially Varying Hierarchical Random Effects Model for Longitudinal Macular Structural Data in Glaucoma Patients
Authors:
Erica Su,
Robert E. Weiss,
Kouros Nouri-Mahdavi,
Andrew J. Holbrook
Abstract:
We model longitudinal macular thickness measurements to monitor the course of glaucoma and prevent vision loss due to disease progression. The macular thickness varies over a 6$\times$6 grid of locations on the retina with additional variability arising from the imaging process at each visit. Currently, ophthalmologists estimate slopes using repeated simple linear regression for each subject and l…
▽ More
We model longitudinal macular thickness measurements to monitor the course of glaucoma and prevent vision loss due to disease progression. The macular thickness varies over a 6$\times$6 grid of locations on the retina with additional variability arising from the imaging process at each visit. Currently, ophthalmologists estimate slopes using repeated simple linear regression for each subject and location. To estimate slopes more precisely, we develop a novel Bayesian hierarchical model for multiple subjects with spatially varying population-level and subject-level coefficients, borrowing information over subjects and measurement locations. We augment the model with visit effects to account for observed spatially correlated visit-specific errors. We model spatially varying (a) intercepts, (b) slopes, and (c) log residual standard deviations (SD) with multivariate Gaussian process priors with Matérn cross-covariance functions. Each marginal process assumes an exponential kernel with its own SD and spatial correlation matrix. We develop our models for and apply them to data from the Advanced Glaucoma Progression Study. We show that including visit effects in the model reduces error in predicting future thickness measurements and greatly improves model fit.
△ Less
Submitted 20 March, 2023; v1 submitted 15 March, 2023;
originally announced March 2023.
-
Human-Centered Responsible Artificial Intelligence: Current & Future Trends
Authors:
Mohammad Tahaei,
Marios Constantinides,
Daniele Quercia,
Sean Kennedy,
Michael Muller,
Simone Stumpf,
Q. Vera Liao,
Ricardo Baeza-Yates,
Lora Aroyo,
Jess Holbrook,
Ewa Luger,
Michael Madaio,
Ilana Golbin Blumenfeld,
Maria De-Arteaga,
Jessica Vitak,
Alexandra Olteanu
Abstract:
In recent years, the CHI community has seen significant growth in research on Human-Centered Responsible Artificial Intelligence. While different research communities may use different terminology to discuss similar topics, all of this work is ultimately aimed at develo** AI that benefits humanity while being grounded in human rights and ethics, and reducing the potential harms of AI. In this sp…
▽ More
In recent years, the CHI community has seen significant growth in research on Human-Centered Responsible Artificial Intelligence. While different research communities may use different terminology to discuss similar topics, all of this work is ultimately aimed at develo** AI that benefits humanity while being grounded in human rights and ethics, and reducing the potential harms of AI. In this special interest group, we aim to bring together researchers from academia and industry interested in these topics to map current and future research trends to advance this important area of research by fostering collaboration and sharing ideas.
△ Less
Submitted 16 February, 2023;
originally announced February 2023.
-
Parallel MCMC Algorithms: Theoretical Foundations, Algorithm Design, Case Studies
Authors:
Nathan E. Glatt-Holtz,
Andrew J. Holbrook,
Justin A. Krometis,
Cecilia F. Mondaini
Abstract:
Parallel Markov Chain Monte Carlo (pMCMC) algorithms generate clouds of proposals at each step to efficiently resolve a target probability distribution. We build a rigorous foundational framework for pMCMC algorithms that situates these methods within a unified `extended phase space' measure-theoretic formalism. Drawing on our recent work that provides a comprehensive theory for reversible single…
▽ More
Parallel Markov Chain Monte Carlo (pMCMC) algorithms generate clouds of proposals at each step to efficiently resolve a target probability distribution. We build a rigorous foundational framework for pMCMC algorithms that situates these methods within a unified `extended phase space' measure-theoretic formalism. Drawing on our recent work that provides a comprehensive theory for reversible single proposal methods, we herein derive general criteria for multiproposal acceptance mechanisms which yield unbiased chains on general state spaces. Our formulation encompasses a variety of methodologies, including proposal cloud resampling and Hamiltonian methods, while providing a basis for the derivation of novel algorithms. In particular, we obtain a top-down picture for a class of methods arising from `conditionally independent' proposal structures. As an immediate application, we identify several new algorithms including a multiproposal version of the popular preconditioned Crank-Nicolson (pCN) sampler suitable for high- and infinite-dimensional target measures which are absolutely continuous with respect to a Gaussian base measure. To supplement our theoretical results, we carry out a selection of numerical case studies that evaluate the efficacy of these novel algorithms. First, noting that the true potential of pMCMC algorithms arises from their natural parallelizability, we provide a limited parallelization study using TensorFlow and a graphics processing unit to scale pMCMC algorithms that leverage as many as 100k proposals at each step. Second, we use our multiproposal pCN algorithm (mpCN) to resolve a selection of problems in Bayesian statistical inversion for partial differential equations motivated by fluid measurement. These examples provide preliminary evidence of the efficacy of mpCN for high-dimensional target distributions featuring complex geometries and multimodal structures.
△ Less
Submitted 10 September, 2022;
originally announced September 2022.
-
A Systematic Review and Thematic Analysis of Community-Collaborative Approaches to Computing Research
Authors:
Ned Cooper,
Tiffanie Horne,
Gillian Hayes,
Courtney Heldreth,
Michal Lahav,
Jess Scon Holbrook,
Lauren Wilcox
Abstract:
HCI researchers have been gradually shifting attention from individual users to communities when engaging in research, design, and system development. However, our field has yet to establish a cohesive, systematic understanding of the challenges, benefits, and commitments of community-collaborative approaches to research. We conducted a systematic review and thematic analysis of 47 computing resea…
▽ More
HCI researchers have been gradually shifting attention from individual users to communities when engaging in research, design, and system development. However, our field has yet to establish a cohesive, systematic understanding of the challenges, benefits, and commitments of community-collaborative approaches to research. We conducted a systematic review and thematic analysis of 47 computing research papers discussing participatory research with communities for the development of technological artifacts and systems, published over the last two decades. From this review, we identified seven themes associated with the evolution of a project: from establishing community partnerships to sustaining results. Our findings suggest that several tensions characterize these projects, many of which relate to the power and position of researchers, and the computing research environment, relative to community partners. We discuss the implications of our findings and offer methodological proposals to guide HCI, and computing research more broadly, towards practices that center communities.
△ Less
Submitted 8 July, 2022;
originally announced July 2022.
-
Real Schur norms and Hadamard matrices
Authors:
John Holbrook,
Nathaniel Johnston,
Jean-Pierre Schoch
Abstract:
We present a preliminary study of Schur norms $\|M\|_{S}=\max\{ \|M\circ C\|: \|C\|=1\}$, where M is a matrix whose entries are $\pm1$, and $\circ$ denotes the entrywise (i.e., Schur or Hadamard) product of the matrices. We show that, if such a matrix M is n-by-n, then its Schur norm is bounded by $\sqrt{n}$, and equality holds if and only if it is a Hadamard matrix. We develop a numerically effic…
▽ More
We present a preliminary study of Schur norms $\|M\|_{S}=\max\{ \|M\circ C\|: \|C\|=1\}$, where M is a matrix whose entries are $\pm1$, and $\circ$ denotes the entrywise (i.e., Schur or Hadamard) product of the matrices. We show that, if such a matrix M is n-by-n, then its Schur norm is bounded by $\sqrt{n}$, and equality holds if and only if it is a Hadamard matrix. We develop a numerically efficient method of computing Schur norms, and as an application of our results we present several almost Hadamard matrices that are better than were previously known.
△ Less
Submitted 6 June, 2022;
originally announced June 2022.
-
Computational Statistics and Data Science in the Twenty-first Century
Authors:
Andrew J. Holbrook,
Akihiko Nishimura,
Xiang Ji,
Marc A. Suchard
Abstract:
Data science has arrived, and computational statistics is its engine. As the scale and complexity of scientific and industrial data grow, the discipline of computational statistics assumes an increasingly central role among the statistical sciences. An explosion in the range of real-world applications means the development of more and more specialized computational methods, but five Core Challenge…
▽ More
Data science has arrived, and computational statistics is its engine. As the scale and complexity of scientific and industrial data grow, the discipline of computational statistics assumes an increasingly central role among the statistical sciences. An explosion in the range of real-world applications means the development of more and more specialized computational methods, but five Core Challenges remain. We provide a high-level introduction to computational statistics by focusing on its central challenges, present recent model-specific advances and preach the ever-increasing role of non-sequential computational paradigms such as multi-core, many-core and quantum computing. Data science is bringing major changes to computational statistics, and these changes will shape the trajectory of the discipline in the 21st century.
△ Less
Submitted 12 April, 2022;
originally announced April 2022.
-
Synthesizing longitudinal cortical thickness estimates with a flexible and hierarchical multivariate measurement-error model
Authors:
Jesse W. Birchfield,
Nicholas J. Tustison,
Andrew J. Holbrook
Abstract:
MRI-based entorhinal cortical thickness (eCT) measurements predict cognitive decline in Alzheimer's disease (AD) with low cost and minimal invasiveness. Two prominent imaging paradigms, FreeSurfer (FS) and Advanced Normalization Tools (ANTs), feature multiple pipelines for extracting region-specific eCT measurements from raw MRI, but the sheer complexity of these pipelines makes it difficult to ch…
▽ More
MRI-based entorhinal cortical thickness (eCT) measurements predict cognitive decline in Alzheimer's disease (AD) with low cost and minimal invasiveness. Two prominent imaging paradigms, FreeSurfer (FS) and Advanced Normalization Tools (ANTs), feature multiple pipelines for extracting region-specific eCT measurements from raw MRI, but the sheer complexity of these pipelines makes it difficult to choose between pipelines, compare results between pipelines, and characterize uncertainty in pipeline estimates. Worse yet, the EC is particularly difficult to image, leading to variations in thickness estimates between pipelines that overwhelm physiologicl variations predictive of AD. We examine the eCT outputs of seven different pipelines on MRIs from the Alzheimer's Disease Neuroimaging Initiative. Because of both theoretical and practical limitations, we have no gold standard by which to evaluate them. Instead, we use a Bayesian hierarchical model to combine the estimates. The resulting posterior distribution yields high-probability idealized eCT values that account for inherent uncertainty through a flexible multivariate error model that supports different constant offsets, standard deviations, tailedness, and correlation structures between pipelines. Our hierarchical model directly relates idealized eCTs to clinical outcomes in a way that propagates eCT estimation uncertainty to clinical estimates while accounting for longitudinal structure in the data. Surprisingly, even though it incorporates greater uncertainty in the predictor and regularization provided by the prior, the combined model reveals a stronger association between eCT and cognitive capacity than do nonhierarchical models based on data from single pipelines alone.
△ Less
Submitted 7 April, 2022;
originally announced April 2022.
-
Accelerating Bayesian inference of dependency between complex biological traits
Authors:
Zhenyu Zhang,
Akihiko Nishimura,
Nídia S. Trovão,
Joshua L. Cherry,
Andrew J. Holbrook,
Xiang Ji,
Philippe Lemey,
Marc A. Suchard
Abstract:
Inferring dependencies between complex biological traits while accounting for evolutionary relationships between specimens is of great scientific interest yet remains infeasible when trait and specimen counts grow large. The state-of-the-art approach uses a phylogenetic multivariate probit model to accommodate binary and continuous traits via a latent variable framework, and utilizes an efficient…
▽ More
Inferring dependencies between complex biological traits while accounting for evolutionary relationships between specimens is of great scientific interest yet remains infeasible when trait and specimen counts grow large. The state-of-the-art approach uses a phylogenetic multivariate probit model to accommodate binary and continuous traits via a latent variable framework, and utilizes an efficient bouncy particle sampler (BPS) to tackle the computational bottleneck -- integrating many latent variables from a high-dimensional truncated normal distribution. This approach breaks down as the number of specimens grows and fails to reliably characterize conditional dependencies between traits. Here, we propose an inference pipeline for phylogenetic probit models that greatly outperforms BPS. The novelty lies in 1) a combination of the recent Zigzag Hamiltonian Monte Carlo (Zigzag-HMC) with linear-time gradient evaluations and 2) a joint sampling scheme for highly correlated latent variables and correlation matrix elements. In an application exploring HIV-1 evolution from 535 viruses, the inference requires joint sampling from an 11,235-dimensional truncated normal and a 24-dimensional covariance matrix. Our method yields a 5-fold speedup compared to BPS and makes it possible to learn partial correlations between candidate viral mutations and virulence. Computational speedup now enables us to tackle even larger problems: we study the evolution of influenza H1N1 glycosylations on around 900 viruses. For broader applicability, we extend the phylogenetic probit model to incorporate categorical traits, and demonstrate its use to study Aquilegia flower and pollinator co-evolution.
△ Less
Submitted 7 September, 2022; v1 submitted 18 January, 2022;
originally announced January 2022.
-
Introducing ASTROMOVES
Authors:
Jarita Holbrook
Abstract:
The ASTROMOVES project studies the career moves and the career decision-making of astrophysicists. The astrophysicists participating have to have made at least two career moves after receiving their doctorates, which is usually between 4 and 8 years post PhD. ASTROMOVES is funded via the European Union and thus each participant must have worked or lived in Europe. Gender, ethnicity, nationality, m…
▽ More
The ASTROMOVES project studies the career moves and the career decision-making of astrophysicists. The astrophysicists participating have to have made at least two career moves after receiving their doctorates, which is usually between 4 and 8 years post PhD. ASTROMOVES is funded via the European Union and thus each participant must have worked or lived in Europe. Gender, ethnicity, nationality, marital status, and if they have children are some of the many factors for analysis. Other studies of the careers of astronomers and astrophysicists have taken survey approaches (Fohlmeister & Helling, 2012, 2014; Ivie et al., 2013; Ivie & White, 2015) laying a foundation upon which ASTROMOVES builds. For ASTROMOVES qualitative interviews are combined with publicly available information for the project, rather than surveys. Valuable information about career options and the decisions about where not to apply will be gathered for the first time. Those few studies that have used qualitative interviews often include both physicists and astrophysicists, nonetheless they have revealed issues that are important to ASTROMOVES such as the role of activism and the nuances of having children related to the long work hours culture (Ong, 2001; Rolin & Vainio, 2011). The global COVID-19 pandemic has slowed down the project; however, at the time of this writing 20 interviews have been completed. These interviews support previous research findings on how having a family plays an important role in career decision making, as well as the importance of mobility in building a career in astrophysics. Cultural Astronomy spans all aspects of the relationship between humans and the sky as well as all times ancient to the present; and thus, studying astronomers & astrophysicists who have a professional relationship to the sky is part of cultural astronomy, too.
△ Less
Submitted 6 December, 2021;
originally announced December 2021.
-
A quantum parallel Markov chain Monte Carlo
Authors:
Andrew J. Holbrook
Abstract:
We propose a novel hybrid quantum computing strategy for parallel MCMC algorithms that generate multiple proposals at each step. This strategy makes the rate-limiting step within parallel MCMC amenable to quantum parallelization by using the Gumbel-max trick to turn the generalized accept-reject step into a discrete optimization problem. When combined with new insights from the parallel MCMC liter…
▽ More
We propose a novel hybrid quantum computing strategy for parallel MCMC algorithms that generate multiple proposals at each step. This strategy makes the rate-limiting step within parallel MCMC amenable to quantum parallelization by using the Gumbel-max trick to turn the generalized accept-reject step into a discrete optimization problem. When combined with new insights from the parallel MCMC literature, such an approach allows us to embed target density evaluations within a well-known extension of Grover's quantum search algorithm. Letting $P$ denote the number of proposals in a single MCMC iteration, the combined strategy reduces the number of target evaluations required from $\mathcal{O}(P)$ to $\mathcal{O}(P^{1/2})$. In the following, we review the rudiments of quantum computing, quantum search and the Gumbel-max trick in order to elucidate their combination for as wide a readership as possible.
△ Less
Submitted 19 March, 2023; v1 submitted 30 November, 2021;
originally announced December 2021.
-
Generating MCMC proposals by randomly rotating the regular simplex
Authors:
Andrew J. Holbrook
Abstract:
We present the simplicial sampler, a class of parallel MCMC methods that generate and choose from multiple proposals at each iteration. The algorithm's multiproposal randomly rotates a simplex connected to the current Markov chain state in a way that inherently preserves symmetry between proposals. As a result, the simplicial sampler leads to a simplified acceptance step: it simply chooses from am…
▽ More
We present the simplicial sampler, a class of parallel MCMC methods that generate and choose from multiple proposals at each iteration. The algorithm's multiproposal randomly rotates a simplex connected to the current Markov chain state in a way that inherently preserves symmetry between proposals. As a result, the simplicial sampler leads to a simplified acceptance step: it simply chooses from among the simplex nodes with probability proportional to their target density values. We also investigate a multivariate Gaussian-based symmetric multiproposal mechanism and prove that it also enjoys the same simplified acceptance step. This insight leads to significant theoretical and practical speedups. While both algorithms enjoy natural parallelizability, we show that conventional implementations are sufficient to confer efficiency gains across an array of dimensions and a number of target distributions.
△ Less
Submitted 13 September, 2022; v1 submitted 12 October, 2021;
originally announced October 2021.
-
What? Who? Why? Stellify
Authors:
Jarita Holbrook
Abstract:
In his 1981 article, Roberts highlights the term 'stellify' defined as "to transform (a person or thing) into a star or constellation, to place among the stars." Using the case of the Tabwa people of central Africa, not the Democratic Republic of Congo, Roberts presents among other things the sky as a mnemonic for remembering migrations and remembering culture heroes. We do not know the details of…
▽ More
In his 1981 article, Roberts highlights the term 'stellify' defined as "to transform (a person or thing) into a star or constellation, to place among the stars." Using the case of the Tabwa people of central Africa, not the Democratic Republic of Congo, Roberts presents among other things the sky as a mnemonic for remembering migrations and remembering culture heroes. We do not know the details of the processes of stellification, however we do know what has been stellified in many cultures by examining their names for stars and asterisms and their skylore. Of the many ideas presented in his latest book, Aveni teases out the ideas of the sky stories having connections to celestial motions, as well as being a mnemonic for remembering seasonal activities and a mnemonic for remembering locally embedded moral, ethical, and sociocultural codes, thus overlap** with Roberts' supposition of the sky serving as a mnemonic. I draw on case studies to flesh out three themes 1. celestial motions, 2. moral, ethical, and sociocultural codes, and 3. seasonal activities within African sky stories. As previously stated, though the human process of assigning names and stories to the night sky as well as stellifying aspects of their lives is not fully understood, these three themes hold promise for being foundational if not part of every culture's practice of stellification.
△ Less
Submitted 22 July, 2021;
originally announced July 2021.
-
Principled, practical, flexible, fast: a new approach to phylogenetic factor analysis
Authors:
Gabriel W. Hassler,
Brigida Gallone,
Leandro Aristide,
William L. Allen,
Max R. Tolkoff,
Andrew J. Holbrook,
Guy Baele,
Philippe Lemey,
Marc A. Suchard
Abstract:
Biological phenotypes are products of complex evolutionary processes in which selective forces influence multiple biological trait measurements in unknown ways. Phylogenetic factor analysis disentangles these relationships across the evolutionary history of a group of organisms. Scientists seeking to employ this modeling framework confront numerous modeling and implementation decisions, the detail…
▽ More
Biological phenotypes are products of complex evolutionary processes in which selective forces influence multiple biological trait measurements in unknown ways. Phylogenetic factor analysis disentangles these relationships across the evolutionary history of a group of organisms. Scientists seeking to employ this modeling framework confront numerous modeling and implementation decisions, the details of which pose computational and replicability challenges. General and impactful community employment requires a data scientific analysis plan that balances flexibility, speed and ease of use, while minimizing model and algorithm tuning. Even in the presence of non-trivial phylogenetic model constraints, we show that one may analytically address latent factor uncertainty in a way that (a) aids model flexibility, (b) accelerates computation (by as much as 500-fold) and (c) decreases required tuning. We further present practical guidance on inference and modeling decisions as well as diagnosing and solving common problems in these analyses. We codify this analysis plan in an automated pipeline that distills the potentially overwhelming array of modeling decisions into a small handful of (typically binary) choices. We demonstrate the utility of these methods and analysis plan in four real-world problems of varying scales.
△ Less
Submitted 2 July, 2021;
originally announced July 2021.
-
Embracing Uncertainty in "Small Data" Problems: Estimating Earthquakes from Historical Anecdotes
Authors:
Justin A. Krometis,
Hayden Ringer,
Jared P. Whitehead,
Nathan E. Glatt-Holtz,
Ronald A. Harris,
Andrew J. Holbrook
Abstract:
Improving understanding of current seismic risk is often dependent on develo** a more complete characterization of earthquakes that have occurred in the past, and in particular before the development of modern sensing equipment in the middle of the twentieth century. However, accounts of such events are typically anecdotal in nature, limiting efforts to model them to more heuristic approaches. T…
▽ More
Improving understanding of current seismic risk is often dependent on develo** a more complete characterization of earthquakes that have occurred in the past, and in particular before the development of modern sensing equipment in the middle of the twentieth century. However, accounts of such events are typically anecdotal in nature, limiting efforts to model them to more heuristic approaches. To address this shortfall, we develop a framework based in Bayesian inference to provide a more rigorous methodology for estimating pre-instrumental earthquakes. By directly modeling accounts of resultant tsunamis via probability distributions, the framework allows practitioners to make principled estimates of key characteristics (e.g., magnitude and location) of historical earthquakes. To illustrate this idea, we apply the methodology to the estimation of an earthquake in Eastern Indonesia in the mid 19th century, the source of which is currently the subject of considerable debate in the geological community. The approach taken here gives evidence that even "small data" that is limited in scope and extremely uncertain can still be used to yield information on past seismic events. Moreover, sensitivity bounds indicate that the results obtained here are robust despite the inherent uncertainty in the observations.
△ Less
Submitted 4 October, 2022; v1 submitted 14 June, 2021;
originally announced June 2021.
-
From viral evolution to spatial contagion: a biologically modulated Hawkes model
Authors:
Andrew J. Holbrook,
Xiang Ji,
Marc A. Suchard
Abstract:
Mutations sometimes increase contagiousness for evolving pathogens. During an epidemic, scientists use viral genome data to infer a shared evolutionary history and connect this history to geographic spread. We propose a model that directly relates a pathogen's evolution to its spatial contagion dynamics -- effectively combining the two epidemiological paradigms of phylogenetic inference and self-e…
▽ More
Mutations sometimes increase contagiousness for evolving pathogens. During an epidemic, scientists use viral genome data to infer a shared evolutionary history and connect this history to geographic spread. We propose a model that directly relates a pathogen's evolution to its spatial contagion dynamics -- effectively combining the two epidemiological paradigms of phylogenetic inference and self-exciting process modeling -- and apply this \emph{phylogenetic Hawkes process} to a Bayesian analysis of 23,422 viral cases from the 2014-2016 Ebola outbreak in West Africa. The proposed model is able to detect individual viruses with significantly elevated rates of spatiotemporal propagation for a subset of 1,610 samples that provide genome data. Finally, to facilitate model application in big data settings, we develop massively parallel implementations for the gradient and Hessian of the log-likelihood and apply our high performance computing framework within an adaptively preconditioned Hamiltonian Monte Carlo routine.
△ Less
Submitted 10 September, 2021; v1 submitted 2 March, 2021;
originally announced March 2021.
-
ASTROMOVES: Astrophysics, Diversity, Mobility
Authors:
Jarita Holbrook
Abstract:
The US astronomy/astrophysics community comes together to create a decadal report that summarizes grant funding priorities, observatory & instrumental priorities as well as community accomplishments and community goals such as increasing the number of women and the number of people from underrepresented groups. In the 2010 US National Academies Decadal Survey of Astronomy (National Research Counci…
▽ More
The US astronomy/astrophysics community comes together to create a decadal report that summarizes grant funding priorities, observatory & instrumental priorities as well as community accomplishments and community goals such as increasing the number of women and the number of people from underrepresented groups. In the 2010 US National Academies Decadal Survey of Astronomy (National Research Council, 2010), it was suggested that having to move so frequently which is a career necessity may be unattractive to people wanting to start a family, especially impacting women. Whether in Europe or elsewhere, as postdocs, astrophysicists will relocate every two to three years, until they secure a permanent position or leave research altogether. Astrophysicists do perceive working abroad as important and positive for their careers (Parenti, 2002); however, it was found that the men at equal rank had not had to spend as much time abroad to further their careers (Fohlmeister & Helling, 2012). By implication, women need to work abroad longer or have more positions abroad to achieve the same rank as men. Astrophysicists living in the United Kingdom prefer to work in their country of origin, but many did not do so because of worse working conditions or difficultly finding a job for their spouse (Fohlmeister & Helling, 2014). In sum, mobility and moving is necessary for a career in astrophysics, and even more necessary for women, but astrophysicists prefer not to move as frequently as needed to maintain a research career. To gather more data on these issues and to broaden the discourse beyond male/female to include the gender diverse as well as to include other forms of diversity, I designed the ASTROMOVES project which is funded through a Marie Curie Individual Fellowship. Though slowed down by COVID-19, several interviews have been conducted and some preliminary results will be presented.
△ Less
Submitted 21 January, 2021;
originally announced January 2021.
-
Bayesian mitigation of spatial coarsening for a Hawkes model applied to gunfire, wildfire and viral contagion
Authors:
Andrew J. Holbrook,
Xiang Ji,
Marc A. Suchard
Abstract:
Self-exciting spatiotemporal Hawkes processes have found increasing use in the study of large-scale public health threats ranging from gun violence and earthquakes to wildfires and viral contagion. Whereas many such applications feature locational uncertainty, i.e., the exact spatial positions of individual events are unknown, most Hawkes model analyses to date have ignored spatial coarsening pres…
▽ More
Self-exciting spatiotemporal Hawkes processes have found increasing use in the study of large-scale public health threats ranging from gun violence and earthquakes to wildfires and viral contagion. Whereas many such applications feature locational uncertainty, i.e., the exact spatial positions of individual events are unknown, most Hawkes model analyses to date have ignored spatial coarsening present in the data. Three particular 21st century public health crises -- urban gun violence, rural wildfires and global viral spread -- present qualitatively and quantitatively varying uncertainty regimes that exhibit (a) different collective magnitudes of spatial coarsening, (b) uniform and mixed magnitude coarsening, (c) differently shaped uncertainty regions and -- less orthodox -- (d) locational data distributed within the `wrong' effective space. We explicitly model such uncertainties in a Bayesian manner and jointly infer unknown locations together with all parameters of a reasonably flexible Hawkes model, obtaining results that are practically and statistically distinct from those obtained while ignoring spatial coarsening. This work also features two different secondary contributions: first, to facilitate Bayesian inference of locations and background rate parameters, we make a subtle yet crucial change to an established kernel-based rate model; and second, to facilitate the same Bayesian inference at scale, we develop a massively parallel implementation of the model's log-likelihood gradient with respect to locations and thus avoid its quadratic computational cost in the context of Hamiltonian Monte Carlo. Our examples involve thousands of observations and allow us to demonstrate practicality at moderate scales.
△ Less
Submitted 12 July, 2021; v1 submitted 6 October, 2020;
originally announced October 2020.
-
Teaching Cultural Astronomy to Undergraduates with an Interdisciplinary Frame
Authors:
Jarita Holbrook
Abstract:
Cultural Astronomy is interdisciplinary connecting the arts, humanities, social & physical sciences. Data collection methods and theories are used from many disciplines and meld with methods and theories within cultural astronomy. The burden on the student is that to do cultural astronomy research it is necessary to be widely read within and across disciplines. I developed a series of courses that…
▽ More
Cultural Astronomy is interdisciplinary connecting the arts, humanities, social & physical sciences. Data collection methods and theories are used from many disciplines and meld with methods and theories within cultural astronomy. The burden on the student is that to do cultural astronomy research it is necessary to be widely read within and across disciplines. I developed a series of courses that divided cultural astronomy content into broad regions such as Africa, North America, and the Pacific. The courses were structured to accommodate students from all parts of the university, but had to have enough mathematics and science to serve as a general science requirement. The majority of the grade for the course lay with the final project, which included a presentation and a written document. Thus, the course was designed to give the students a foundation for doing this final project that had to be original research. The students rarely opted to collect their own data, instead they reanalyzed existing materials. The students learned critical thinking, formulating hypotheses, and how to test their hypotheses, as well as how to understand cultural astronomy data.
△ Less
Submitted 31 August, 2020;
originally announced September 2020.
-
Indigenous Astronomy: Best Practices and Protocols for Including Indigenous Astronomy in the Planetarium Setting
Authors:
Annette S. Lee,
Nancy Maryboy,
David Begay,
Wilfred Buck,
Yasmin Catricheo,
Duane Hamacher,
Jarita Holbrook,
Kaiu Kimura,
Carola Knockwood,
Te Kahuratai Painting,
Milagros Varguez
Abstract:
Indigenous people have nurtured critical relationships with the stars, from keen observation and sustainable engineering to place-based ceremony, navigation, and celestial architecture for tens of thousands of years. The Indigenous relationship and knowledge of the sky is exceptional in that it encompasses mind, body, heart, and spirit.
This panel is organized by the IPS's newly formed Indigenou…
▽ More
Indigenous people have nurtured critical relationships with the stars, from keen observation and sustainable engineering to place-based ceremony, navigation, and celestial architecture for tens of thousands of years. The Indigenous relationship and knowledge of the sky is exceptional in that it encompasses mind, body, heart, and spirit.
This panel is organized by the IPS's newly formed Indigenous Astronomy Working Group. It brings together Planetarium Professionals, Indigenous Star Knowledge Keepers, Indigenous Astronomy experts, Cultural Astronomers, and allies of Indigenous STEM communities from Canada, U.S., and internationally to discuss best practices for dissemination of indigenous astronomy specifically for science communicators and the planetarium community.
△ Less
Submitted 12 August, 2020;
originally announced August 2020.
-
Celestial Women of Africa
Authors:
J. C. Holbrook
Abstract:
The indigenous astronomy in Africa and of Africans exhibits many of the same patterns as indigenous astronomy found in other parts of the world such as with agricultural calendars established by observing celestial bodies as well as other natural phenomenon. Africa is the continent with the most countries which can be used as an indicator of its immense cultural diversity, and given such diversity…
▽ More
The indigenous astronomy in Africa and of Africans exhibits many of the same patterns as indigenous astronomy found in other parts of the world such as with agricultural calendars established by observing celestial bodies as well as other natural phenomenon. Africa is the continent with the most countries which can be used as an indicator of its immense cultural diversity, and given such diversity there are unique local aspects to African indigenous astronomy. This chapter answers the question: How do women appear in the indigenous astronomy of Africans? The celestial bodies considered are the Sun, the Moon, the planet Venus, the Pleiades asterism and a small collection of other female celestial bodies. Examples are drawn from North, South, East, West and Central Africa with the caveat that these are merely examples from the region and not exemplars of the region. Women use the phases of the moon to track their menses, usually the moon is female as is Venus, and celestial women are used to signal how women should behave. Focusing on celestial women brings a different lens to cultural astronomy research that elucidates additional ways that that the sky is entwined in culture.
△ Less
Submitted 28 October, 2020; v1 submitted 30 June, 2020;
originally announced June 2020.
-
A computing strategy and programs to resolve the Gerstenhaber Problem for commuting triples of matrices
Authors:
John Holbrook,
Kevin C. O'Meara
Abstract:
We describe a MATLAB program that could produce a negative answer to the Gerstenhaber Problem by the construction of three commuting $n \times n$ matrices $A,B,C$ over a field $F$ such that the subalgebra $F[A,B,C]$ they generate has dimension greater than $n$. This problem has remained open for nearly 60 years, following Gerstenhaber's surprising result (Annals Math.) that $\dim F[A,B] \le n$ for…
▽ More
We describe a MATLAB program that could produce a negative answer to the Gerstenhaber Problem by the construction of three commuting $n \times n$ matrices $A,B,C$ over a field $F$ such that the subalgebra $F[A,B,C]$ they generate has dimension greater than $n$. This problem has remained open for nearly 60 years, following Gerstenhaber's surprising result (Annals Math.) that $\dim F[A,B] \le n$ for any two commuting matrices $A,B$. The property fails for four or more commuting matrices. We also make the MATLAB files freely available.
△ Less
Submitted 15 June, 2020;
originally announced June 2020.
-
Scalable Bayesian inference for self-excitatory stochastic processes applied to big American gunfire data
Authors:
Andrew J. Holbrook,
Charles E. Loeffler,
Seth R. Flaxman,
Marc A. Suchard
Abstract:
The Hawkes process and its extensions effectively model self-excitatory phenomena including earthquakes, viral pandemics, financial transactions, neural spike trains and the spread of memes through social networks. The usefulness of these stochastic process models within a host of economic sectors and scientific disciplines is undercut by the processes' computational burden: complexity of likeliho…
▽ More
The Hawkes process and its extensions effectively model self-excitatory phenomena including earthquakes, viral pandemics, financial transactions, neural spike trains and the spread of memes through social networks. The usefulness of these stochastic process models within a host of economic sectors and scientific disciplines is undercut by the processes' computational burden: complexity of likelihood evaluations grows quadratically in the number of observations for both the temporal and spatiotemporal Hawkes processes. We show that, with care, one may parallelize these calculations using both central and graphics processing unit implementations to achieve over 100-fold speedups over single-core processing. Using a simple adaptive Metropolis-Hastings scheme, we apply our high-performance computing framework to a Bayesian analysis of big gunshot data generated in Washington D.C. between the years of 2006 and 2019, thereby extending a past analysis of the same data from under 10,000 to over 85,000 observations. To encourage wide-spread use, we provide hpHawkes, an open-source R package, and discuss high-level implementation and program design for leveraging aspects of computational hardware that become necessary in a big data setting.
△ Less
Submitted 13 May, 2020;
originally announced May 2020.
-
Unmet Needs and Opportunities for Mobile Translation AI
Authors:
Daniel J. Liebling,
Michal Lahav,
Abigail Evans,
Aaron Donsbach,
Jess Holbrook,
Boris Smus,
Lindsey Boran
Abstract:
Translation apps and devices are often presented in the context of providing assistance while traveling abroad. However, the spectrum of needs for cross-language communication is much wider. To investigate these needs, we conducted three studies with populations spanning socioeconomic status and geographic regions: (1) United States-based travelers, (2) migrant workers in India, and (3) immigrant…
▽ More
Translation apps and devices are often presented in the context of providing assistance while traveling abroad. However, the spectrum of needs for cross-language communication is much wider. To investigate these needs, we conducted three studies with populations spanning socioeconomic status and geographic regions: (1) United States-based travelers, (2) migrant workers in India, and (3) immigrant populations in the United States. We compare frequent travelers' perception and actual translation needs with those of the two migrant communities. The latter two, with low language proficiency, have the greatest translation needs to navigate their daily lives. However, current mobile translation apps do not meet these needs. Our findings provide new insights on the usage practices and limitations of mobile translation tools. Finally, we propose design implications to help apps better serve these unmet needs.
△ Less
Submitted 27 February, 2020;
originally announced February 2020.
-
Stochastic density effects on adult fish survival and implications for population fluctuations
Authors:
Daniel K. Okamoto,
Russell J. Schmitt,
Sally J. Holbrook
Abstract:
The degree to which population fluctuations arise from variable adult survival relative to variable recruitment has been debated widely for marine organisms. Disentangling these effects remains challenging because data generally are not sufficient to evaluate if and how adult survival rates are regulated by stochasticity and/or population density. Using unique time-series for a largely unexploited…
▽ More
The degree to which population fluctuations arise from variable adult survival relative to variable recruitment has been debated widely for marine organisms. Disentangling these effects remains challenging because data generally are not sufficient to evaluate if and how adult survival rates are regulated by stochasticity and/or population density. Using unique time-series for a largely unexploited reef fish, we found both population density and stochastic food supply impacted adult survival. The estimated effect of variable survival on adult abundance (both mean and variability) rivaled that of variable recruitment. Moreover, we show density dependent adult survival can dampen impacts of stochastic recruitment. Thus, food variability may alter population fluctuations by simultaneously regulating recruitment and compensatory adult survival. These results provide an additional mechanism for why intensified density independent mortality (via harvest or other means) amplifies population fluctuations and emphasizes need for research evaluating the causes and consequences of variability in adult survival.
△ Less
Submitted 22 January, 2016; v1 submitted 26 October, 2015;
originally announced October 2015.
-
Survival Strategies for African American Astronomers and Astrophysicists
Authors:
J. C. Holbrook
Abstract:
The question of how to increase the number of women and minorities in astronomy has been approached from several directions in the United States including examination of admission policies, mentoring, and hiring practices. These point to departmental efforts to improve conditions for some of the students which has the overall benefit of improving conditions for all of the students. However, women…
▽ More
The question of how to increase the number of women and minorities in astronomy has been approached from several directions in the United States including examination of admission policies, mentoring, and hiring practices. These point to departmental efforts to improve conditions for some of the students which has the overall benefit of improving conditions for all of the students. However, women and minority astronomers have managed to obtain doctorates even within the non-welcoming environment of certain astronomy and physics departments. I present here six strategies used by African American men and women to persevere if not thrive long enough to earn their doctorate. Embedded in this analysis is the idea of 'astronomy culture' and experiencing astronomy culture as a cross-cultural experience including elements of culture shock. These survival strategies are not exclusive to this small subpopulation but have been used by majority students, too.
△ Less
Submitted 1 April, 2012;
originally announced April 2012.
-
Normal matrix compressions
Authors:
John Holbrook,
Nishan Mudalige,
Rajesh Pereira
Abstract:
The recently developed theory of higher--rank numerical ranges originated in problems of error correction in quantum information theory but its mathematical implications now include a quite satisfactory understanding of \emph{scalar} compressions of complex matrices. Here our aim is to make some first steps in the more general program of understanding \emph{normal} compressions. We establish some…
▽ More
The recently developed theory of higher--rank numerical ranges originated in problems of error correction in quantum information theory but its mathematical implications now include a quite satisfactory understanding of \emph{scalar} compressions of complex matrices. Here our aim is to make some first steps in the more general program of understanding \emph{normal} compressions. We establish some general principles for the program and make a detailed study of rank--two normal compressions.
△ Less
Submitted 25 March, 2012; v1 submitted 17 March, 2012;
originally announced March 2012.
-
Restricted numerical shadow and geometry of quantum entanglement
Authors:
Zbigniew Puchała,
Jarosław Adam Miszczak,
Piotr Gawron,
Charles F. Dunkl,
John A. Holbrook,
Karol Życzkowski
Abstract:
The restricted numerical range $W_R(A)$ of an operator $A$ acting on a $D$-dimensional Hilbert space is defined as a set of all possible expectation values of this operator among pure states which belong to a certain subset $R$ of the of set of pure quantum states of dimension $D$. One considers for instance the set of real states, or in the case of composite spaces, the set of product states and…
▽ More
The restricted numerical range $W_R(A)$ of an operator $A$ acting on a $D$-dimensional Hilbert space is defined as a set of all possible expectation values of this operator among pure states which belong to a certain subset $R$ of the of set of pure quantum states of dimension $D$. One considers for instance the set of real states, or in the case of composite spaces, the set of product states and the set of maximally entangled states. Combining the operator theory with a probabilistic approach we introduce the restricted numerical shadow of $A$ -- a normalized probability distribution on the complex plane supported in $W_R(A)$. Its value at point $z \in {\mathbbm C}$ is equal to the probability that the expectation value $< ψ|A|ψ>$ is equal to $z$, where $|ψ>$ represents a random quantum state in subset $R$ distributed according to the natural measure on this set, induced by the unitarily invariant Fubini--Study measure. Studying restricted shadows of operators of a fixed size $D=N_A N_B$ we analyse the geometry of sets of separable and maximally entangled states of the $N_A \times N_B$ composite quantum system. Investigating trajectories formed by evolving quantum states projected into the plane of the shadow we study the dynamics of quantum entanglement. A similar analysis extended for operators on $D=2^3$ dimensional Hilbert space allows us to investigate the structure of the orbits of $GHZ$ and $W$ quantum states of a three--qubit system.
△ Less
Submitted 4 October, 2012; v1 submitted 12 January, 2012;
originally announced January 2012.
-
Numerical shadow and geometry of quantum states
Authors:
Charles F. Dunkl,
Piotr Gawron,
John A. Holbrook,
Jarosław A. Miszczak,
Zbigniew Puchała,
Karol Życzkowski
Abstract:
The totality of normalised density matrices of order N forms a convex set Q_N in R^(N^2-1). Working with the flat geometry induced by the Hilbert-Schmidt distance we consider images of orthogonal projections of Q_N onto a two-plane and show that they are similar to the numerical ranges of matrices of order N. For a matrix A of a order N one defines its numerical shadow as a probability distributio…
▽ More
The totality of normalised density matrices of order N forms a convex set Q_N in R^(N^2-1). Working with the flat geometry induced by the Hilbert-Schmidt distance we consider images of orthogonal projections of Q_N onto a two-plane and show that they are similar to the numerical ranges of matrices of order N. For a matrix A of a order N one defines its numerical shadow as a probability distribution supported on its numerical range W(A), induced by the unitarily invariant Fubini-Study measure on the complex projective manifold CP^(N-1). We define generalized, mixed-states shadows of A and demonstrate their usefulness to analyse the structure of the set of quantum states and unitary dynamics therein.
△ Less
Submitted 14 April, 2011;
originally announced April 2011.
-
Numerical shadows: measures and densities on the numerical range
Authors:
Charles F. Dunkl,
Piotr Gawron,
John A. Holbrook,
Zbigniew Puchała,
Karol Życzkowski
Abstract:
For any operator $M$ acting on an $N$-dimensional Hilbert space $H_N$ we introduce its numerical shadow, which is a probability measure on the complex plane supported by the numerical range of $M$. The shadow of $M$ at point $z$ is defined as the probability that the inner product $(Mu,u)$ is equal to $z$, where $u$ stands for a random complex vector from $H_N$, satisfying $||u||=1$. In the case o…
▽ More
For any operator $M$ acting on an $N$-dimensional Hilbert space $H_N$ we introduce its numerical shadow, which is a probability measure on the complex plane supported by the numerical range of $M$. The shadow of $M$ at point $z$ is defined as the probability that the inner product $(Mu,u)$ is equal to $z$, where $u$ stands for a random complex vector from $H_N$, satisfying $||u||=1$. In the case of N=2 the numerical shadow of a non-normal operator can be interpreted as a shadow of a hollow sphere projected on a plane. A similar interpretation is provided also for higher dimensions. For a hermitian $M$ its numerical shadow forms a probability distribution on the real axis which is shown to be a one dimensional $B$-spline. In the case of a normal $M$ the numerical shadow corresponds to a shadow of a transparent solid simplex in $R^{N-1}$ onto the complex plane. Numerical shadow is found explicitly for Jordan matrices $J_N$, direct sums of matrices and in all cases where the shadow is rotation invariant. Results concerning the moments of shadow measures play an important role. A general technique to study numerical shadow via the Cartesian decomposition is described, and a link of the numerical shadow of an operator to its higher-rank numerical range is emphasized.
△ Less
Submitted 20 October, 2010;
originally announced October 2010.
-
Higher-Rank Numerical Ranges of Unitary and Normal Matrices
Authors:
Man-Duen Choi,
John A. Holbrook,
David W. Kribs,
Karol Zyczkowski
Abstract:
We verify a conjecture on the structure of higher-rank numerical ranges for a wide class of unitary and normal matrices. Using analytic and geometric techniques, we show precisely how the higher-rank numerical ranges for a generic unitary matrix are given by complex polygons determined by the spectral structure of the matrix. We discuss applications of the results to quantum error correction, sp…
▽ More
We verify a conjecture on the structure of higher-rank numerical ranges for a wide class of unitary and normal matrices. Using analytic and geometric techniques, we show precisely how the higher-rank numerical ranges for a generic unitary matrix are given by complex polygons determined by the spectral structure of the matrix. We discuss applications of the results to quantum error correction, specifically to the problem of identification and construction of codes for binary unitary noise models.
△ Less
Submitted 30 January, 2007; v1 submitted 30 August, 2006;
originally announced August 2006.
-
Densities for random balanced sampling
Authors:
Peter Bubenik,
John Holbrook
Abstract:
A random balanced sample (RBS) is a multivariate distribution with n components X_1,...,X_n, each uniformly distributed on [-1, 1], such that the sum of these components is precisely 0. The corresponding vectors X lie in an (n-1)-dimensional polytope M(n). We present new methods for the construction of such RBS via densities over M(n) and these apply for arbitrary n. While simple densities had b…
▽ More
A random balanced sample (RBS) is a multivariate distribution with n components X_1,...,X_n, each uniformly distributed on [-1, 1], such that the sum of these components is precisely 0. The corresponding vectors X lie in an (n-1)-dimensional polytope M(n). We present new methods for the construction of such RBS via densities over M(n) and these apply for arbitrary n. While simple densities had been known previously for small values of n (namely 2,3 and 4), for larger n the known distributions with large support were fractal distributions (with fractal dimension asymptotic to n as n approaches infinity). Applications of RBS distributions include sampling with antithetic coupling to reduce variance, and the isolation of nonlinearities. We also show that the previously known densities (for n<5) are in fact the only solutions in a natural and very large class of potential RBS densities. This finding clarifies the need for new methods, such as those presented here.
△ Less
Submitted 29 August, 2006;
originally announced August 2006.
-
Noiseless subsystems and the structure of the commutant in quantum error correction
Authors:
J. A. Holbrook,
D. W. Kribs,
R. Laflamme
Abstract:
The effect of noise on a quantum system can be described by a set of operators obtained from the interaction Hamiltonian. Recently it has been shown that generalized quantum error correcting codes can be derived by studying the algebra of this set of operators. This led to the discovery of noiseless subsystems. They are described by a set of operators obtained from the commutant of the noise gen…
▽ More
The effect of noise on a quantum system can be described by a set of operators obtained from the interaction Hamiltonian. Recently it has been shown that generalized quantum error correcting codes can be derived by studying the algebra of this set of operators. This led to the discovery of noiseless subsystems. They are described by a set of operators obtained from the commutant of the noise generators. In this paper we derive a general method to compute the structure of this commutant in the case of unital noise.
△ Less
Submitted 6 February, 2004;
originally announced February 2004.
-
Noiseless subsystems for collective rotation channels in quantum information theory
Authors:
J. A. Holbrook,
D. W. Kribs,
R. Laflamme,
D. Poulin
Abstract:
Collective rotation channels are a fundamental class of channels in quantum computing and quantum information theory. The commutant of the noise operators for such a channel is a C*-algebra which is equal to the set of fixed points for the channel. Finding the precise spatial structure of the commutant algebra for a set of noise operators associated with a channel is a core problem in quantum er…
▽ More
Collective rotation channels are a fundamental class of channels in quantum computing and quantum information theory. The commutant of the noise operators for such a channel is a C*-algebra which is equal to the set of fixed points for the channel. Finding the precise spatial structure of the commutant algebra for a set of noise operators associated with a channel is a core problem in quantum error prevention. We draw on methods of operator algebras, quantum mechanics and combinatorics to explicitly determine the structure of the commutant for the class of collective rotation channels.
△ Less
Submitted 6 February, 2004;
originally announced February 2004.
-
A Unified Process Model of Syntactic and Semantic Error Recovery in Sentence Understanding
Authors:
Jennifer K. Holbrook,
Kurt P. Eiselt,
Kavi Mahesh
Abstract:
The development of models of human sentence processing has traditionally followed one of two paths. Either the model posited a sequence of processing modules, each with its own task-specific knowledge (e.g., syntax and semantics), or it posited a single processor utilizing different types of knowledge inextricably integrated into a monolithic knowledge base. Our previous work in modeling the sen…
▽ More
The development of models of human sentence processing has traditionally followed one of two paths. Either the model posited a sequence of processing modules, each with its own task-specific knowledge (e.g., syntax and semantics), or it posited a single processor utilizing different types of knowledge inextricably integrated into a monolithic knowledge base. Our previous work in modeling the sentence processor resulted in a model in which different processing modules used separate knowledge sources but operated in parallel to arrive at the interpretation of a sentence. One highlight of this model is that it offered an explanation of how the sentence processor might recover from an error in choosing the meaning of an ambiguous word. Recent experimental work by Laurie Stowe strongly suggests that the human sentence processor deals with syntactic error recovery using a mechanism very much like that proposed by our model of semantic error recovery. Another way to interpret Stowe's finding is this: the human sentence processor consists of a single unified processing module utilizing multiple independent knowledge sources in parallel. A sentence processor built upon this architecture should at times exhibit behavior associated with modular approaches, and at other times act like an integrated system. In this paper we explore some of these ideas via a prototype computational model of sentence processing called COMPERE, and propose a set of psychological experiments for testing our theories.
△ Less
Submitted 31 August, 1994;
originally announced August 1994.
-
Having Your Cake and Eating It Too: Autonomy and Interaction in a Model of Sentence Processing
Authors:
Kurt P. Eiselt,
Kavi Mahesh,
Jennifer K. Holbrook
Abstract:
Is the human language understander a collection of modular processes operating with relative autonomy, or is it a single integrated process? This ongoing debate has polarized the language processing community, with two fundamentally different types of model posited, and with each camp concluding that the other is wrong. One camp puts forth a model with separate processors and distinct knowledge…
▽ More
Is the human language understander a collection of modular processes operating with relative autonomy, or is it a single integrated process? This ongoing debate has polarized the language processing community, with two fundamentally different types of model posited, and with each camp concluding that the other is wrong. One camp puts forth a model with separate processors and distinct knowledge sources to explain one body of data, and the other proposes a model with a single processor and a homogeneous, monolithic knowledge source to explain the other body of data. In this paper we argue that a hybrid approach which combines a unified processor with separate knowledge sources provides an explanation of both bodies of data, and we demonstrate the feasibility of this approach with the computational model called COMPERE. We believe that this approach brings the language processing community significantly closer to offering human-like language processing systems.
△ Less
Submitted 31 August, 1994;
originally announced August 1994.