Showing 1–50 of 146 results for author: Davidson, R

SeeTree -- A modular, open-source system for tree detection and orchard localization

Authors: Jostan Brown, Cindy Grimm, Joseph R. Davidson

Abstract: Accurate localization is an important functional requirement for precision orchard management. However, there are few off-the-shelf commercial solutions available to growers. In this paper, we present SeeTree, a modular, open source embedded system for tree trunk detection and orchard localization that is deployable on any vehicle. Building on our prior work on vision-based in-row localization usi… ▽ More Accurate localization is an important functional requirement for precision orchard management. However, there are few off-the-shelf commercial solutions available to growers. In this paper, we present SeeTree, a modular, open source embedded system for tree trunk detection and orchard localization that is deployable on any vehicle. Building on our prior work on vision-based in-row localization using particle filters, SeeTree includes several new capabilities. First, it provides capacity for full orchard localization including out-of-row headland turning. Second, it includes the flexibility to integrate either visual, GNSS, or wheel odometry in the motion model. During field experiments in a commercial orchard, the system converged to the correct location 99% of the time over 800 trials, even when starting with large uncertainty in the initial particle locations. When turning out of row, the system correctly tracked 99% of the turns (860 trials representing 43 unique row changes). To help support adoption and future research and development, we make our dataset, design files, and source code freely available to the community. △ Less

Submitted 14 April, 2025; originally announced April 2025.

Comments: 26 pages, 12 figures

CO Emission and Absorption-line Survey of the M87 Nucleus Using Archival ALMA Imaging

Authors: Benjamin D. Boizelle, Xueyi Li, Nicholas LeVar, Sam Norcross, Benjamin J. Derieg, Jared R. Davidson, Kavin Siaw, Jonelle L. Walsh

Abstract: We present an M87 molecular line search from archival Atacama Large Millimeter/sub-millimeter Array (ALMA) imaging, covering the circumnuclear disk (CND) as well as ionized gas filaments and dusty cloud regions. We find no evidence for CO emission in the central ~kpc and place an upper limit of $M_{H_2} < 2.3\times 10^5$ $M_\odot$ in the atomic gas CND, a factor of 20$\times$ lower than previous s… ▽ More We present an M87 molecular line search from archival Atacama Large Millimeter/sub-millimeter Array (ALMA) imaging, covering the circumnuclear disk (CND) as well as ionized gas filaments and dusty cloud regions. We find no evidence for CO emission in the central ~kpc and place an upper limit of $M_{H_2} < 2.3\times 10^5$ $M_\odot$ in the atomic gas CND, a factor of 20$\times$ lower than previous surveys. During this search, we discovered extragalactic CO absorption lines in the J = 1-0, 2-1, and 3-2 transitions against the bright (Jy-scale) active nucleus. These CO lines are narrow (~5 km s$^{-1}$) and blueshifted with respect to the galaxy's systemic velocity by -75 to -84 km s$^{-1}$. This CO absorber appears to be kinematically distinct from outflowing atomic gas seen in absorption. Assuming a diffuse molecular phase, low integrated opacities ranging from $τ_{CO} \sim 0.02-0.06$ km s$^{-1}$ and column density $N_{CO} = 1.16\times 10^{15}$ cm$^{-2}$ translate to $N_{H_2} \sim (1-2) \times 10^{20}$ cm$^{-2}$. CO excitation temperatures spanning $T_{ex} \sim 8$ K to ~30 K do not follow local thermodynamic equilibrium (LTE) expectations, and non-LTE radex radiative transfer modeling suggests the CO absorber has a number density $n_{H_2} \sim 5000$ cm$^{-3}$. Taken together, the observed CO absorption lines are most consistent with a thin, pressure-confined filament seen slightly off-center from the M87 nucleus. We also use these ALMA data to explore the impact of residual telluric lines and atmospheric variability on the identification and classification of narrow extragalactic lines. Additionally, we demonstrate how bandpass calibration limitations may introduce broad but very low S/N absorption and emission signatures near such a bright continuum source. △ Less

Submitted 5 March, 2025; originally announced March 2025.

Comments: 35 pages, 12 figures, submitted to ApJ

Deep Contrastive Learning for Feature Alignment: Insights from Housing-Household Relationship Inference

Authors: Xiao Qian, Shangjia Dong, Rachel Davidson

Abstract: Housing and household characteristics are key determinants of social and economic well-being, yet our understanding of their interrelationships remains limited. This study addresses this knowledge gap by developing a deep contrastive learning (DCL) model to infer housing-household relationships using the American Community Survey (ACS) Public Use Microdata Sample (PUMS). More broadly, the proposed… ▽ More Housing and household characteristics are key determinants of social and economic well-being, yet our understanding of their interrelationships remains limited. This study addresses this knowledge gap by developing a deep contrastive learning (DCL) model to infer housing-household relationships using the American Community Survey (ACS) Public Use Microdata Sample (PUMS). More broadly, the proposed model is suitable for a class of problems where the goal is to learn joint relationships between two distinct entities without explicitly labeled ground truth data. Our proposed dual-encoder DCL approach leverages co-occurrence patterns in PUMS and introduces a bisect K-means clustering method to overcome the absence of ground truth labels. The dual-encoder DCL architecture is designed to handle the semantic differences between housing (building) and household (people) features while mitigating noise introduced by clustering. To validate the model, we generate a synthetic ground truth dataset and conduct comprehensive evaluations. The model further demonstrates its superior performance in capturing housing-household relationships in Delaware compared to state-of-the-art methods. A transferability test in North Carolina confirms its generalizability across diverse sociodemographic and geographic contexts. Finally, the post-hoc explainable AI analysis using SHAP values reveals that tenure status and mortgage information play a more significant role in housing-household matching than traditionally emphasized factors such as the number of persons and rooms. △ Less

Submitted 16 February, 2025; originally announced February 2025.

Mamba2D: A Natively Multi-Dimensional State-Space Model for Vision Tasks

Authors: Enis Baty, Alejandro Hernández Díaz, Chris Bridges, Rebecca Davidson, Steve Eckersley, Simon Hadfield

Abstract: State-Space Models (SSMs) have recently emerged as a powerful and efficient alternative to the long-standing transformer architecture. However, existing SSM conceptualizations retain deeply rooted biases from their roots in natural language processing. This constrains their ability to appropriately model the spatially-dependent characteristics of visual inputs. In this paper, we address these limi… ▽ More State-Space Models (SSMs) have recently emerged as a powerful and efficient alternative to the long-standing transformer architecture. However, existing SSM conceptualizations retain deeply rooted biases from their roots in natural language processing. This constrains their ability to appropriately model the spatially-dependent characteristics of visual inputs. In this paper, we address these limitations by re-deriving modern selective state-space techniques, starting from a natively multidimensional formulation. Currently, prior works attempt to apply natively 1D SSMs to 2D data (i.e. images) by relying on arbitrary combinations of 1D scan directions to capture spatial dependencies. In contrast, Mamba2D improves upon this with a single 2D scan direction that factors in both dimensions of the input natively, effectively modelling spatial dependencies when constructing hidden states. Mamba2D shows comparable performance to prior adaptations of SSMs for vision tasks, on standard image classification evaluations with the ImageNet-1K dataset. Source code is available at https://github.com/cocoalex00/Mamba2D. △ Less

Submitted 17 January, 2025; v1 submitted 20 December, 2024; originally announced December 2024.

Noncommutative Choquet theory: A Survey

Authors: Kenneth R. Davidson, Matthew Kennedy

Abstract: We survey noncommutative Choquet theory and some of its applications. We survey noncommutative Choquet theory and some of its applications. △ Less

Submitted 12 December, 2024; originally announced December 2024.

Comments: To appear in "Operator Theory" edited by Daniel Alpay, Fabrizio Colombo and Irene Sabadini with Springer Nature. 27 pages

MSC Class: Primary 46A55; 46L07; 47A20; Secondary 46L52; 47L25

Compact robotic gripper with tandem actuation for selective fruit harvesting

Authors: Alejandro Velasquez, Cindy Grimm, Joseph R. Davidson

Abstract: Selective fruit harvesting is a challenging manipulation problem due to occlusions and clutter arising from plant foliage. A harvesting gripper should i) have a small cross-section, to avoid collisions while approaching the fruit; ii) have a soft and compliant grasp to adapt to different fruit geometry and avoid bruising it; and iii) be capable of rigidly holding the fruit tightly enough to counte… ▽ More Selective fruit harvesting is a challenging manipulation problem due to occlusions and clutter arising from plant foliage. A harvesting gripper should i) have a small cross-section, to avoid collisions while approaching the fruit; ii) have a soft and compliant grasp to adapt to different fruit geometry and avoid bruising it; and iii) be capable of rigidly holding the fruit tightly enough to counteract detachment forces. Previous work on fruit harvesting has primarily focused on using grippers with a single actuation mode, either suction or fingers. In this paper we present a compact robotic gripper that combines the benefits of both. The gripper first uses an array of compliant suction cups to gently attach to the fruit. After attachment, telescoping cam-driven fingers deploy, sweeping obstacles away before pivoting inwards to provide a secure grip on the fruit for picking. We present and analyze the finger design for both ability to sweep clutter and maintain a tight grasp. Specifically, we use a motorized test bed to measure grasp strength for each actuation mode (suction, fingers, or both). We apply a tensile force at different angles (0°, 15°, 30° and 45°), and vary the point of contact between the fingers and the fruit. We observed that with both modes the grasp strength is approximately 40 N. We use an apple proxy to test the gripper's ability to obtain a grasp in the presence of occluding apples and leaves, achieving a grasp success rate over 96% (with an ideal controller). Finally, we validate our gripper in a commercial apple orchard. △ Less

Submitted 13 August, 2024; originally announced August 2024.

Comments: 8 pages, 9 figures

Large Perturbations of Nest Algebras

Authors: Kenneth R. Davidson

Abstract: Let $\mathcal{M}$ and $\mathcal{N}$ be nests on separable Hilbert space. If the two nest algebras are distance less than 1 ($d(\mathcal{T}(\mathcal{M}),\mathcal{T}(\mathcal{N})) < 1$), then the nests are distance less than 1 ($d(\mathcal{M},\mathcal{N})<1$). If the nests are distance less than 1 apart, then the nest algebras are similar, i.e. there is an invertible $S$ such that… ▽ More Let $\mathcal{M}$ and $\mathcal{N}$ be nests on separable Hilbert space. If the two nest algebras are distance less than 1 ($d(\mathcal{T}(\mathcal{M}),\mathcal{T}(\mathcal{N})) < 1$), then the nests are distance less than 1 ($d(\mathcal{M},\mathcal{N})<1$). If the nests are distance less than 1 apart, then the nest algebras are similar, i.e. there is an invertible $S$ such that $S\mathcal{M} = \mathcal{N}$, so that $S \mathcal{T}(\mathcal{M})S^{-1} = \mathcal{T}(\mathcal{N})$. However there are examples of nests closer than 1 for which the nest algebras are distance 1 apart. △ Less

Submitted 2 October, 2024; v1 submitted 6 August, 2024; originally announced August 2024.

Comments: Minor changes including a correction in the proof of Theorem 2.2. To appear in Integral Equations & Operator Theory

MSC Class: Primary 47L35; Secondary 47B02; 47A55

Circumnuclear Dust in Luminous Early-Type Galaxies -- I. Sample Properties and Stellar Luminosity Models

Authors: Jared R. Davidson, Benjamin D. Boizelle, Jonelle L. Walsh, Aaron J. Barth, Emma Rasmussen, Andrew J. Baker, David A. Buote, Jeremy Darling, Luis C. Ho, Kyle M. Kabasares, Jonathan H. Cohn

Abstract: Dusty circumnuclear disks (CNDs) in luminous early-type galaxies (ETGs) show regular, dynamically cold molecular gas kinematics. For a growing number of ETGs, Atacama Large Millimeter/sub-millimeter Array (ALMA) CO imaging and detailed gas-dynamical modeling facilitate moderate-to-high precision black hole (BH) mass ($M_{BH}$) determinations. From the ALMA archive, we identified a subset of 26 ETG… ▽ More Dusty circumnuclear disks (CNDs) in luminous early-type galaxies (ETGs) show regular, dynamically cold molecular gas kinematics. For a growing number of ETGs, Atacama Large Millimeter/sub-millimeter Array (ALMA) CO imaging and detailed gas-dynamical modeling facilitate moderate-to-high precision black hole (BH) mass ($M_{BH}$) determinations. From the ALMA archive, we identified a subset of 26 ETGs with estimated $M_{BH}/M_{\odot} \gtrsim 10^8$ to a few $\times$10$^9$ and clean CO kinematics but that previously did not have sufficiently high angular resolution near-IR observations to mitigate dust obscuration when constructing stellar luminosity models. We present new optical and near-IR Hubble Space Telescope (HST) images of this sample to supplement the archival HST data, detailing the sample properties and data analysis techniques. After masking the most apparent dust features, we measure stellar surface brightness profiles and model the luminosities using the multi-Gaussian expansion (MGE) formalism. Some of these MGEs have already been used in CO dynamical modeling efforts to secure quality \mbh\ determinations, and the remaining ETG targets here are expected to significantly improve the high-mass end of the current BH census, facilitating new scrutiny of local BH mass-host galaxy scaling relationships. We also explore stellar isophotal behavior and general dust properties, finding these CNDs generally become optically thick in the near-IR ($A_H \gtrsim 1$ mag). These CNDs are typically well-aligned with the larger-scale stellar photometric axes with a few notable exceptions. Uncertain dust impact on the MGE often dominates the BH mass error budget, so extensions of this work will focus on constraining CND dust attenuation. △ Less

Submitted 10 July, 2024; originally announced July 2024.

Comments: 47 pages, 37 Figures, Accepted for publication in ApJ

Self-Recognition in Language Models

Authors: Tim R. Davidson, Viacheslav Surkov, Veniamin Veselovsky, Giuseppe Russo, Robert West, Caglar Gulcehre

Abstract: A rapidly growing number of applications rely on a small set of closed-source language models (LMs). This dependency might introduce novel security risks if LMs develop self-recognition capabilities. Inspired by human identity verification methods, we propose a novel approach for assessing self-recognition in LMs using model-generated "security questions". Our test can be externally administered t… ▽ More A rapidly growing number of applications rely on a small set of closed-source language models (LMs). This dependency might introduce novel security risks if LMs develop self-recognition capabilities. Inspired by human identity verification methods, we propose a novel approach for assessing self-recognition in LMs using model-generated "security questions". Our test can be externally administered to monitor frontier models as it does not require access to internal model parameters or output probabilities. We use our test to examine self-recognition in ten of the most capable open- and closed-source LMs currently publicly available. Our extensive experiments found no empirical evidence of general or consistent self-recognition in any examined LM. Instead, our results suggest that given a set of alternatives, LMs seek to pick the "best" answer, regardless of its origin. Moreover, we find indications that preferences about which models produce the best answers are consistent across LMs. We additionally uncover novel insights on position bias considerations for LMs in multiple-choice settings. △ Less

Submitted 10 October, 2024; v1 submitted 9 July, 2024; originally announced July 2024.

Comments: Accepted to EMNLP 2024, code to reproduce experiments and replicate findings available at https://github.com/trdavidson/self-recognition

A Deep Generative Framework for Joint Households and Individuals Population Synthesis

Authors: Xiao Qian, Utkarsh Gangwal, Shangjia Dong, Rachel Davidson

Abstract: Household and individual-level sociodemographic data are essential for understanding human-infrastructure interaction and policymaking. However, the Public Use Microdata Sample (PUMS) offers only a sample at the state level, while census tract data only provides the marginal distributions of variables without correlations. Therefore, we need an accurate synthetic population dataset that maintains… ▽ More Household and individual-level sociodemographic data are essential for understanding human-infrastructure interaction and policymaking. However, the Public Use Microdata Sample (PUMS) offers only a sample at the state level, while census tract data only provides the marginal distributions of variables without correlations. Therefore, we need an accurate synthetic population dataset that maintains consistent variable correlations observed in microdata, preserves household-individual and individual-individual relationships, adheres to state-level statistics, and accurately represents the geographic distribution of the population. We propose a deep generative framework leveraging the variational autoencoder (VAE) to generate a synthetic population with the aforementioned features. The methodological contributions include (1) a new data structure for capturing household-individual and individual-individual relationships, (2) a transfer learning process with pre-training and fine-tuning steps to generate households and individuals whose aggregated distributions align with the census tract marginal distribution, and (3) decoupled binary cross-entropy (D-BCE) loss function enabling distribution shift and out-of-sample records generation. Model results for an application in Delaware, USA demonstrate the ability to ensure the realism of generated household-individual records and accurately describe population statistics at the census tract level compared to existing methods. Furthermore, testing in North Carolina, USA yielded promising results, supporting the transferability of our method. △ Less

Submitted 30 June, 2024; originally announced July 2024.

The AI Review Lottery: Widespread AI-Assisted Peer Reviews Boost Paper Scores and Acceptance Rates

Authors: Giuseppe Russo Latona, Manoel Horta Ribeiro, Tim R. Davidson, Veniamin Veselovsky, Robert West

Abstract: Journals and conferences worry that peer reviews assisted by artificial intelligence (AI), in particular, large language models (LLMs), may negatively influence the validity and fairness of the peer-review system, a cornerstone of modern science. In this work, we address this concern with a quasi-experimental study of the prevalence and impact of AI-assisted peer reviews in the context of the 2024… ▽ More Journals and conferences worry that peer reviews assisted by artificial intelligence (AI), in particular, large language models (LLMs), may negatively influence the validity and fairness of the peer-review system, a cornerstone of modern science. In this work, we address this concern with a quasi-experimental study of the prevalence and impact of AI-assisted peer reviews in the context of the 2024 International Conference on Learning Representations (ICLR), a large and prestigious machine-learning conference. Our contributions are threefold. Firstly, we obtain a lower bound for the prevalence of AI-assisted reviews at ICLR 2024 using the GPTZero LLM detector, estimating that at least $15.8\%$ of reviews were written with AI assistance. Secondly, we estimate the impact of AI-assisted reviews on submission scores. Considering pairs of reviews with different scores assigned to the same paper, we find that in $53.4\%$ of pairs the AI-assisted review scores higher than the human review ($p = 0.002$; relative difference in probability of scoring higher: $+14.4\%$ in favor of AI-assisted reviews). Thirdly, we assess the impact of receiving an AI-assisted peer review on submission acceptance. In a matched study, submissions near the acceptance threshold that received an AI-assisted peer review were $4.9$ percentage points ($p = 0.024$) more likely to be accepted than submissions that did not. Overall, we show that AI-assisted reviews are consequential to the peer-review process and offer a discussion on future implications of current trends △ Less

Submitted 3 May, 2024; originally announced May 2024.

Comments: Manoel Horta Ribeiro, Tim R. Davidson, and Veniamin Veselovsky contributed equally to this work

Machine Vision-Based Assessment of Fall Color Changes and its Relationship with Leaf Nitrogen Concentration

Authors: Achyut Paudel, Jostan Brown, Priyanka Upadhyaya, Atif Bilal Asad, Safal Kshetri, Joseph R. Davidson, Cindy Grimm, Ashley Thompson, Bernardita Sallato, Matthew D. Whiting, Manoj Karkee

Abstract: Apple(\textit{Malus domestica} Borkh.) trees are deciduous, shedding leaves each year. This process is preceded by a gradual change in leaf color from green to yellow as chlorophyll is degraded prior to abscission. The initiation and rate of this color change are affected by many factors including leaf nitrogen (N) concentration. We predict that leaf color during this transition may be indicative… ▽ More Apple(\textit{Malus domestica} Borkh.) trees are deciduous, shedding leaves each year. This process is preceded by a gradual change in leaf color from green to yellow as chlorophyll is degraded prior to abscission. The initiation and rate of this color change are affected by many factors including leaf nitrogen (N) concentration. We predict that leaf color during this transition may be indicative of the nitrogen status of apple trees. This study assesses a machine vision-based system for quantifying the change in leaf color and its correlation with leaf nitrogen content. An image dataset was collected in color and 3D over five weeks in the fall of 2021 and 2023 at a commercial orchard using a ground vehicle-based stereovision sensor. Trees in the foreground were segmented from the point cloud using color and depth thresholding methods. Then, to estimate the proportion of yellow leaves per canopy, the color information of the segmented canopy area was quantified using a custom-defined metric, \textit{yellowness index} (a normalized ratio of yellow to green foliage in the tree) that varied from -1 to +1 (-1 being completely green and +1 being completely yellow). Both K-means-based methods and gradient boosting methods were used to estimate the \textit{yellowness index}. The gradient boosting based method proposed in this study was better than the K-means-based method (both in terms of computational time and accuracy), achieving an $R^2$ of 0.72 in estimating the \textit{yellowness index}. The metric was able to capture the gradual color transition from green to yellow over the study duration. Trees with lower leaf nitrogen showed the color transition to yellow earlier than the trees with higher nitrogen. Keywords: Fruit Tree Nitrogen Management, Machine Vision, Point Cloud Segmentation, Precision Nitrogen Management △ Less

Submitted 1 April, 2025; v1 submitted 22 April, 2024; originally announced April 2024.

Completely Bounded Norms of $k$-positive Maps

Authors: Guillaume Aubrun, Kenneth R. Davidson, Alexander Müller-Hermes, Vern I. Paulsen, Mizanur Rahaman

Abstract: Given an operator system $\mathcal{S}$, we define the parameters $r_k(\mathcal{S})$ (resp. $d_k(\mathcal{S})$) defined as the maximal value of the completely bounded norm of a unital $k$-positive map from an arbitrary operator system into $\mathcal{S}$ (resp. from $\mathcal{S}$ into an arbitrary operator system). In the case of the matrix algebras $M_n$, for $1 \leq k \leq n$, we compute the exa… ▽ More Given an operator system $\mathcal{S}$, we define the parameters $r_k(\mathcal{S})$ (resp. $d_k(\mathcal{S})$) defined as the maximal value of the completely bounded norm of a unital $k$-positive map from an arbitrary operator system into $\mathcal{S}$ (resp. from $\mathcal{S}$ into an arbitrary operator system). In the case of the matrix algebras $M_n$, for $1 \leq k \leq n$, we compute the exact value $r_k(M_n) = \frac{2n-k}{k}$ and show upper and lower bounds on the parameters $d_k(M_n)$. Moreover, when $\mathcal{S}$ is a finite-dimensional operator system, adapting recent results of Passer and the 4th author, we show that the sequence $(r_k( \mathcal{S}))$ tends to $1$ if and only if $\mathcal{S}$ is exact and that the sequence $(d_k(\mathcal{S}))$ tends to $1$ if and only if $\mathcal{S}$ has the lifting property. △ Less

Submitted 7 May, 2024; v1 submitted 22 January, 2024; originally announced January 2024.

Comments: Journal of the London Mathematical Society (to appear)

Evaluating Language Model Agency through Negotiations

Authors: Tim R. Davidson, Veniamin Veselovsky, Martin Josifoski, Maxime Peyrard, Antoine Bosselut, Michal Kosinski, Robert West

Abstract: We introduce an approach to evaluate language model (LM) agency using negotiation games. This approach better reflects real-world use cases and addresses some of the shortcomings of alternative LM benchmarks. Negotiation games enable us to study multi-turn, and cross-model interactions, modulate complexity, and side-step accidental evaluation data leakage. We use our approach to test six widely us… ▽ More We introduce an approach to evaluate language model (LM) agency using negotiation games. This approach better reflects real-world use cases and addresses some of the shortcomings of alternative LM benchmarks. Negotiation games enable us to study multi-turn, and cross-model interactions, modulate complexity, and side-step accidental evaluation data leakage. We use our approach to test six widely used and publicly accessible LMs, evaluating performance and alignment in both self-play and cross-play settings. Noteworthy findings include: (i) only closed-source models tested here were able to complete these tasks; (ii) cooperative bargaining games proved to be most challenging to the models; and (iii) even the most powerful models sometimes "lose" to weaker opponents △ Less

Submitted 16 March, 2024; v1 submitted 9 January, 2024; originally announced January 2024.

Comments: Accepted to ICLR 2024, code and link to project data are made available at https://github.com/epfl-dlab/LAMEN

A real-time, hardware agnostic framework for close-up branch reconstruction using RGB data

Authors: Alexander You, Aarushi Mehta, Luke Strohbehn, Jochen Hemming, Cindy Grimm, Joseph R. Davidson

Abstract: Creating accurate 3D models of tree topology is an important task for tree pruning. The 3D model is used to decide which branches to prune and then to execute the pruning cuts. Previous methods for creating 3D tree models have typically relied on point clouds, which are often computationally expensive to process and can suffer from data defects, especially with thin branches. In this paper, we pro… ▽ More Creating accurate 3D models of tree topology is an important task for tree pruning. The 3D model is used to decide which branches to prune and then to execute the pruning cuts. Previous methods for creating 3D tree models have typically relied on point clouds, which are often computationally expensive to process and can suffer from data defects, especially with thin branches. In this paper, we propose a method for actively scanning along a primary tree branch, detecting secondary branches to be pruned, and reconstructing their 3D geometry using just an RGB camera mounted on a robot arm. We experimentally validate that our setup is able to produce primary branch models with 4-5 mm accuracy and secondary branch models with 15 degrees orientation accuracy with respect to the ground truth model. Our framework is real-time and can run up to 10 cm/s with no loss in model accuracy or ability to detect secondary branches. △ Less

Submitted 18 June, 2024; v1 submitted 20 September, 2023; originally announced September 2023.

On boundary representations

Authors: Kenneth R. Davidson, Michael Hartz

Abstract: Let $S$ be an operator system sitting in its C*-envelope $C^*_{\mathrm{min}}(S)$. Starting with a pure state on $S$, let $F$ be the face of state extensions to $C^*_{\mathrm{min}}(S)$. The dilation theorem of Davidson-Kennedy shows that the GNS representations corresponding to some of the extreme states of $F$ are boundary representations. We construct an explicit example in which $F$ is an interv… ▽ More Let $S$ be an operator system sitting in its C*-envelope $C^*_{\mathrm{min}}(S)$. Starting with a pure state on $S$, let $F$ be the face of state extensions to $C^*_{\mathrm{min}}(S)$. The dilation theorem of Davidson-Kennedy shows that the GNS representations corresponding to some of the extreme states of $F$ are boundary representations. We construct an explicit example in which $F$ is an interval and only one of the two extreme points yields a boundary representation. △ Less

Submitted 9 August, 2023; originally announced August 2023.

Comments: 12 pages

MSC Class: 46L07 (Primary); 47A20; 46E22; 47L55 (Secondary)

Altered Topological Structure of the Brain White Matter in Maltreated Children through Topological Data Analysis

Authors: Moo K. Chung, Tahmineh Azizi, Jamie L. Hanson, Andrew L. Alexander, Richard J. Davidson, Seth D. Pollak

Abstract: Childhood maltreatment may adversely affect brain development and consequently influence behavioral, emotional, and psychological patterns during adulthood. In this study, we propose an analytical pipeline for modeling the altered topological structure of brain white matter in maltreated and typically developing children. We perform topological data analysis (TDA) to assess the alteration in the g… ▽ More Childhood maltreatment may adversely affect brain development and consequently influence behavioral, emotional, and psychological patterns during adulthood. In this study, we propose an analytical pipeline for modeling the altered topological structure of brain white matter in maltreated and typically developing children. We perform topological data analysis (TDA) to assess the alteration in the global topology of the brain white-matter structural covariance network among children. We use persistent homology, an algebraic technique in TDA, to analyze topological features in the brain covariance networks constructed from structural magnetic resonance imaging (MRI) and diffusion tensor imaging (DTI). We develop a novel framework for statistical inference based on the Wasserstein distance to assess the significance of the observed topological differences. Using these methods in comparing maltreated children to a typically developing control group, we find that maltreatment may increase homogeneity in white matter structures and thus induce higher correlations in the structural covariance; this is reflected in the topological profile. Our findings strongly suggest that TDA can be a valuable framework to model altered topological structures of the brain. The MATLAB codes and processed data used in this study can be found at https://github.com/laplcebeltrami/maltreated. △ Less

Submitted 14 November, 2023; v1 submitted 12 April, 2023; originally announced April 2023.

Supercontinuum generation in dispersion engineered highly doped silica glass waveguides

Authors: Guangkuo Li, Yuhua Li, Feng Ye, Qian Li, Shao Hao Wang, Benjamin Wetzel, Roy Davidson, Brent E. Little, Sai Tak Chu

Abstract: We investigate the effect of a lower index oxide layer inclusion within a highly doped silica glass slot waveguide for optimized supercontinuum generation at telecom wavelengths. By controlling the thickness of the oxide slot, we demonstrate that one can engineer the waveguide dispersion profile so that to obtain supercontinua with vastly different spectral broadening dynamics and bandwidths. Usin… ▽ More We investigate the effect of a lower index oxide layer inclusion within a highly doped silica glass slot waveguide for optimized supercontinuum generation at telecom wavelengths. By controlling the thickness of the oxide slot, we demonstrate that one can engineer the waveguide dispersion profile so that to obtain supercontinua with vastly different spectral broadening dynamics and bandwidths. Using this approach, we designed and fabricated a waveguide with a low and flat dispersion profile of less than 43 ps/km/nm across a wavelength range spanning over 1000 nm. We show that, when pumped at the telecom C-band, we can generate a supercontinuum that spans over 1.5 octave, from approximately 817 nm to 2183 nm. The numerical simulations, whose parameters are derived from the measured waveguide dimension and material indices, exhibit good agreement with experimental measurements, where one can observe both a qualitative and quantitative match in the supercontinuum overall spectrum and specific features (e.g. soliton and dispersive wave locations). This study represents an important step forward in the control and manipulation of dispersive and nonlinear dynamics in highly doped silica glass waveguides, paving the way towards advanced on-chip broadband light manipulation. △ Less

Submitted 3 April, 2023; originally announced April 2023.

HISSbot: Sidewinding with a Soft Snake Robot

Authors: Farhan Rozaidi, Emma Waters, Olivia Dawes, Jennifer Yang, Joseph R. Davidson, Ross L. Hatton

Abstract: Snake robots are characterized by their ability to navigate through small spaces and loose terrain by utilizing efficient cyclic forms of locomotion. Soft snake robots are a subset of these robots which utilize soft, compliant actuators to produce movement. Prior work on soft snake robots has primarily focused on planar gaits, such as undulation. More efficient spatial gaits, such as sidewinding,… ▽ More Snake robots are characterized by their ability to navigate through small spaces and loose terrain by utilizing efficient cyclic forms of locomotion. Soft snake robots are a subset of these robots which utilize soft, compliant actuators to produce movement. Prior work on soft snake robots has primarily focused on planar gaits, such as undulation. More efficient spatial gaits, such as sidewinding, are unexplored gaits for soft snake robots. We propose a novel means of constructing a soft snake robot capable of sidewinding, and introduce the Helical Inflating Soft Snake Robot (HISSbot). We validate this actuation through the physical HISSbot, and demonstrate its ability to sidewind across various surfaces. Our tests show robustness in locomotion through low-friction and granular media. △ Less

Submitted 28 March, 2023; originally announced March 2023.

Comments: 7 pages, 9 figures, to be published in RoboSoft 2023

Intermolecular interaction enhances thermoelectric performance of molecular junctions

Authors: Abdalghani Daaoub, Renhang Wang, Ross Davidson, Sara Sangtarash, Hatef Sadeghi

Abstract: Novel organic materials formed from functional molecules are attractive for various nanoelectronic applications because they are environmentally friendly, widely available and inexpensive. Recent advancement in bottom-up fabrication methods has made it possible to design and synthesis functional molecules with desired functionalities and engineer their properties precisely. This requires deeper un… ▽ More Novel organic materials formed from functional molecules are attractive for various nanoelectronic applications because they are environmentally friendly, widely available and inexpensive. Recent advancement in bottom-up fabrication methods has made it possible to design and synthesis functional molecules with desired functionalities and engineer their properties precisely. This requires deeper understanding of if the properties of building blocks e.g. single molecules can be translated to many molecule junctions in the form of self-assembled monolayers (SAM). Therefore, understanding the effect of intermolecular interaction becomes important. In this paper, we study the effect of intermolecular interactions on the charge transport and thermoelectric properties of junctions formed by parallel molecules between metallic electrodes. We demonstrate that the electrical conductance and Seebeck coefficient are enhanced simultaneously leading to more than an order of magnitude enhancement of power factor as a result of intermolecular coupling between two molecules of the same kind or different. This strategy can be used to improve the thermoelectric performance of SAMs by engineering their packing density. △ Less

Submitted 13 December, 2022; originally announced December 2022.

Optimization-Based Mechanical Perception for Peduncle Localization During Robotic Fruit Harvest

Authors: Miranda Cravetz, Cindy Grimm, Joseph R. Davidson

Abstract: Rising global food demand and harsh working conditions make fruit harvest an important domain to automate. Peduncle localization is an important step for any automated fruit harvesting system, since fruit separation techniques are highly sensitive to peduncle location. Most work on peduncle localization has focused on computer vision, but peduncles can be difficult to visually access due to the cl… ▽ More Rising global food demand and harsh working conditions make fruit harvest an important domain to automate. Peduncle localization is an important step for any automated fruit harvesting system, since fruit separation techniques are highly sensitive to peduncle location. Most work on peduncle localization has focused on computer vision, but peduncles can be difficult to visually access due to the cluttered nature of agricultural environments. Our work proposes an alternative method which relies on mechanical -- rather than visual -- perception to localize the peduncle. To estimate the location of this important plant feature, we fit wrench measurements from a wrist force/torque sensor to a physical model of the fruit-plant system, treating the fruit's attachment point as a parameter to be tuned. This method is performed inline as part of the fruit picking procedure. Using our orchard proxy for evaluation, we demonstrate that the technique is able to localize the peduncle within a median distance of 3.8 cm and median orientation error of 16.8 degrees. △ Less

Submitted 27 September, 2022; originally announced September 2022.

Comments: Submitted to ICRA2023

The Coupling Effect: Experimental Validation of the Fusion of Fossen and Featherstone to Simulate UVMS Dynamics in Julia

Authors: Hannah Kolano, Evan Palmer, Joseph R. Davidson

Abstract: As Underwater Vehicle Manipulator Systems (UVMSs) have gotten smaller and lighter over the past years, it is becoming increasingly important to consider the coupling forces between the manipulator and the vehicle when planning and controlling the system. A number of different models have been proposed, each using different rigid body dynamics or hydrodynamics algorithms, or purporting to consider… ▽ More As Underwater Vehicle Manipulator Systems (UVMSs) have gotten smaller and lighter over the past years, it is becoming increasingly important to consider the coupling forces between the manipulator and the vehicle when planning and controlling the system. A number of different models have been proposed, each using different rigid body dynamics or hydrodynamics algorithms, or purporting to consider different dynamic effects on the system, but most go without experimental validation of the full model, and in particular, of the coupling effect between the two systems. In this work, we return to a model combining Featherstone's rigid body dynamics algorithms with Fossen's equations for underwater dynamics by using the Julia package RigidBodyDynamics.jl. We compare the simulation's output with experimental results from pool trials with a ten degree of freedom UVMS that integrates a Reach Alpha manipulator with a BlueROV2. We validate the model's usefulness and identify its strengths and weaknesses in studying the dynamic coupling effect. △ Less

Submitted 21 February, 2024; v1 submitted 27 September, 2022; originally announced September 2022.

Comments: 7 pages. Submitted to ICRA 2024. Major revision from previous paper. Predictive work with recurrent neural networks is excluded, replaced with a more in-depth description of the dynamic model, along with experimental validation of the model. Additional author added (Evan Palmer). The vehicle being examined is also changed from a Seabotix model to a BlueROV2, a more common platform

Positive maps and entanglement in real Hilbert spaces

Authors: Giulio Chiribella, Kenneth R. Davidson, Vern I. Paulsen, Mizanur Rahaman

Abstract: The theory of positive maps plays a central role in operator algebras and functional analysis, and has countless applications in quantum information science. The theory was originally developed for operators acting on complex Hilbert spaces, and little is known about its variant on real Hilbert spaces. In this article we study positive maps acting on a full matrix algebra over the reals, pointing… ▽ More The theory of positive maps plays a central role in operator algebras and functional analysis, and has countless applications in quantum information science. The theory was originally developed for operators acting on complex Hilbert spaces, and little is known about its variant on real Hilbert spaces. In this article we study positive maps acting on a full matrix algebra over the reals, pointing out a number of fundamental differences with the complex case and discussing their implications in quantum information. We provide a necessary and sufficient condition for a real map to admit a positive complexification, and connect the existence of positive maps with non-positive complexification with the existence of mixed states that are entangled in real Hilbert space quantum mechanics, but separable in the complex version, providing explicit examples both for the maps and for the states. Finally, we discuss entanglement breaking and PPT maps, and we show that a straightforward real version of the PPT-squared conjecture is false even in dimension 2. Nevertheless, we show that the original PPT-squared conjecture implies a different conjecture for real maps, in which the PPT property is replaced by a stronger property of invariance under partial transposition (IPT). When the IPT property is assumed, we prove an asymptotic version of the conjecture. △ Less

Submitted 14 May, 2023; v1 submitted 6 July, 2022; originally announced July 2022.

Comments: Updated version. To appear in Annales Henri Poincaré

Journal ref: Annales Henri Poincaré (2023)

An autonomous robot for pruning modern, planar fruit trees

Authors: Alexander You, Nidhi Parayil, Josyula Gopala Krishna, Uddhav Bhattarai, Ranjan Sapkota, Dawood Ahmed, Matthew Whiting, Manoj Karkee, Cindy M. Grimm, Joseph R. Davidson

Abstract: Dormant pruning of fruit trees is an important task for maintaining tree health and ensuring high-quality fruit. Due to decreasing labor availability, pruning is a prime candidate for robotic automation. However, pruning also represents a uniquely difficult problem for robots, requiring robust systems for perception, pruning point determination, and manipulation that must operate under variable li… ▽ More Dormant pruning of fruit trees is an important task for maintaining tree health and ensuring high-quality fruit. Due to decreasing labor availability, pruning is a prime candidate for robotic automation. However, pruning also represents a uniquely difficult problem for robots, requiring robust systems for perception, pruning point determination, and manipulation that must operate under variable lighting conditions and in complex, highly unstructured environments. In this paper, we introduce a system for pruning sweet cherry trees (in a planar tree architecture called an upright fruiting offshoot configuration) that integrates various subsystems from our previous work on perception and manipulation. The resulting system is capable of operating completely autonomously and requires minimal control of the environment. We validate the performance of our system through field trials in a sweet cherry orchard, ultimately achieving a cutting success rate of 58%. Though not fully robust and requiring improvements in throughput, our system is the first to operate on fruit trees and represents a useful base platform to be improved in the future. △ Less

Submitted 14 June, 2022; originally announced June 2022.

Counterexamples to the extendibility of positive unital norm-one maps

Authors: Giulio Chiribella, Kenneth R. Davidson, Vern I. Paulsen, Mizanur Rahaman

Abstract: Arveson's extension theorem guarantees that every completely positive map defined on an operator system can be extended to a completely positive map defined on the whole C*-algebra containing it. An analogous statement where complete positivity is replaced by positivity is known to be false. A natural question is whether extendibility could still hold for positive maps satisfying stronger conditio… ▽ More Arveson's extension theorem guarantees that every completely positive map defined on an operator system can be extended to a completely positive map defined on the whole C*-algebra containing it. An analogous statement where complete positivity is replaced by positivity is known to be false. A natural question is whether extendibility could still hold for positive maps satisfying stronger conditions, such as being unital and norm 1. Here we provide three counterexamples showing that positive norm-one unital maps defined on an operator subsystem of a matrix algebra cannot be extended to a positive map on the full matrix algebra. The first counterexample is an unextendible positive unital map with unit norm, the second counterexample is an unextendible positive unital isometry on a real operator space, and the third counterexample is an unextendible positive unital isometry on a complex operator space. △ Less

Submitted 19 April, 2022; originally announced April 2022.

Comments: Comments are welcome

Journal ref: Linear Algebra and its Applications (2023)

Optical flow-based branch segmentation for complex orchard environments

Authors: Alexander You, Cindy Grimm, Joseph R. Davidson

Abstract: Machine vision is a critical subsystem for enabling robots to be able to perform a variety of tasks in orchard environments. However, orchards are highly visually complex environments, and computer vision algorithms operating in them must be able to contend with variable lighting conditions and background noise. Past work on enabling deep learning algorithms to operate in these environments has ty… ▽ More Machine vision is a critical subsystem for enabling robots to be able to perform a variety of tasks in orchard environments. However, orchards are highly visually complex environments, and computer vision algorithms operating in them must be able to contend with variable lighting conditions and background noise. Past work on enabling deep learning algorithms to operate in these environments has typically required large amounts of hand-labeled data to train a deep neural network or physically controlling the conditions under which the environment is perceived. In this paper, we train a neural network system in simulation only using simulated RGB data and optical flow. This resulting neural network is able to perform foreground segmentation of branches in a busy orchard environment without additional real-world training or using any special setup or equipment beyond a standard camera. Our results show that our system is highly accurate and, when compared to a network using manually labeled RGBD data, achieves significantly more consistent and robust performance across environments that differ from the training set. △ Less

Submitted 25 February, 2022; originally announced February 2022.

Proteome-scale Deployment of Protein Structure Prediction Workflows on the Summit Supercomputer

Authors: Mu Gao, Mark Coletti, Russell B. Davidson, Ryan Prout, Subil Abraham, Benjamin Hernandez, Ada Sedova

Abstract: Deep learning has contributed to major advances in the prediction of protein structure from sequence, a fundamental problem in structural bioinformatics. With predictions now approaching the accuracy of crystallographic resolution in some cases, and with accelerators like GPUs and TPUs making inference using large models rapid, fast genome-level structure prediction becomes an obvious aim. Leaders… ▽ More Deep learning has contributed to major advances in the prediction of protein structure from sequence, a fundamental problem in structural bioinformatics. With predictions now approaching the accuracy of crystallographic resolution in some cases, and with accelerators like GPUs and TPUs making inference using large models rapid, fast genome-level structure prediction becomes an obvious aim. Leadership-class computing resources can be used to perform genome-scale protein structure prediction using state-of-the-art deep learning models, providing a wealth of new data for systems biology applications. Here we describe our efforts to efficiently deploy the AlphaFold2 program, for full-proteome structure prediction, at scale on the Oak Ridge Leadership Computing Facility's resources, including the Summit supercomputer. We performed inference to produce the predicted structures for 35,634 protein sequences, corresponding to three prokaryotic proteomes and one plant proteome, using under 4,000 total Summit node hours, equivalent to using the majority of the supercomputer for one hour. We also designed an optimized structure refinement that reduced the time for the relaxation stage of the AlphaFold pipeline by over 10X for longer sequences. We demonstrate the types of analyses that can be performed on proteome-scale collections of sequences, including a search for novel quaternary structures and implications for functional annotation. △ Less

Submitted 24 January, 2022; originally announced January 2022.

Random Field Optimization

Authors: Joshua L. Pulsipher, Benjamin R. Davidson, Victor M. Zavala

Abstract: We present a new modeling paradigm for optimization that we call random field optimization. Random fields are a powerful modeling abstraction that aims to capture the behavior of random variables that live on infinite-dimensional spaces (e.g., space and time) such as stochastic processes (e.g., time series, Gaussian processes, and Markov processes), random matrices, and random spatial fields. This… ▽ More We present a new modeling paradigm for optimization that we call random field optimization. Random fields are a powerful modeling abstraction that aims to capture the behavior of random variables that live on infinite-dimensional spaces (e.g., space and time) such as stochastic processes (e.g., time series, Gaussian processes, and Markov processes), random matrices, and random spatial fields. This paradigm involves sophisticated mathematical objects (e.g., stochastic differential equations and space-time kernel functions) and has been widely used in neuroscience, geoscience, physics, civil engineering, and computer graphics. Despite of this, however, random fields have seen limited use in optimization; specifically, existing optimization paradigms that involve uncertainty (e.g., stochastic programming and robust optimization) mostly focus on the use of finite random variables. This trend is rapidly changing with the advent of statistical optimization (e.g., Bayesian optimization) and multi-scale optimization (e.g., integration of molecular sciences and process engineering). Our work extends a recently-proposed abstraction for infinite-dimensional optimization problems by capturing more general uncertainty representations. Moreover, we discuss solution paradigms for this new class of problems based on finite transformations and sampling, and identify open questions and challenges. △ Less

Submitted 24 January, 2022; originally announced January 2022.

Associational and plausible causal effects of COVID-19 public health policies on economic and mental distress

Authors: Reka Sundaram-Stukel, Richard J Davidson

Abstract: Background The COVID-19 pandemic has increased mental distress globally. The proportion of people reporting anxiety is 26%, and depression is 34% points. Disentangling associational and causal contributions of behavior, COVID-19 cases, and economic distress on mental distress will dictate different mitigation strategies to reduce long-term pandemic-related mental distress. Methods We use the House… ▽ More Background The COVID-19 pandemic has increased mental distress globally. The proportion of people reporting anxiety is 26%, and depression is 34% points. Disentangling associational and causal contributions of behavior, COVID-19 cases, and economic distress on mental distress will dictate different mitigation strategies to reduce long-term pandemic-related mental distress. Methods We use the Household Pulse Survey (HPS) April 2020 to February 2021 data to examine mental distress among U.S. citizens attributable to COVID-19. We combined HPS survey data with publicly available state-level weekly: COVID-19 case and death data from the Centers for Disease Control, public policies, and Apple and Google mobility data. Finally, we constructed economic and mental distress measures to estimate structural models with lag dependent variables to tease out public health policies' associational and causal path coefficients on economic and mental distress. Findings From April 2020 to February 2021, we found that anxiety and depression had steadily climbed in the U.S. By design, mobility restrictions primarily affected public health policies where businesses and restaurants absorbed the biggest hit. Period t-1 COVID-19 cases increased job loss by 4.1% and economic distress by 6.3% points in the same period. Job-loss and housing insecurity in t-1 increased period t mental distress by 29.1% and 32.7%, respectively. However, t-1 food insecurity decreased mental distress by 4.9% in time t. The pandemic-related potential causal path coefficient of period t-1 economic distress on period t depression is 57.8%, and anxiety is 55.9%. Thus, we show that period t-1 COVID-19 case information, behavior, and economic distress may be causally associated with pandemic related period t mental distress. △ Less

Submitted 20 December, 2021; originally announced December 2021.

Comments: Pages 8, figures 2 in main text

New Measures for Shaping Trajectories in Dynamic Optimization

Authors: Joshua L. Pulsipher, Benjamin R. Davidson, Victor M. Zavala

Abstract: We propose a new class of measures for shaping time-dependent trajectories in dynamic optimization (DO). The proposed measures are analogous to risk measures used in stochastic optimization (SO) and are inspired by a recently-proposed unifying abstraction for infinite-dimensional optimization. Risk measures are summarizing statistics (e.g., average, variance, quantiles, worst-case values) that are… ▽ More We propose a new class of measures for shaping time-dependent trajectories in dynamic optimization (DO). The proposed measures are analogous to risk measures used in stochastic optimization (SO) and are inspired by a recently-proposed unifying abstraction for infinite-dimensional optimization. Risk measures are summarizing statistics (e.g., average, variance, quantiles, worst-case values) that are used to shape the probability density of random objectives and constraints. We show that this extensive collection of measures can be applied in DO for computing and manipulating interesting features of time-dependent trajectories (e.g., excursion costs and quantiles). We also discuss how to implement these measures in the Julia modeling package InfiniteOpt.jl. △ Less

Submitted 13 October, 2021; originally announced October 2021.

Precision fruit tree pruning using a learned hybrid vision/interaction controller

Authors: Alexander You, Hannah Kolano, Nidhi Parayil, Cindy Grimm, Joseph R. Davidson

Abstract: Robotic tree pruning requires highly precise manipulator control in order to accurately align a cutting implement with the desired pruning point at the correct angle. Simultaneously, the robot must avoid applying excessive force to rigid parts of the environment such as trees, support posts, and wires. In this paper, we propose a hybrid control system that uses a learned vision-based controller to… ▽ More Robotic tree pruning requires highly precise manipulator control in order to accurately align a cutting implement with the desired pruning point at the correct angle. Simultaneously, the robot must avoid applying excessive force to rigid parts of the environment such as trees, support posts, and wires. In this paper, we propose a hybrid control system that uses a learned vision-based controller to initially align the cutter with the desired pruning point, taking in images of the environment and outputting control actions. This controller is trained entirely in simulation, but transfers easily to real trees via a neural network which transforms raw images into a simplified, segmented representation. Once contact is established, the system hands over control to an interaction controller that guides the cutter pivot point to the branch while minimizing interaction forces. With this simple, yet novel, approach we demonstrate an improvement of over 30 percentage points in accuracy over a baseline controller that uses camera depth data. △ Less

Submitted 27 September, 2021; originally announced September 2021.

Comments: Submitted for consideration for the 2022 IEEE International Conference on Robotics and Automation (ICRA)

Radio frequency spectrum analyzer with a 5 THz bandwidth based on nonlinear optics in a CMOS compatible high-index doped silica waveguide

Authors: Yuhua Li, Zhe Kang, Kun Zhu, Shiqi Ai, Xiang Wang, Roy R. Davidson, Yan Wu, Roberto Morandotti, Brent E. Little, David J. Moss, Sai Tak Chu

Abstract: We report an all-optical radio-frequency (RF) spectrum analyzer with a bandwidth greater than 5 terahertz (THz), based on a 50-cm long spiral waveguide in a CMOS-compatible high-index doped silica platform. By carefully mapping out the dispersion profile of the waveguides for different thicknesses, we identify the optimal design to achieve near zero dispersion in the C-band. To demonstrate the cap… ▽ More We report an all-optical radio-frequency (RF) spectrum analyzer with a bandwidth greater than 5 terahertz (THz), based on a 50-cm long spiral waveguide in a CMOS-compatible high-index doped silica platform. By carefully mapping out the dispersion profile of the waveguides for different thicknesses, we identify the optimal design to achieve near zero dispersion in the C-band. To demonstrate the capability of the RF spectrum analyzer, we measure the optical output of a femtosecond fiber laser with an ultrafast optical RF spectrum in the terahertz regime. △ Less

Submitted 18 March, 2021; originally announced March 2021.

Comments: 5 pages, 6 figures, 26 references

Journal ref: Optics Letters Volume 46, Issue 7, pages 1574-1577 (2021)

Semantics-guided Skeletonization of Sweet Cherry Trees for Robotic Pruning

Authors: Alexander You, Cindy Grimm, Abhisesh Silwal, Joseph R. Davidson

Abstract: Dormant pruning for fresh market fruit trees is a relatively unexplored application of agricultural robotics for which few end-to-end systems exist. One of the biggest challenges in creating an autonomous pruning system is the need to reconstruct a model of a tree which is accurate and informative enough to be useful for deciding where to cut. One useful structure for modeling a tree is a skeleton… ▽ More Dormant pruning for fresh market fruit trees is a relatively unexplored application of agricultural robotics for which few end-to-end systems exist. One of the biggest challenges in creating an autonomous pruning system is the need to reconstruct a model of a tree which is accurate and informative enough to be useful for deciding where to cut. One useful structure for modeling a tree is a skeleton: a 1D, lightweight representation of the geometry and the topology of a tree. This skeletonization problem is an important one within the field of computer graphics, and a number of algorithms have been specifically developed for the task of modeling trees. These skeletonization algorithms have largely addressed the problem as a geometric one. In agricultural contexts, however, the parts of the tree have distinct labels, such as the trunk, supporting branches, etc. This labeled structure is important for understanding where to prune. We introduce an algorithm which produces such a labeled skeleton, using the topological and geometric priors associated with these labels to improve our skeletons. We test our skeletonization algorithm on point clouds from 29 upright fruiting offshoot (UFO) trees and demonstrate a median accuracy of 70% with respect to a human-evaluated gold standard. We also make point cloud scans of 82 UFO trees open-source to other researchers. Our work represents a significant first step towards a robust tree modeling framework which can be used in an autonomous pruning system. △ Less

Submitted 3 March, 2021; originally announced March 2021.

A Small Satellite Version of a Broad-band Soft X-ray Polarimeter

Authors: Herman L. Marshall, Sarah N. T. Heine, Alan Garner, Eric M. Gullikson, H. Moritz Günther, Christopher Leitz, Rebecca Masterson, Eric D. Miller, William Zhang, Rozenn Boissay-Malaquin, Ilaria Caiazzo, Deepto Chakrabarty, Rosemary Davidson, Luigi C. Gallo, Ralf K. Heilmann, Jeremy Heyl, Erin Kara, Alan Marscher, Norbert S. Schulz

Abstract: We describe a new implementation of a broad-band soft X-ray polarimeter, substantially based on a previous design. This implementation, the Pioneer Soft X-ray Polarimeter (PiSoX) is a SmallSat, designed for NASA's call for Astrophysics Pioneers, small missions that could be CubeSats, balloon experiments, or SmallSats. As in the REDSoX Polarimeter, the grating arrangement is designed optimally for… ▽ More We describe a new implementation of a broad-band soft X-ray polarimeter, substantially based on a previous design. This implementation, the Pioneer Soft X-ray Polarimeter (PiSoX) is a SmallSat, designed for NASA's call for Astrophysics Pioneers, small missions that could be CubeSats, balloon experiments, or SmallSats. As in the REDSoX Polarimeter, the grating arrangement is designed optimally for the purpose of polarimetry with broad-band focussing optics by matching the dispersion of the spectrometer channels to laterally graded multilayers (LGMLs). The system can achieve polarization modulation factors over 90%. For PiSoX, the optics are lightweight Si mirrors in a one-bounce parabolic configuration. High efficiency, blazed gratings from opposite sectors are oriented to disperse to a LGML forming a channel covering the wavelength range from 35 to 75 Angstroms (165 - 350 eV). Upon satellite rotation, the intensities of the dispersed spectra, after reflection and polarizing by the LGMLs, give the three Stokes parameters needed to determine a source's linear polarization fraction and orientation. The design can be extended to higher energies as LGMLs are developed further. We describe examples of the potential scientific return from instruments based on this design. △ Less

Submitted 4 December, 2020; originally announced December 2020.

Comments: 20 pages, 8 figures, to appear in Proceedings SPIE, volume 11444

Combinatorial and computational investigations of Neighbor-Joining bias

Authors: Ruth Davidson, Abraham Martin del Campo

Abstract: The Neighbor-Joining algorithm is a popular distance-based phylogenetic method that computes a tree metric from a dissimilarity map arising from biological data. Realizing dissimilarity maps as points in Euclidean space, the algorithm partitions the input space into polyhedral regions indexed by the combinatorial type of the trees returned. A full combinatorial description of these regions has not… ▽ More The Neighbor-Joining algorithm is a popular distance-based phylogenetic method that computes a tree metric from a dissimilarity map arising from biological data. Realizing dissimilarity maps as points in Euclidean space, the algorithm partitions the input space into polyhedral regions indexed by the combinatorial type of the trees returned. A full combinatorial description of these regions has not been found yet; different sequences of Neighbor-Joining agglomeration events can produce the same combinatorial tree, therefore associating multiple geometric regions to the same algorithmic output. We resolve this confusion by defining agglomeration orders on trees, leading to a bijection between distinct regions of the output space and weighted Motzkin paths. As a result, we give a formula for the number of polyhedral regions depending only on the number of taxa. We conclude with a computational comparison between these polyhedral regions, to unveil biases introduced in any implementation of the algorithm. △ Less

Submitted 16 September, 2020; v1 submitted 18 July, 2020; originally announced July 2020.

Comments: 18 pages, 11 figures

MSC Class: 92D15; 52B05

Strongly peaking representations and compressions of operator systems

Authors: Kenneth R. Davidson, Benjamin Passer

Abstract: We use Arveson's notion of strongly peaking representation to generalize uniqueness theorems for free spectrahedra and matrix convex sets which admit minimal presentations. A fully compressed separable operator system necessarily generates the C*-envelope and is such that the identity is the direct sum of strongly peaking representations. In particular, a fully compressed presentation of a separab… ▽ More We use Arveson's notion of strongly peaking representation to generalize uniqueness theorems for free spectrahedra and matrix convex sets which admit minimal presentations. A fully compressed separable operator system necessarily generates the C*-envelope and is such that the identity is the direct sum of strongly peaking representations. In particular, a fully compressed presentation of a separable operator system is unique up to unitary equivalence. Under various additional assumptions, minimality conditions are sufficient to determine a separable operator system uniquely. △ Less

Submitted 12 August, 2020; v1 submitted 23 May, 2020; originally announced May 2020.

Comments: 26 pages. Version 2 has minor updates. To appear in International Mathematics Research Notices

MSC Class: 47A20; 47A13; 46L07; 47L25

Journal ref: Int. Math. Res. Not. IMRN 7 (2022), 5037-5070

Interpolation and duality in algebras of multipliers on the ball

Authors: Kenneth R. Davidson, Michael Hartz

Abstract: We study the multiplier algebras $A(\mathcal{H})$ obtained as the closure of the polynomials on certain reproducing kernel Hilbert spaces $\mathcal{H}$ on the ball $\mathbb{B}_d$ of $\mathbb{C}^d$. Our results apply, in particular, to the Drury-Arveson space, the Dirichlet space and the Hardy space on the ball. We first obtain a complete description of the dual and second dual spaces of… ▽ More We study the multiplier algebras $A(\mathcal{H})$ obtained as the closure of the polynomials on certain reproducing kernel Hilbert spaces $\mathcal{H}$ on the ball $\mathbb{B}_d$ of $\mathbb{C}^d$. Our results apply, in particular, to the Drury-Arveson space, the Dirichlet space and the Hardy space on the ball. We first obtain a complete description of the dual and second dual spaces of $A(\mathcal H)$ in terms of the complementary bands of Henkin and totally singular measures for $\operatorname{Mult}(\mathcal{H})$. This is applied to obtain several definitive results in interpolation. In particular, we establish a sharp peak interpolation result for compact $\operatorname{Mult}(\mathcal{H})$-totally null sets as well as a Pick and peak interpolation theorem. Conversely, we show that a mere interpolation set is $\operatorname{Mult}(\mathcal{H})$-totally null. △ Less

Submitted 22 April, 2022; v1 submitted 31 March, 2020; originally announced March 2020.

Comments: 44 pages; minor changes

MSC Class: 46E22 (Primary) 47L30; 47L50; 46J15 (Secondary)

Increasing Expressivity of a Hyperspherical VAE

Authors: Tim R. Davidson, Jakub M. Tomczak, Efstratios Gavves

Abstract: Learning suitable latent representations for observed, high-dimensional data is an important research topic underlying many recent advances in machine learning. While traditionally the Gaussian normal distribution has been the go-to latent parameterization, recently a variety of works have successfully proposed the use of manifold-valued latents. In one such work (Davidson et al., 2018), the autho… ▽ More Learning suitable latent representations for observed, high-dimensional data is an important research topic underlying many recent advances in machine learning. While traditionally the Gaussian normal distribution has been the go-to latent parameterization, recently a variety of works have successfully proposed the use of manifold-valued latents. In one such work (Davidson et al., 2018), the authors empirically show the potential benefits of using a hyperspherical von Mises-Fisher (vMF) distribution in low dimensionality. However, due to the unique distributional form of the vMF, expressivity in higher dimensional space is limited as a result of its scalar concentration parameter leading to a 'hyperspherical bottleneck'. In this work we propose to extend the usability of hyperspherical parameterizations to higher dimensions using a product-space instead, showing improved results on a selection of image datasets. △ Less

Submitted 7 October, 2019; originally announced October 2019.

Comments: NeurIPS 2019, in Workshop on Bayesian Deep Learning

Generating large labeled data sets for laparoscopic image processing tasks using unpaired image-to-image translation

Authors: Micha Pfeiffer, Isabel Funke, Maria R. Robu, Sebastian Bodenstedt, Leon Strenger, Sandy Engelhardt, Tobias Roß, Matthew J. Clarkson, Kurinchi Gurusamy, Brian R. Davidson, Lena Maier-Hein, Carina Riediger, Thilo Welsch, Jürgen Weitz, Stefanie Speidel

Abstract: In the medical domain, the lack of large training data sets and benchmarks is often a limiting factor for training deep neural networks. In contrast to expensive manual labeling, computer simulations can generate large and fully labeled data sets with a minimum of manual effort. However, models that are trained on simulated data usually do not translate well to real scenarios. To bridge the domain… ▽ More In the medical domain, the lack of large training data sets and benchmarks is often a limiting factor for training deep neural networks. In contrast to expensive manual labeling, computer simulations can generate large and fully labeled data sets with a minimum of manual effort. However, models that are trained on simulated data usually do not translate well to real scenarios. To bridge the domain gap between simulated and real laparoscopic images, we exploit recent advances in unpaired image-to-image translation. We extent an image-to-image translation method to generate a diverse multitude of realistically looking synthetic images based on images from a simple laparoscopy simulation. By incorporating means to ensure that the image content is preserved during the translation process, we ensure that the labels given for the simulated images remain valid for their realistically looking translations. This way, we are able to generate a large, fully labeled synthetic data set of laparoscopic images with realistic appearance. We show that this data set can be used to train models for the task of liver segmentation of laparoscopic images. We achieve average dice scores of up to 0.89 in some patients without manually labeling a single laparoscopic image and show that using our synthetic data to pre-train models can greatly improve their performance. The synthetic data set will be made publicly available, fully labeled with segmentation maps, depth maps, normal maps, and positions of tools and camera (http://opencas.dkfz.de/image2image). △ Less

Submitted 5 July, 2019; originally announced July 2019.

Comments: Accepted at MICCAI 2019

Noncommutative Choquet theory

Authors: Kenneth R. Davidson, Matthew Kennedy

Abstract: We introduce a new and extensive theory of noncommutative convexity along with a corresponding theory of noncommutative functions. We establish noncommutative analogues of the fundamental results from classical convexity theory, and apply these ideas to develop a noncommutative Choquet theory that generalizes much of classical Choquet theory. The central objects of interest in noncommutative con… ▽ More We introduce a new and extensive theory of noncommutative convexity along with a corresponding theory of noncommutative functions. We establish noncommutative analogues of the fundamental results from classical convexity theory, and apply these ideas to develop a noncommutative Choquet theory that generalizes much of classical Choquet theory. The central objects of interest in noncommutative convexity are noncommutative convex sets. The category of compact noncommutative sets is dual to the category of operator systems, and there is a robust notion of extreme point for a noncommutative convex set that is dual to Arveson's notion of boundary representation for an operator system. We identify the C*-algebra of continuous noncommutative functions on a compact noncommutative convex set as the maximal C*-algebra of the operator system of continuous noncommutative affine functions on the set. In the noncommutative setting, unital completely positive maps on this C*-algebra play the role of representing measures in the classical setting. The continuous convex noncommutative functions determine an order on the set of unital completely positive maps that is analogous to the classical Choquet order on probability measures. We characterize this order in terms of the extensions and dilations of the maps, providing a powerful new perspective on the structure of completely positive maps on operator systems. Finally, we establish a noncommutative generalization of the Choquet-Bishop-de Leeuw theorem asserting that every point in a compact noncommutative convex set has a representing map that is supported on the extreme boundary. In the separable case, we obtain a corresponding integral representation theorem. △ Less

Submitted 10 June, 2025; v1 submitted 21 May, 2019; originally announced May 2019.

Comments: 83 pages; various minor changes

MSC Class: Primary 46A55; 46L07; 47A20; Secondary 46L52; 47L25

Reparameterizing Distributions on Lie Groups

Authors: Luca Falorsi, Pim de Haan, Tim R. Davidson, Patrick Forré

Abstract: Reparameterizable densities are an important way to learn probability distributions in a deep learning setting. For many distributions it is possible to create low-variance gradient estimators by utilizing a `reparameterization trick'. Due to the absence of a general reparameterization trick, much research has recently been devoted to extend the number of reparameterizable distributional families.… ▽ More Reparameterizable densities are an important way to learn probability distributions in a deep learning setting. For many distributions it is possible to create low-variance gradient estimators by utilizing a `reparameterization trick'. Due to the absence of a general reparameterization trick, much research has recently been devoted to extend the number of reparameterizable distributional families. Unfortunately, this research has primarily focused on distributions defined in Euclidean space, ruling out the usage of one of the most influential class of spaces with non-trivial topologies: Lie groups. In this work we define a general framework to create reparameterizable densities on arbitrary Lie groups, and provide a detailed practitioners guide to further the ease of usage. We demonstrate how to create complex and multimodal distributions on the well known oriented group of 3D rotations, $\operatorname{SO}(3)$, using normalizing flows. Our experiments on applying such distributions in a Bayesian setting for pose estimation on objects with discrete and continuous symmetries, showcase their necessity in achieving realistic uncertainty estimates. △ Less

Submitted 7 March, 2019; originally announced March 2019.

Comments: AISTATS (2019), code available at https://github.com/pimdh/relie

Nevanlinna-Pick Families and Singular Rational Varieties

Authors: Kenneth R. Davidson, Eli Shamovich

Abstract: The goal of this note is to apply ideas from commutative algebra (a.k.a. affine algebraic geometry) to the question of constrained Nevanlinna-Pick interpolation. More precisely, we consider subalgebras $A \subset \mathbb{C}[z_1,\ldots,z_d]$, such that the map from the affine space to the spectrum of $A$ is an isomorphism except for finitely many points. Letting $\mathfrak{A}$ be the weak-$*$ closu… ▽ More The goal of this note is to apply ideas from commutative algebra (a.k.a. affine algebraic geometry) to the question of constrained Nevanlinna-Pick interpolation. More precisely, we consider subalgebras $A \subset \mathbb{C}[z_1,\ldots,z_d]$, such that the map from the affine space to the spectrum of $A$ is an isomorphism except for finitely many points. Letting $\mathfrak{A}$ be the weak-$*$ closure of $A$ in $\mathcal{M}_d$ -- the multiplier algebra of the Drury-Arveson space. We provide a parametrization for the Nevanlinna-Pick family of $M_k(\mathfrak{A})$ for $k \geq 1$. In particular, when $k=1$ the parameter space for the Nevanlinna-Pick family is the Picard group of $A$. △ Less

Submitted 12 December, 2018; v1 submitted 7 November, 2018; originally announced November 2018.

Explorations in Homeomorphic Variational Auto-Encoding

Authors: Luca Falorsi, Pim de Haan, Tim R. Davidson, Nicola De Cao, Maurice Weiler, Patrick Forré, Taco S. Cohen

Abstract: The manifold hypothesis states that many kinds of high-dimensional data are concentrated near a low-dimensional manifold. If the topology of this data manifold is non-trivial, a continuous encoder network cannot embed it in a one-to-one manner without creating holes of low density in the latent space. This is at odds with the Gaussian prior assumption typically made in Variational Auto-Encoders (V… ▽ More The manifold hypothesis states that many kinds of high-dimensional data are concentrated near a low-dimensional manifold. If the topology of this data manifold is non-trivial, a continuous encoder network cannot embed it in a one-to-one manner without creating holes of low density in the latent space. This is at odds with the Gaussian prior assumption typically made in Variational Auto-Encoders (VAEs), because the density of a Gaussian concentrates near a blob-like manifold. In this paper we investigate the use of manifold-valued latent variables. Specifically, we focus on the important case of continuously differentiable symmetry groups (Lie groups), such as the group of 3D rotations $\operatorname{SO}(3)$. We show how a VAE with $\operatorname{SO}(3)$-valued latent variables can be constructed, by extending the reparameterization trick to compact connected Lie groups. Our experiments show that choosing manifold-valued latent variables that match the topology of the latent data manifold, is crucial to preserve the topological structure and learn a well-behaved latent space. △ Less

Submitted 12 July, 2018; originally announced July 2018.

Comments: 16 pages, 8 figures, ICML workshop on Theoretical Foundations and Applications of Deep Generative Models

Exact Combinatorial Inference for Brain Images

Authors: Moo K. Chung, Zhan Luo, Alex D. Leow, Andrew L. Alexander, Richard J. Davidson, H. Hill Goldsmith

Abstract: The permutation test is known as the exact test procedure in statistics. However, often it is not exact in practice and only an approximate method since only a small fraction of every possible permutation is generated. Even for a small sample size, it often requires to generate tens of thousands permutations, which can be a serious computational bottleneck. In this paper, we propose a novel combin… ▽ More The permutation test is known as the exact test procedure in statistics. However, often it is not exact in practice and only an approximate method since only a small fraction of every possible permutation is generated. Even for a small sample size, it often requires to generate tens of thousands permutations, which can be a serious computational bottleneck. In this paper, we propose a novel combinatorial inference procedure that enumerates all possible permutations combinatorially without any resampling. The proposed method is validated against the standard permutation test in simulation studies with the ground truth. The method is further applied in twin DTI study in determining the genetic contribution of the minimum spanning tree of the structural brain connectivity. △ Less

Submitted 8 July, 2018; originally announced July 2018.

Comments: Accepted for publication in MICCAI 2018

Hyperspherical Variational Auto-Encoders

Authors: Tim R. Davidson, Luca Falorsi, Nicola De Cao, Thomas Kipf, Jakub M. Tomczak

Abstract: The Variational Auto-Encoder (VAE) is one of the most used unsupervised machine learning models. But although the default choice of a Gaussian distribution for both the prior and posterior represents a mathematically convenient distribution often leading to competitive results, we show that this parameterization fails to model data with a latent hyperspherical structure. To address this issue we p… ▽ More The Variational Auto-Encoder (VAE) is one of the most used unsupervised machine learning models. But although the default choice of a Gaussian distribution for both the prior and posterior represents a mathematically convenient distribution often leading to competitive results, we show that this parameterization fails to model data with a latent hyperspherical structure. To address this issue we propose using a von Mises-Fisher (vMF) distribution instead, leading to a hyperspherical latent space. Through a series of experiments we show how such a hyperspherical VAE, or $\mathcal{S}$-VAE, is more suitable for capturing data with a hyperspherical latent structure, while outperforming a normal, $\mathcal{N}$-VAE, in low dimensions on other data types. Code at http://github.com/nicola-decao/s-vae-tf and https://github.com/nicola-decao/s-vae-pytorch △ Less

Submitted 27 September, 2022; v1 submitted 3 April, 2018; originally announced April 2018.

Comments: Code at http://github.com/nicola-decao/s-vae-tf and https://github.com/nicola-decao/s-vae-pytorch, Blogpost: https://nicola-decao.github.io/s-vae

Journal ref: Uncertainty in Artificial Intelligence (UAI). Proceedings of the Thirty-Fourth Conference (2018) 856- 865

RGB image-based data analysis via discrete Morse theory and persistent homology

Authors: Chuan Du, Christopher Szul, Adarsh Manawa, Nima Rasekh, Rosemary K. Guzman, Ruth Davidson

Abstract: Understanding and comparing images for the purposes of data analysis is currently a very computationally demanding task. A group at Australian National University (ANU) recently developed open-source code that can detect fundamental topological features of a grayscale image in a computationally feasible manner. This is made possible by the fact that computers store grayscale images as cubical cell… ▽ More Understanding and comparing images for the purposes of data analysis is currently a very computationally demanding task. A group at Australian National University (ANU) recently developed open-source code that can detect fundamental topological features of a grayscale image in a computationally feasible manner. This is made possible by the fact that computers store grayscale images as cubical cellular complexes. These complexes can be studied using the techniques of discrete Morse theory. We expand the functionality of the ANU code by introducing methods and software for analyzing images encoded in red, green, and blue (RGB), because this image encoding is very popular for publicly available data. Our methods allow the extraction of key topological information from RGB images via informative persistence diagrams by introducing novel methods for transforming RGB-to-grayscale. This paradigm allows us to perform data analysis directly on RGB images representing water scarcity variability as well as crime variability. We introduce software enabling a a user to predict future image properties, towards the eventual aim of more rapid image-based data behavior prediction. △ Less

Submitted 9 January, 2018; originally announced January 2018.

MSC Class: 05E45; 57T99; 91C99; 52-04; 55U99

Dimensions of Group-based Phylogenetic Mixtures

Authors: Hector Baños, Nathaniel Bushek, Ruth Davidson, Elizabeth Gross, Pamela E. Harris, Robert Krone, Colby Long, Allen Stewart, Robert Walker

Abstract: In this paper we study group-based Markov models of evolution and their mixtures. In the algebreo-geometric setting, group-based phylogenetic tree models correspond to toric varieties, while their mixtures correspond to secant and join varieties. Determining properties of these secant and join varieties can aid both in model selection and establishing parameter identifiability. Here we explore the… ▽ More In this paper we study group-based Markov models of evolution and their mixtures. In the algebreo-geometric setting, group-based phylogenetic tree models correspond to toric varieties, while their mixtures correspond to secant and join varieties. Determining properties of these secant and join varieties can aid both in model selection and establishing parameter identifiability. Here we explore the first natural geometric property of these varieties: their dimension. The expected projective dimension of the join variety of a set of varieties is one more than the sum of their dimensions. A join variety that realizes the expected dimension is nondefective. Nondefectiveness is not only interesting from a geometric point-of-view, but has been used to establish combinatorial identifiability for several classes of phylogenetic mixture models. In this paper, we focus on group-based models where the equivalence classes of identified parameters are orbits of a subgroup of the automorphism group of the group defining the model. In particular, we show that, for these group-based models, the variety corresponding to the mixture of $r$ trees with $n$ leaves is nondefective when $n \geq 2r+5$. We also give improved bounds for claw trees and give computational evidence that 2-tree and 3-tree mixtures are nondefective for small~$n$. △ Less

Submitted 23 November, 2017; originally announced November 2017.

Comments: 24 pages, 4 figures

Colossal photon bunching in quasiparticle-mediated nanodiamond cathodoluminescence

Authors: Matthew A. Feldman, Eugene F. Dumitrescu, Denzel Bridges, Matthew F. Chisholm, Roderick B. Davidson, Philip G. Evans, Jordan A. Hachtel, Anming Hu, Raphael C. Pooser, Richard F. Haglund, Benjamin J. Lawrie

Abstract: Nanoscale control over the second-order photon correlation function $g^{(2)}(τ)$ is critical to emerging research in nonlinear nanophotonics and integrated quantum information science. Here we report on quasiparticle control of photon bunching with $g^{(2)}(0)>45$ in the cathodoluminescence of nanodiamond nitrogen vacancy (NV$^0$) centers excited by a converged electron beam in an aberration-corre… ▽ More Nanoscale control over the second-order photon correlation function $g^{(2)}(τ)$ is critical to emerging research in nonlinear nanophotonics and integrated quantum information science. Here we report on quasiparticle control of photon bunching with $g^{(2)}(0)>45$ in the cathodoluminescence of nanodiamond nitrogen vacancy (NV$^0$) centers excited by a converged electron beam in an aberration-corrected scanning transmission electron microscope. Plasmon-mediated NV$^0$ cathodoluminescence exhibits a 16-fold increase in luminescence intensity correlated with a three fold reduction in photon bunching compared with that of uncoupled NV$^0$ centers. This effect is ascribed to the excitation of single temporally uncorrelated NV$^0$ centers by single surface plasmon polaritons. Spectrally resolved Hanbury Brown--Twiss interferometry is employed to demonstrate that the bunching is mediated by the NV$^0$ phonon sidebands, while no observable bunching is detected at the zero-phonon line. The data are consistent with fast phonon-mediated recombination dynamics, a conclusion substantiated by agreement between Bayesian regression and Monte Carlo models of superthermal NV$^0$ luminescence. △ Less

Submitted 16 February, 2018; v1 submitted 17 October, 2017; originally announced October 2017.

Comments: 4 pages, 4 figures

Journal ref: Phys. Rev. B 97, 081404 (2018)

Structure of free semigroupoid algebras

Authors: Kenneth R. Davidson, Adam Dor-On, Boyu Li

Abstract: A free semigroupoid algebra is the closure of the algebra generated by a TCK family of a graph in the weak operator topology. We obtain a structure theory for these algebras analogous to that of free semigroup algebra. We clarify the role of absolute continuity and wandering vectors. These results are applied to obtain a Lebesgue-von Neumann-Wold decomposition of TCK families, along with reflexivi… ▽ More A free semigroupoid algebra is the closure of the algebra generated by a TCK family of a graph in the weak operator topology. We obtain a structure theory for these algebras analogous to that of free semigroup algebra. We clarify the role of absolute continuity and wandering vectors. These results are applied to obtain a Lebesgue-von Neumann-Wold decomposition of TCK families, along with reflexivity, a Kaplansky density theorem and classification for free semigroupoid algebras. Several classes of examples are discussed and developed, including self-adjoint examples and a classification of atomic free semigroupoid algebras up to unitary equivalence. △ Less

Submitted 13 June, 2019; v1 submitted 19 September, 2017; originally announced September 2017.

Comments: 65 pages, 1 figure. Accepted to JFA

MSC Class: 47L80; 47L55; 47L40 (Primary) 46L05 (Secondary)

A combinatorial method for connecting BHV spaces representing different numbers of taxa

Authors: Yingying Ren, Sihan Zha, Jingwen Bi, José A. Sanchez, Cara Monical, Michelle Delcourt, Rosemary K. Guzman, Ruth Davidson

Abstract: The phylogenetic tree space introduced by Billera, Holmes, and Vogtmann (BHV tree space) is a CAT(0) continuous space that represents trees with edge weights with an intrinsic geodesic distance measure. The geodesic distance measure unique to BHV tree space is well known to be computable in polynomial time, which makes it a potentially powerful tool for optimization problems in phylogenetics and p… ▽ More The phylogenetic tree space introduced by Billera, Holmes, and Vogtmann (BHV tree space) is a CAT(0) continuous space that represents trees with edge weights with an intrinsic geodesic distance measure. The geodesic distance measure unique to BHV tree space is well known to be computable in polynomial time, which makes it a potentially powerful tool for optimization problems in phylogenetics and phylogenomics. Specifically, there is significant interest in comparing and combining phylogenetic trees. For example, BHV tree space has been shown to be potentially useful in tree summary and consensus methods, which require combining trees with different number of leaves. Yet an open problem is to transition between BHV tree spaces of different maximal dimension, where each maximal dimension corresponds to the complete set of edge-weighted trees with a fixed number of leaves. We show a combinatorial method to transition between copies of BHV tree spaces in which trees with different numbers of taxa can be studied, derived from its topological structure and geometric properties. This method removes obstacles for embedding problems such as supertree and consensus methods in the BHV treespace framework. △ Less

Submitted 3 December, 2017; v1 submitted 8 August, 2017; originally announced August 2017.

Comments: Updated section on applications and link to github software release

MSC Class: 46N60; 37F20; 90C57; 97K20; 05C05; 92B10