Showing 1–46 of 46 results for author: Curry, J

Truthful Aggregation of LLMs with an Application to Online Advertising

Authors: Ermis Soumalias, Michael J. Curry, Sven Seuken

Abstract: Online platforms generate hundreds of billions of dollars in revenue per year by showing advertisements alongside their own content. Currently, these platforms are integrating Large Language Models (LLMs) into their services. This makes revenue generation from LLM-generated content the next major challenge in online advertising. We consider a scenario where advertisers aim to influence the respons… ▽ More Online platforms generate hundreds of billions of dollars in revenue per year by showing advertisements alongside their own content. Currently, these platforms are integrating Large Language Models (LLMs) into their services. This makes revenue generation from LLM-generated content the next major challenge in online advertising. We consider a scenario where advertisers aim to influence the responses of an LLM to align with their interests, while platforms seek to maximize advertiser value and ensure user satisfaction. We introduce an auction mechanism for this problem that operates without LLM fine-tuning or access to model weights and provably converges to the output of the optimally fine-tuned LLM for the platform's objective as computational resources increase. Our mechanism ensures that truthful reporting is a dominant strategy for advertisers and it aligns each advertiser's utility with their contribution to social welfare - an essential feature for long-term viability. Additionally, it can incorporate contextual information about the advertisers, significantly accelerating convergence. Via experiments with a publicly available LLM, we show that our mechanism significantly boosts advertiser value and platform revenue, with low computational overhead. While our motivating application is online advertising, our mechanism can be applied in any setting with monetary transfers, making it a general-purpose solution for truthfully aggregating the preferences of self-interested agents over LLM-generated replies. △ Less

Submitted 26 June, 2024; v1 submitted 9 May, 2024; originally announced May 2024.

Optimal Automated Market Makers: Differentiable Economics and Strong Duality

Authors: Michael J. Curry, Zhou Fan, David C. Parkes

Abstract: The role of a market maker is to simultaneously offer to buy and sell quantities of goods, often a financial asset such as a share, at specified prices. An automated market maker (AMM) is a mechanism that offers to trade according to some predetermined schedule; the best choice of this schedule depends on the market maker's goals. The literature on the design of AMMs has mainly focused on predicti… ▽ More The role of a market maker is to simultaneously offer to buy and sell quantities of goods, often a financial asset such as a share, at specified prices. An automated market maker (AMM) is a mechanism that offers to trade according to some predetermined schedule; the best choice of this schedule depends on the market maker's goals. The literature on the design of AMMs has mainly focused on prediction markets with the goal of information elicitation. More recent work motivated by DeFi has focused instead on the goal of profit maximization, but considering only a single type of good (traded with a numeraire), including under adverse selection (Milionis et al. 2022). Optimal market making in the presence of multiple goods, including the possibility of complex bundling behavior, is not well understood. In this paper, we show that finding an optimal market maker is dual to an optimal transport problem, with specific geometric constraints on the transport plan in the dual. We show that optimal mechanisms for multiple goods and under adverse selection can take advantage of bundling, both improved prices for bundled purchases and sales as well as sometimes accepting payment "in kind." We present conjectures of optimal mechanisms in additional settings which show further complex behavior. From a methodological perspective, we make essential use of the tools of differentiable economics to generate conjectures of optimal mechanisms, and give a proof-of-concept for the use of such tools in guiding theoretical investigations. △ Less

Submitted 14 February, 2024; originally announced February 2024.

Position: Topological Deep Learning is the New Frontier for Relational Learning

Authors: Theodore Papamarkou, Tolga Birdal, Michael Bronstein, Gunnar Carlsson, Justin Curry, Yue Gao, Mustafa Hajij, Roland Kwitt, Pietro Liò, Paolo Di Lorenzo, Vasileios Maroulas, Nina Miolane, Farzana Nasrin, Karthikeyan Natesan Ramamurthy, Bastian Rieck, Simone Scardapane, Michael T. Schaub, Petar Veličković, Bei Wang, Yusu Wang, Guo-Wei Wei, Ghada Zamzmi

Abstract: Topological deep learning (TDL) is a rapidly evolving field that uses topological features to understand and design deep learning models. This paper posits that TDL is the new frontier for relational learning. TDL may complement graph representation learning and geometric deep learning by incorporating topological concepts, and can thus provide a natural choice for various machine learning setting… ▽ More Topological deep learning (TDL) is a rapidly evolving field that uses topological features to understand and design deep learning models. This paper posits that TDL is the new frontier for relational learning. TDL may complement graph representation learning and geometric deep learning by incorporating topological concepts, and can thus provide a natural choice for various machine learning settings. To this end, this paper discusses open problems in TDL, ranging from practical benefits to theoretical foundations. For each problem, it outlines potential solutions and future research opportunities. At the same time, this paper serves as an invitation to the scientific community to actively participate in TDL research to unlock the potential of this emerging field. △ Less

Submitted 30 May, 2024; v1 submitted 13 February, 2024; originally announced February 2024.

Stability and Approximations for Decorated Reeb Spaces

Authors: Justin Curry, Washington Mio, Tom Needham, Osman Berat Okutan, Florian Russold

Abstract: Given a map $f:X \to M$ from a topological space $X$ to a metric space $M$, a decorated Reeb space consists of the Reeb space, together with an attribution function whose values recover geometric information lost during the construction of the Reeb space. For example, when $M=\mathbb{R}$ is the real line, the Reeb space is the well-known Reeb graph, and the attributions may consist of persistence… ▽ More Given a map $f:X \to M$ from a topological space $X$ to a metric space $M$, a decorated Reeb space consists of the Reeb space, together with an attribution function whose values recover geometric information lost during the construction of the Reeb space. For example, when $M=\mathbb{R}$ is the real line, the Reeb space is the well-known Reeb graph, and the attributions may consist of persistence diagrams summarizing the level set topology of $f$. In this paper, we introduce decorated Reeb spaces in various flavors and prove that our constructions are Gromov-Hausdorff stable. We also provide results on approximating decorated Reeb spaces from finite samples and leverage these to develop a computational framework for applying these constructions to point cloud data. △ Less

Submitted 20 March, 2024; v1 submitted 4 December, 2023; originally announced December 2023.

Comments: V2: Full version of the paper to appear in SOCG 24

Highly ${ }^{28} \mathrm{Si}$ Enriched Silicon by Localised Focused Ion Beam Implantation

Authors: Ravi Acharya, Maddison Coke, Mason Adshead, Kexue Li, Barat Achinuq, Rongsheng Cai, A. Baset Gholizadeh, Janet Jacobs, Jessica L. Boland, Sarah J. Haigh, Katie L. Moore, David N. Jamieson, Richard J. Curry

Abstract: Solid-state spin qubits within silicon crystals at mK temperatures show great promise in the realisation of a fully scalable quantum computation platform. Qubit coherence times are limited in natural silicon owing to coupling to the isotope ${ }^{29} \mathrm{Si}$ which has a non-zero nuclear spin. This work presents a method for the depletion of ${ }^{29} \mathrm{Si}$ in localised volumes of natur… ▽ More Solid-state spin qubits within silicon crystals at mK temperatures show great promise in the realisation of a fully scalable quantum computation platform. Qubit coherence times are limited in natural silicon owing to coupling to the isotope ${ }^{29} \mathrm{Si}$ which has a non-zero nuclear spin. This work presents a method for the depletion of ${ }^{29} \mathrm{Si}$ in localised volumes of natural silicon wafers by irradiation using a 45 keV ${ }^{28} \mathrm{Si}$ focused ion beam with fluences above $1 \times 10^{19} \, \mathrm{ions} \, \mathrm{cm}^{-2}$. Nanoscale secondary ion mass spectrometry analysis of the irradiated volumes shows unprecedented quality enriched silicon that reaches a minimal residual ${ }^{29} \mathrm{Si}$ value of 2.3 $\pm$ 0.7 ppm and with residual C and O comparable to the background concentration in the unimplanted wafer. Transmission electron microscopy lattice images confirm the solid phase epitaxial re-crystallization of the as-implanted amorphous enriched volume extending over 200 nm in depth upon annealing. The ease of fabrication, requiring only commercially available natural silicon wafers and ion sources, opens the possibility for co-integration of qubits in localised highly enriched volumes with control circuitry in the surrounding natural silicon for large-scale devices. △ Less

Submitted 23 August, 2023; originally announced August 2023.

Comments: 8 pages, 4 figures, 2 tables

Probing single electrons across 300 mm spin qubit wafers

Authors: Samuel Neyens, Otto K. Zietz, Thomas F. Watson, Florian Luthi, Aditi Nethwewala, Hubert C. George, Eric Henry, Mohammad Islam, Andrew J. Wagner, Felix Borjans, Elliot J. Connors, J. Corrigan, Matthew J. Curry, Daniel Keith, Roza Kotlyar, Lester F. Lampert, Mateusz T. Madzik, Kent Millard, Fahd A. Mohiyaddin, Stefano Pellerano, Ravi Pillarisetty, Mick Ramsey, Rostyslav Savytskyy, Simon Schaal, Guoji Zheng , et al. (5 additional authors not shown)

Abstract: Building a fault-tolerant quantum computer will require vast numbers of physical qubits. For qubit technologies based on solid state electronic devices, integrating millions of qubits in a single processor will require device fabrication to reach a scale comparable to that of the modern CMOS industry. Equally importantly, the scale of cryogenic device testing must keep pace to enable efficient dev… ▽ More Building a fault-tolerant quantum computer will require vast numbers of physical qubits. For qubit technologies based on solid state electronic devices, integrating millions of qubits in a single processor will require device fabrication to reach a scale comparable to that of the modern CMOS industry. Equally importantly, the scale of cryogenic device testing must keep pace to enable efficient device screening and to improve statistical metrics like qubit yield and voltage variation. Spin qubits based on electrons in Si have shown impressive control fidelities but have historically been challenged by yield and process variation. Here we present a testing process using a cryogenic 300 mm wafer prober to collect high-volume data on the performance of hundreds of industry-manufactured spin qubit devices at 1.6 K. This testing method provides fast feedback to enable optimization of the CMOS-compatible fabrication process, leading to high yield and low process variation. Using this system, we automate measurements of the operating point of spin qubits and probe the transitions of single electrons across full wafers. We analyze the random variation in single-electron operating voltages and find that the optimized fabrication process leads to low levels of disorder at the 300 mm scale. Together these results demonstrate the advances that can be achieved through the application of CMOS industry techniques to the fabrication and measurement of spin qubit devices. △ Less

Submitted 3 May, 2024; v1 submitted 10 July, 2023; originally announced July 2023.

Comments: 33 pages, 4 figures, 10 extended data figures. Supplementary Information available under "Ancillary files."

Topologically Attributed Graphs for Shape Discrimination

Authors: Justin Curry, Washington Mio, Tom Needham, Osman Berat Okutan, Florian Russold

Abstract: In this paper we introduce a novel family of attributed graphs for the purpose of shape discrimination. Our graphs typically arise from variations on the Mapper graph construction, which is an approximation of the Reeb graph for point cloud data. Our attributions enrich these constructions with (persistent) homology in ways that are provably stable, thereby recording extra topological information… ▽ More In this paper we introduce a novel family of attributed graphs for the purpose of shape discrimination. Our graphs typically arise from variations on the Mapper graph construction, which is an approximation of the Reeb graph for point cloud data. Our attributions enrich these constructions with (persistent) homology in ways that are provably stable, thereby recording extra topological information that is typically lost in these graph constructions. We provide experiments which illustrate the use of these invariants for shape representation and classification. In particular, we obtain competitive shape classification results when using our topologically attributed graphs as inputs to a simple graph neural network classifier. △ Less

Submitted 30 June, 2023; originally announced June 2023.

Algebraic and Geometric Models for Space Networking

Authors: William Bernardoni, Robert Cardona, Jacob Cleveland, Justin Curry, Robert Green, Brian Heller, Alan Hylton, Tung Lam, Robert Kassouf-Short

Abstract: In this paper we introduce some new algebraic and geometric perspectives on networked space communications. Our main contribution is a novel definition of a time-varying graph (TVG), defined in terms of a matrix with values in subsets of the real line P(R). We leverage semi-ring properties of P(R) to model multi-hop communication in a TVG using matrix multiplication and a truncated Kleene star. Th… ▽ More In this paper we introduce some new algebraic and geometric perspectives on networked space communications. Our main contribution is a novel definition of a time-varying graph (TVG), defined in terms of a matrix with values in subsets of the real line P(R). We leverage semi-ring properties of P(R) to model multi-hop communication in a TVG using matrix multiplication and a truncated Kleene star. This leads to novel statistics on the communication capacity of TVGs called lifetime curves, which we generate for large samples of randomly chosen STARLINK satellites, whose connectivity is modeled over day-long simulations. Determining when a large subsample of STARLINK is temporally strongly connected is further analyzed using novel metrics introduced here that are inspired by topological data analysis (TDA). To better model networking scenarios between the Earth and Mars, we introduce various semi-rings capable of modeling propagation delay as well as protocols common to Delay Tolerant Networking (DTN), such as store-and-forward. Finally, we illustrate the applicability of zigzag persistence for featurizing different space networks and demonstrate the efficacy of K-Nearest Neighbors (KNN) classification for distinguishing Earth-Mars and Earth-Moon satellite systems using time-varying topology alone. △ Less

Submitted 5 October, 2023; v1 submitted 3 April, 2023; originally announced April 2023.

Comments: Figures updated and improved based on more exhaustive simulations. Conjecture 2.27 now has weak and strong variations

MSC Class: 55N31 (Primary) 68M10; 16Y60 (Secondary)

Convergence of Leray Cosheaves for Decorated Mapper Graphs

Authors: Justin Curry, Washington Mio, Tom Needham, Osman Berat Okutan, Florian Russold

Abstract: We introduce decorated mapper graphs as a generalization of mapper graphs capable of capturing more topological information of a data set. A decorated mapper graph can be viewed as a discrete approximation of the cellular Leray cosheaf over the Reeb graph. We establish a theoretical foundation for this construction by showing that the cellular Leray cosheaf with respect to a sequence of covers con… ▽ More We introduce decorated mapper graphs as a generalization of mapper graphs capable of capturing more topological information of a data set. A decorated mapper graph can be viewed as a discrete approximation of the cellular Leray cosheaf over the Reeb graph. We establish a theoretical foundation for this construction by showing that the cellular Leray cosheaf with respect to a sequence of covers converges to the actual Leray cosheaf as the resolution of the covers goes to zero. △ Less

Submitted 5 May, 2023; v1 submitted 28 February, 2023; originally announced March 2023.

MSC Class: 55N31 (primary); 55N30 (secondary)

Compact spectrometer based on disordered multi-mode interferometer

Authors: Ankit Poudel, Pravin Bhattarai, Rijan Maharjan, Richard J Curry, Iain F Crowe, Ashim Dhakal

Abstract: We demonstrate a compact (40 $μ$m $\times$ 260 $μ$m) spectrometer based on multimode interference aided by scattering of light from random SiO$_2$-filled hole arrays on a silicon-on-insulator platform. We characterize the performance of the spectrometer for wavelengths around 1310 nm, and report that the spectrometer can reconstruct a broadband $\sim$ 67 nm source, as well as Lorentzian probes of… ▽ More We demonstrate a compact (40 $μ$m $\times$ 260 $μ$m) spectrometer based on multimode interference aided by scattering of light from random SiO$_2$-filled hole arrays on a silicon-on-insulator platform. We characterize the performance of the spectrometer for wavelengths around 1310 nm, and report that the spectrometer can reconstruct a broadband $\sim$ 67 nm source, as well as Lorentzian probes of $\sim$ 1 nm bandwidth. This compact nanometer level resolution spectrometer can be fabricated at a low cost for lab-on-a-chip sensing and imaging applications. △ Less

Submitted 22 September, 2022; originally announced September 2022.

Comments: 11 pages, 6 figures

A Sheaf-Theoretic Construction of Shape Space

Authors: Shreya Arya, Justin Curry, Sayan Mukherjee

Abstract: We present a sheaf-theoretic construction of shape space -- the space of all shapes. We do this by describing a homotopy sheaf on the poset category of constructible sets, where each set is mapped to its Persistent Homology Transform (PHT). Recent results that build on fundamental work of Schapira have shown that this transform is injective, thus making the PHT a good summary object for each shape… ▽ More We present a sheaf-theoretic construction of shape space -- the space of all shapes. We do this by describing a homotopy sheaf on the poset category of constructible sets, where each set is mapped to its Persistent Homology Transform (PHT). Recent results that build on fundamental work of Schapira have shown that this transform is injective, thus making the PHT a good summary object for each shape. Our homotopy sheaf result allows us to "glue" PHTs of different shapes together to build up the PHT of a larger shape. In the case where our shape is a polyhedron we prove a generalized nerve lemma for the PHT. Finally, by re-examining the sampling result of Smale-Niyogi-Weinberger, we show that we can reliably approximate the PHT of a manifold by a polyhedron up to arbitrary precision. △ Less

Submitted 23 June, 2023; v1 submitted 19 April, 2022; originally announced April 2022.

Comments: Version 3 has 45 pages and 11 figures. Substantially revised to include more background material and explicit computations of PHT distances between point clouds. A new appendix presents out gluing result for the PHT from the infinity category point of view

A Lattice-Theoretic Perspective on the Persistence Map

Authors: Brendan Mallery, Adélie Garin, Justin Curry

Abstract: We provide a naturally isomorphic description of the persistence map from merge trees to barcodes in terms of a monotone map from the partition lattice to the subset lattice. Our description is local, which offers the potential to speed up inverse computations, and brings classical tools in combinatorics to bear on an active area of research in topological data analysis (TDA). We provide a naturally isomorphic description of the persistence map from merge trees to barcodes in terms of a monotone map from the partition lattice to the subset lattice. Our description is local, which offers the potential to speed up inverse computations, and brings classical tools in combinatorics to bear on an active area of research in topological data analysis (TDA). △ Less

Submitted 1 March, 2022; originally announced March 2022.

Comments: 4 pages, 2 figures

The Universal $\ell^p$-Metric on Merge Trees

Authors: Robert Cardona, Justin Curry, Tung Lam, Michael Lesnick

Abstract: Adapting a definition given by Bjerkevik and Lesnick for multiparameter persistence modules, we introduce an $\ell^p$-type extension of the interleaving distance on merge trees. We show that our distance is a metric, and that it upper-bounds the $p$-Wasserstein distance between the associated barcodes. For each $p\in[1,\infty]$, we prove that this distance is stable with respect to cellular sublev… ▽ More Adapting a definition given by Bjerkevik and Lesnick for multiparameter persistence modules, we introduce an $\ell^p$-type extension of the interleaving distance on merge trees. We show that our distance is a metric, and that it upper-bounds the $p$-Wasserstein distance between the associated barcodes. For each $p\in[1,\infty]$, we prove that this distance is stable with respect to cellular sublevel filtrations and that it is the universal (i.e., largest) distance satisfying this stability property. In the $p=\infty$ case, this gives a novel proof of universality for the interleaving distance on merge trees. △ Less

Submitted 21 March, 2022; v1 submitted 22 December, 2021; originally announced December 2021.

Comments: 20 pages

Identifying Population Movements with Non-Negative Matrix Factorization from Wi-Fi User Counts in Smart and Connected Cities

Authors: Michael Huffman, Armen Davis, Joshua Park, James Curry

Abstract: Non-Negative Matrix Factorization (NMF) is a valuable matrix factorization technique which produces a "parts-based" decomposition of data sets. Wi-Fi user counts are a privacy-preserving indicator of population movements in smart and connected urban environments. In this paper, we apply NMF with a novel matrix embedding to Wi-Fi user count data from the University of Colorado at Boulder Campus for… ▽ More Non-Negative Matrix Factorization (NMF) is a valuable matrix factorization technique which produces a "parts-based" decomposition of data sets. Wi-Fi user counts are a privacy-preserving indicator of population movements in smart and connected urban environments. In this paper, we apply NMF with a novel matrix embedding to Wi-Fi user count data from the University of Colorado at Boulder Campus for the purpose of automatically identifying patterns of human movement in a Smart and Connected infrastructure environment. △ Less

Submitted 19 November, 2021; originally announced November 2021.

Weather of the Dorm WIFI Ecosystem at the University of Colorado Boulder for Fall Semester 2019 to Spring Semester 2020 a Case Study of WIFI and a Campus Response to the COVID-19 Perturbation

Authors: Jake Mcgrath, Armen Davis, James Curry, Orrie Gartner, Glenn Rodrigues, Seth Spielman, Daniel Massey

Abstract: Growing use of network technology in Higher Education means that there has been increasing demand to adapt technology platforms and tools that transform student learning strategies, faculty teaching, research modalities, as well as general operations. Many of the new modalities are necessary for IHE business. In August 2019, we began collecting and analyzing data from the campus WIFI network. A go… ▽ More Growing use of network technology in Higher Education means that there has been increasing demand to adapt technology platforms and tools that transform student learning strategies, faculty teaching, research modalities, as well as general operations. Many of the new modalities are necessary for IHE business. In August 2019, we began collecting and analyzing data from the campus WIFI network. A goal of the research was to answer question like what passive sensing of the IHE WIFI might tell us about the dynamics of the WIFI weather in the IHE ecosystem and what does anonymized data tell us about the IHE ecosystem. The analogy with weather prediction seemed appropriate and a viable approach. Starting Fall 2019, data were collected in the observational phase. In the analysis phase, we applied Singular Spectrum Analysis decomposition, to deconstruct WIFI data from dorms, the central campus dining cafeteria, the recreation center, and other buildings on campus. That analysis led to the identification of clusters of buildings that behaved similarly. Just as in the case of models of the weather, a final component of this research was forecasting. We found that weekly forecast of WIFI behavior in the Fall 2019, were straight forward using SSA and seemed to present behavior of a low dimensional dynamical system. However, in Spring 2020, and the COVID perturbation, the campus ecosystem received a shock and data show that the campus changed very quickly. We found that as the campus moved to conduct remote learning, teaching, the closure of research labs, and the edict to work remotely, SSA forecasting techniques not trained on the Spring 2020, data after the shock, performed poorly. While SSA forecasting trained on a portion of the data did better. △ Less

Submitted 24 September, 2021; originally announced September 2021.

Comments: Contact E-mail: [email protected], Applied Mathematics, University of Colorado, Boulder 80309-0526

From Trees to Barcodes and Back Again II: Combinatorial and Probabilistic Aspects of a Topological Inverse Problem

Authors: Justin Curry, Jordan DeSha, Adélie Garin, Kathryn Hess, Lida Kanari, Brendan Mallery

Abstract: In this paper we consider two aspects of the inverse problem of how to construct merge trees realizing a given barcode. Much of our investigation exploits a recently discovered connection between the symmetric group and barcodes in general position, based on the simple observation that death order is a permutation of birth order. The first important outcome of our study is a clear combinatorial di… ▽ More In this paper we consider two aspects of the inverse problem of how to construct merge trees realizing a given barcode. Much of our investigation exploits a recently discovered connection between the symmetric group and barcodes in general position, based on the simple observation that death order is a permutation of birth order. The first important outcome of our study is a clear combinatorial distinction between the space of phylogenetic trees (as defined by Billera, Holmes and Vogtmann) and the space of merge trees. Generic BHV trees on $n+1$ leaf nodes fall into $(2n-1)!!$ distinct strata, but the analogous number for merge trees is equal to the number of maximal chains in the lattice of partitions, i.e., $(n+1)!n!2^{-n}$. The second aspect of our study is the derivation of precise formulas for the distribution of tree realization numbers (the number of merge trees realizing a given barcode) when we assume that barcodes are sampled using a uniform distribution on the symmetric group. We are able to characterize some of the higher moments of this distribution, thanks in part to a reformulation in terms of Dirichlet convolution. This characterization provides a type of null hypothesis, apparently different from the distributions observed in real neuron data and opens the door to doing more precise science. △ Less

Submitted 26 July, 2021; v1 submitted 23 July, 2021; originally announced July 2021.

Comments: 39 pages, 17 figures. Fixed authors' names in v2 with no other changes

Learning Revenue-Maximizing Auctions With Differentiable Matching

Authors: Michael J. Curry, Uro Lyi, Tom Goldstein, John Dickerson

Abstract: We propose a new architecture to approximately learn incentive compatible, revenue-maximizing auctions from sampled valuations. Our architecture uses the Sinkhorn algorithm to perform a differentiable bipartite matching which allows the network to learn strategyproof revenue-maximizing mechanisms in settings not learnable by the previous RegretNet architecture. In particular, our architecture is a… ▽ More We propose a new architecture to approximately learn incentive compatible, revenue-maximizing auctions from sampled valuations. Our architecture uses the Sinkhorn algorithm to perform a differentiable bipartite matching which allows the network to learn strategyproof revenue-maximizing mechanisms in settings not learnable by the previous RegretNet architecture. In particular, our architecture is able to learn mechanisms in settings without free disposal where each bidder must be allocated exactly some number of items. In experiments, we show our approach successfully recovers multiple known optimal mechanisms and high-revenue, low-regret mechanisms in larger settings where the optimal mechanism is unknown. △ Less

Submitted 15 June, 2021; originally announced June 2021.

PreferenceNet: Encoding Human Preferences in Auction Design with Deep Learning

Authors: Neehar Peri, Michael J. Curry, Samuel Dooley, John P. Dickerson

Abstract: The design of optimal auctions is a problem of interest in economics, game theory and computer science. Despite decades of effort, strategyproof, revenue-maximizing auction designs are still not known outside of restricted settings. However, recent methods using deep learning have shown some success in approximating optimal auctions, recovering several known solutions and outperforming strong base… ▽ More The design of optimal auctions is a problem of interest in economics, game theory and computer science. Despite decades of effort, strategyproof, revenue-maximizing auction designs are still not known outside of restricted settings. However, recent methods using deep learning have shown some success in approximating optimal auctions, recovering several known solutions and outperforming strong baselines when optimal auctions are not known. In addition to maximizing revenue, auction mechanisms may also seek to encourage socially desirable constraints such as allocation fairness or diversity. However, these philosophical notions neither have standardization nor do they have widely accepted formal definitions. In this paper, we propose PreferenceNet, an extension of existing neural-network-based auction mechanisms to encode constraints using (potentially human-provided) exemplars of desirable allocations. In addition, we introduce a new metric to evaluate an auction allocations' adherence to such socially desirable constraints and demonstrate that our proposed method is competitive with current state-of-the-art neural-network based auction designs. We validate our approach through human subject research and show that we are able to effectively capture real human preferences. Our code is available at https://github.com/neeharperi/PreferenceNet △ Less

Submitted 17 October, 2021; v1 submitted 6 June, 2021; originally announced June 2021.

Comments: This work has been accepted to Neural Information Processing Systems (NeurIPS) 2021. First two authors contributed equally

Decorated Merge Trees for Persistent Topology

Authors: Justin Curry, Haibin Hang, Washington Mio, Tom Needham, Osman Berat Okutan

Abstract: This paper introduces decorated merge trees (DMTs) as a novel invariant for persistent spaces. DMTs combine both $π_0$ and $H_n$ information into a single data structure that distinguishes filtrations that merge trees and persistent homology cannot distinguish alone. Three variants on DMTs, which emphasize category theory, representation theory and persistence barcodes, respectively, offer differe… ▽ More This paper introduces decorated merge trees (DMTs) as a novel invariant for persistent spaces. DMTs combine both $π_0$ and $H_n$ information into a single data structure that distinguishes filtrations that merge trees and persistent homology cannot distinguish alone. Three variants on DMTs, which emphasize category theory, representation theory and persistence barcodes, respectively, offer different advantages in terms of theory and computation. Two notions of distance -- an interleaving distance and bottleneck distance -- for DMTs are defined and a hierarchy of stability results that both refine and generalize existing stability results is proved here. To overcome some of the computational complexity inherent in these distances, we provide a novel use of Gromov-Wasserstein couplings to compute optimal merge tree alignments for a combinatorial version of our interleaving distance which can be tractably estimated. We introduce computational frameworks for generating, visualizing and comparing decorated merge trees derived from synthetic and real data. Example applications include comparison of point clouds, interpretation of persistent homology of sliding window embeddings of time series, visualization of topological features in segmented brain tumor images and topology-driven graph alignment. △ Less

Submitted 28 July, 2021; v1 submitted 29 March, 2021; originally announced March 2021.

Comments: Update: streamlined and improved exposition

ProportionNet: Balancing Fairness and Revenue for Auction Design with Deep Learning

Authors: Kevin Kuo, Anthony Ostuni, Elizabeth Horishny, Michael J. Curry, Samuel Dooley, **-yeh Chiang, Tom Goldstein, John P. Dickerson

Abstract: The design of revenue-maximizing auctions with strong incentive guarantees is a core concern of economic theory. Computational auctions enable online advertising, sourcing, spectrum allocation, and myriad financial markets. Analytic progress in this space is notoriously difficult; since Myerson's 1981 work characterizing single-item optimal auctions, there has been limited progress outside of rest… ▽ More The design of revenue-maximizing auctions with strong incentive guarantees is a core concern of economic theory. Computational auctions enable online advertising, sourcing, spectrum allocation, and myriad financial markets. Analytic progress in this space is notoriously difficult; since Myerson's 1981 work characterizing single-item optimal auctions, there has been limited progress outside of restricted settings. A recent paper by Dütting et al. circumvents analytic difficulties by applying deep learning techniques to, instead, approximate optimal auctions. In parallel, new research from Ilvento et al. and other groups has developed notions of fairness in the context of auction design. Inspired by these advances, in this paper, we extend techniques for approximating auctions using deep learning to address concerns of fairness while maintaining high revenue and strong incentive guarantees. △ Less

Submitted 13 October, 2020; originally announced October 2020.

Power and spectral characterization of photonic integrated circuit based axicon like lens

Authors: Rijan Maharjan, Sanket Bohora, Pravin Bhattarai, Iain Crowe, Richard J. Curry, Richard Hogg, David Childs, Ashim Dhakal

Abstract: We demonstrate an on-chip Silicon-on-Insulator (SOI) axicon etched using a low resolution (200 nm feature size, 250 nm gap) deep-ultraviolet lithographic fabrication. The axicon consists of circular gratings with seven stages of 1x2 multimode interferometers. We present a technique to apodize the gratings azimuthally by breaking up the circles into arcs which successfully increased the penetration… ▽ More We demonstrate an on-chip Silicon-on-Insulator (SOI) axicon etched using a low resolution (200 nm feature size, 250 nm gap) deep-ultraviolet lithographic fabrication. The axicon consists of circular gratings with seven stages of 1x2 multimode interferometers. We present a technique to apodize the gratings azimuthally by breaking up the circles into arcs which successfully increased the penetration depth in the gratings from $\approx$5 $μ$m to $\approx$55 $μ$m. We characterize the device's performance by coupling 1300$\pm$50 nm swept source laser in to the chip from the axicon, and measuring the out-coupled light from a grating coupler. Further, we also present the implementation of balanced homodyne detection method for the spectral characterization of the device and show that the position of the output lobe of the axicon does not change significantly with wavelength. △ Less

Submitted 12 August, 2020; originally announced August 2020.

Detection as Regression: Certified Object Detection by Median Smoothing

Authors: **-yeh Chiang, Michael J. Curry, Ahmed Abdelkader, Aounon Kumar, John Dickerson, Tom Goldstein

Abstract: Despite the vulnerability of object detectors to adversarial attacks, very few defenses are known to date. While adversarial training can improve the empirical robustness of image classifiers, a direct extension to object detection is very expensive. This work is motivated by recent progress on certified classification by randomized smoothing. We start by presenting a reduction from object detecti… ▽ More Despite the vulnerability of object detectors to adversarial attacks, very few defenses are known to date. While adversarial training can improve the empirical robustness of image classifiers, a direct extension to object detection is very expensive. This work is motivated by recent progress on certified classification by randomized smoothing. We start by presenting a reduction from object detection to a regression problem. Then, to enable certified regression, where standard mean smoothing fails, we propose median smoothing, which is of independent interest. We obtain the first model-agnostic, training-free, and certified defense for object detection against $\ell_2$-bounded attacks. The code for all experiments in the paper is available at http://github.com/**-C/CertifiedObjectDetection . △ Less

Submitted 25 February, 2022; v1 submitted 7 July, 2020; originally announced July 2020.

Certifying Strategyproof Auction Networks

Authors: Michael J. Curry, **-Yeh Chiang, Tom Goldstein, John Dickerson

Abstract: Optimal auctions maximize a seller's expected revenue subject to individual rationality and strategyproofness for the buyers. Myerson's seminal work in 1981 settled the case of auctioning a single item; however, subsequent decades of work have yielded little progress moving beyond a single item, leaving the design of revenue-maximizing auctions as a central open problem in the field of mechanism d… ▽ More Optimal auctions maximize a seller's expected revenue subject to individual rationality and strategyproofness for the buyers. Myerson's seminal work in 1981 settled the case of auctioning a single item; however, subsequent decades of work have yielded little progress moving beyond a single item, leaving the design of revenue-maximizing auctions as a central open problem in the field of mechanism design. A recent thread of work in "differentiable economics" has used tools from modern deep learning to instead learn good mechanisms. We focus on the RegretNet architecture, which can represent auctions with arbitrary numbers of items and participants; it is trained to be empirically strategyproof, but the property is never exactly verified leaving potential loopholes for market participants to exploit. We propose ways to explicitly verify strategyproofness under a particular valuation profile using techniques from the neural network verification literature. Doing so requires making several modifications to the RegretNet architecture in order to represent it exactly in an integer program. We train our network and produce certificates in several settings, including settings for which the optimal strategyproof mechanism is not known. △ Less

Submitted 15 June, 2020; originally announced June 2020.

A Relative Theory of Interleavings

Authors: Magnus Bakke Botnan, Justin Curry, Elizabeth Munch

Abstract: The interleaving distance, although originally developed for persistent homology, has been generalized to measure the distance between functors modeled on many posets or even small categories. Existing theories require that such a poset have a superlinear family of translations or a similar structure. However, many posets of interest to topological data analysis, such as zig-zag posets and the fac… ▽ More The interleaving distance, although originally developed for persistent homology, has been generalized to measure the distance between functors modeled on many posets or even small categories. Existing theories require that such a poset have a superlinear family of translations or a similar structure. However, many posets of interest to topological data analysis, such as zig-zag posets and the face relation poset of a cell-complex, do not admit interesting translations, and consequently don't admit a nice theory of interleavings. In this paper we show how one can side-step this limitation by providing a general theory where one maps to a poset that does admit interesting translations, such as the lattice of down sets, and then defines interleavings relative to this map. Part of our theory includes a rigorous notion of discretization or "pixelization" of poset modules, which in turn we use for interleaving inference. We provide an approximation condition that in the setting of lattices gives rise to two possible pixelizations, both of which are guaranteed to be close in the interleaving distance. Finally, we conclude by considering interleaving inference for cosheaves over a metric space and give an explicit description of interleavings over a grid structure on Euclidean space. △ Less

Submitted 29 April, 2020; originally announced April 2020.

Comments: 50 pages, 2 figures

Headless Horseman: Adversarial Attacks on Transfer Learning Models

Authors: Ahmed Abdelkader, Michael J. Curry, Liam Fowl, Tom Goldstein, Avi Schwarzschild, Manli Shu, Christoph Studer, Chen Zhu

Abstract: Transfer learning facilitates the training of task-specific classifiers using pre-trained models as feature extractors. We present a family of transferable adversarial attacks against such classifiers, generated without access to the classification head; we call these \emph{headless attacks}. We first demonstrate successful transfer attacks against a victim network using \textit{only} its feature… ▽ More Transfer learning facilitates the training of task-specific classifiers using pre-trained models as feature extractors. We present a family of transferable adversarial attacks against such classifiers, generated without access to the classification head; we call these \emph{headless attacks}. We first demonstrate successful transfer attacks against a victim network using \textit{only} its feature extractor. This motivates the introduction of a label-blind adversarial attack. This transfer attack method does not require any information about the class-label space of the victim. Our attack lowers the accuracy of a ResNet18 trained on CIFAR10 by over 40\%. △ Less

Submitted 19 April, 2020; originally announced April 2020.

Comments: 5 pages, 2 figures. Accepted in ICASSP 2020. Code available on https://github.com/zhuchen03/headless-attack.git

Mix and Match: Markov Chains & Mixing Times for Matching in Rideshare

Authors: Michael J. Curry, John P. Dickerson, Karthik Abinav Sankararaman, Aravind Srinivasan, Yuhao Wan, Pan Xu

Abstract: Rideshare platforms such as Uber and Lyft dynamically dispatch drivers to match riders' requests. We model the dispatching process in rideshare as a Markov chain that takes into account the geographic mobility of both drivers and riders over time. Prior work explores dispatch policies in the limit of such Markov chains; we characterize when this limit assumption is valid, under a variety of natura… ▽ More Rideshare platforms such as Uber and Lyft dynamically dispatch drivers to match riders' requests. We model the dispatching process in rideshare as a Markov chain that takes into account the geographic mobility of both drivers and riders over time. Prior work explores dispatch policies in the limit of such Markov chains; we characterize when this limit assumption is valid, under a variety of natural dispatch policies. We give explicit bounds on convergence in general, and exact (including constants) convergence rates for special cases. Then, on simulated and real transit data, we show that our bounds characterize convergence rates -- even when the necessary theoretical assumptions are relaxed. Additionally these policies compare well against a standard reinforcement learning algorithm which optimizes for profit without any convergence properties. △ Less

Submitted 30 November, 2019; originally announced December 2019.

Moduli Spaces of Morse Functions for Persistence

Authors: Michael J. Catanzaro, Justin Curry, Brittany Terese Fasy, Jānis Lazovskis, Greg Malen, Hans Riess, Bei Wang, Matthew Zabka

Abstract: We consider different notions of equivalence for Morse functions on the sphere in the context of persistent homology, and introduce new invariants to study these equivalence classes. These new invariants are as simple, but more discerning than existing topological invariants, such as persistence barcodes and Reeb graphs. We give a method to relate any two Morse--Smale vector fields on the sphere b… ▽ More We consider different notions of equivalence for Morse functions on the sphere in the context of persistent homology, and introduce new invariants to study these equivalence classes. These new invariants are as simple, but more discerning than existing topological invariants, such as persistence barcodes and Reeb graphs. We give a method to relate any two Morse--Smale vector fields on the sphere by a sequence of fundamental moves by considering graph-equivalent Morse functions. We also explore the combinatorially rich world of height-equivalent Morse functions, considered as height functions of embedded spheres in $\mathbf R^3$. Their level-set invariant, a poset generated by nested disks and annuli from levels sets, gives insight into the moduli space of Morse functions sharing the same persistence barcode. △ Less

Submitted 30 June, 2020; v1 submitted 23 September, 2019; originally announced September 2019.

Comments: 30 pages, 16 figures. Amended with reviewer suggestions, text is as in published version. Comments welcome

MSC Class: 58D29; 55N31; 37D15; 57M15; 05C22

Functors on Posets Left Kan Extend to Cosheaves: an Erratum

Authors: Justin Curry

Abstract: In this note we give a self-contained proof of a fundamental statement in the study of cosheaves over a poset. Specifically, if a functor has domain a poset and co-domain a co-complete category, then the left Kan extension of that functor along the embedding of the domain poset into its poset of down-sets is a cosheaf. This proof is meant to replace the mistaken proofs published in the author's th… ▽ More In this note we give a self-contained proof of a fundamental statement in the study of cosheaves over a poset. Specifically, if a functor has domain a poset and co-domain a co-complete category, then the left Kan extension of that functor along the embedding of the domain poset into its poset of down-sets is a cosheaf. This proof is meant to replace the mistaken proofs published in the author's thesis and an article on dualities exchanging cellular sheaves and cosheaves. △ Less

Submitted 22 July, 2019; originally announced July 2019.

Comments: 10 pages, 1 figure; erratum to thesis and JPAA article

Single-Shot Readout Performance of Two Heterojunction-Bipolar-Transistor Amplification Circuits at Millikelvin Temperatures

Authors: M. J. Curry, M. Rudolph, T. D. England, A. M. Mounce, R. M. Jock, C. Bureau-Oxton, P. Harvey-Collard, P. A. Sharma, J. M. Anderson, D. M. Campbell, J. R. Wendt, D. R. Ward, S. M. Carr, M. P. Lilly, M. S. Carroll

Abstract: High-fidelity single-shot readout of spin qubits requires distinguishing states much faster than the T1 time of the spin state. One approach to improving readout fidelity and bandwidth (BW) is cryogenic amplification, where the signal from the qubit is amplified before noise sources are introduced and room-temperature amplifiers can operate at lower gain and higher BW. We compare the performance o… ▽ More High-fidelity single-shot readout of spin qubits requires distinguishing states much faster than the T1 time of the spin state. One approach to improving readout fidelity and bandwidth (BW) is cryogenic amplification, where the signal from the qubit is amplified before noise sources are introduced and room-temperature amplifiers can operate at lower gain and higher BW. We compare the performance of two cryogenic amplification circuits: a current-biased heterojunction bipolar transistor circuit (CB-HBT), and an AC-coupled HBT circuit (AC-HBT). Both circuits are mounted on the mixing-chamber stage of a dilution refrigerator and are connected to silicon metal oxide semiconductor (Si-MOS) quantum dot devices on a printed circuit board (PCB). The power dissipated by the CB-HBT ranges from 0.1 to 1 μW whereas the power of the AC-HBT ranges from 1 to 20 μW. Referred to the input, the noise spectral density is low for both circuits, in the 15 to 30 fA/$\sqrt{\textrm{Hz}}$ range. The charge sensitivity for the CB-HBT and AC-HBT is 330 μe/$\sqrt{\textrm{Hz}}$ and 400 μe/$\sqrt{\textrm{Hz}}$, respectively. For the single-shot readout performed, less than 10 μs is required for both circuits to achieve bit error rates below $10^{-3}$, which is a putative threshold for quantum error correction. △ Less

Submitted 14 January, 2019; originally announced January 2019.

Comments: 11 pages, 13 figures

When Left and Right Turns Inside Out: A Geometric and Categorical Introduction to an Inverse Problem in Persistence

Authors: Justin Curry

Abstract: In this paper we introduce the problem of counting embedded spheres in R^3 whose projection to the z-axis yields a level set barcode of a particular type. Two embedded spheres are considered height equivalent if they are related by a z-level set preserving isotopy. A formula previously used to count functions on the interval with the same sub-level set persistence barcode provides a lower bound on… ▽ More In this paper we introduce the problem of counting embedded spheres in R^3 whose projection to the z-axis yields a level set barcode of a particular type. Two embedded spheres are considered height equivalent if they are related by a z-level set preserving isotopy. A formula previously used to count functions on the interval with the same sub-level set persistence barcode provides a lower bound on height equivalence classes with the same level set persistence. A conjectured upper bound is provided as well. △ Less

Submitted 25 February, 2019; v1 submitted 29 November, 2018; originally announced November 2018.

Comments: This paper is being incorporated into future work

How Many Directions Determine a Shape and other Sufficiency Results for Two Topological Transforms

Authors: Justin Curry, Sayan Mukherjee, Katharine Turner

Abstract: In this paper we consider two topological transforms that are popular in applied topology: the Persistent Homology Transform (PHT) and the Euler Characteristic Transform (ECT). Both of these transforms are of interest for their mathematical properties as well as their applications to science and engineering, because they provide a way of summarizing shapes in a topological, yet quantitative, way.… ▽ More In this paper we consider two topological transforms that are popular in applied topology: the Persistent Homology Transform (PHT) and the Euler Characteristic Transform (ECT). Both of these transforms are of interest for their mathematical properties as well as their applications to science and engineering, because they provide a way of summarizing shapes in a topological, yet quantitative, way. Both transforms take a shape, viewed as a tame subset $M$ of $\mathbb{R}^d$, and associates to each direction $v\in S^{d-1}$ a shape summary obtained by scanning $M$ in the direction $v$. These shape summaries are either persistence diagrams or piecewise constant integer-valued functions called Euler curves. By using an inversion theorem of Schapira, we show that both transforms are injective on the space of shapes, i.e.~each shape has a unique transform. Moreover, we prove that these transforms determine continuous maps from the sphere to the space of persistence diagrams, equipped with any Wasserstein $p$-distance, or the space of Euler curves, equipped with certain $L^p$ norms. By making use of a stratified space structure on the sphere, induced by hyperplane divisions, we prove additional uniqueness results in terms of distributions on the space of Euler curves. Finally, our main result proves that any shape in a certain uncountable space of PL embedded shapes with plausible geometric bounds can be uniquely determined using only finitely many directions. △ Less

Submitted 24 September, 2021; v1 submitted 24 May, 2018; originally announced May 2018.

Comments: September 24, 2021 version is 38 pages and contains several new results such as Wasserstein $p$-stability for the PHT and $L^p$ Betti curve stability

A rank-based Cramér-von-Mises-type test for two samples

Authors: Jamye Curry, Xin Dang, Hailin Sang

Abstract: We study a rank based univariate two-sample distribution-free test. The test statistic is the difference between the average of between-group rank distances and the average of within-group rank distances. This test statistic is closely related to the two-sample Cramér-von Mises criterion. They are different empirical versions of a same quantity for testing the equality of two population distributi… ▽ More We study a rank based univariate two-sample distribution-free test. The test statistic is the difference between the average of between-group rank distances and the average of within-group rank distances. This test statistic is closely related to the two-sample Cramér-von Mises criterion. They are different empirical versions of a same quantity for testing the equality of two population distributions. Although they may be different for finite samples, they share the same expected value, variance and asymptotic properties. The advantage of the new rank based test over the classical one is its ease to generalize to the multivariate case. Rather than using the empirical process approach, we provide a different easier proof, bringing in a different perspective and insight. In particular, we apply the Hájek projection and orthogonal decomposition technique in deriving the asymptotics of the proposed rank based statistic. A numerical study compares power performance of the rank formulation test with other commonly-used nonparametric tests and recommendations on those tests are provided. Lastly, we propose a multivariate extension of the test based on the spatial rank. △ Less

Submitted 27 February, 2018; v1 submitted 17 February, 2018; originally announced February 2018.

Comments: 32 pages, 2 figures, to appear at Brazilian Journal of Probability and Statistics

All-electrical universal control of a double quantum dot qubit in silicon MOS

Authors: Patrick Harvey-Collard, Ryan M. Jock, N. Tobias Jacobson, Andrew D. Baczewski, Andrew M. Mounce, Matthew J. Curry, Daniel R. Ward, John M. Anderson, Ronald P. Manginell, Joel R. Wendt, Martin Rudolph, Tammy Pluym, Michael P. Lilly, Michel Pioro-Ladrière, Malcolm S. Carroll

Abstract: Qubits based on transistor-like Si MOS nanodevices are promising for quantum computing. In this work, we demonstrate a double quantum dot spin qubit that is all-electrically controlled without the need for any external components, like micromagnets, that could complicate integration. Universal control of the qubit is achieved through spin-orbit-like and exchange interactions. Using single shot rea… ▽ More Qubits based on transistor-like Si MOS nanodevices are promising for quantum computing. In this work, we demonstrate a double quantum dot spin qubit that is all-electrically controlled without the need for any external components, like micromagnets, that could complicate integration. Universal control of the qubit is achieved through spin-orbit-like and exchange interactions. Using single shot readout, we show both DC- and AC-control techniques. The fabrication technology used is completely compatible with CMOS. △ Less

Submitted 6 February, 2018; originally announced February 2018.

Comments: The conference proceedings version incorrectly displays the orientation of the magnetic field in figure 1; this version is correct

Journal ref: in 2017 IEEE International Electron Devices Meeting (IEDM) (2017) pp. 36.5.1-36.5.4

The Fiber of the Persistence Map for Functions on the Interval

Authors: Justin Curry

Abstract: In this paper we study functions on the interval that have the same persistent homology. By introducing an equivalence relation modeled after topological conjugacy, which we call graph-equivalence, a precise enumeration of functions with the same persistent homology is given, inviting comparisons with Arnold's Calculus of Snakes. The equivalence classes used here are indexed by chiral merge trees,… ▽ More In this paper we study functions on the interval that have the same persistent homology. By introducing an equivalence relation modeled after topological conjugacy, which we call graph-equivalence, a precise enumeration of functions with the same persistent homology is given, inviting comparisons with Arnold's Calculus of Snakes. The equivalence classes used here are indexed by chiral merge trees, which are binary merge trees where a left-right ordering of the children of each vertex is given. Enumeration of merge trees and chiral merge trees with the same persistence makes essential use of the Elder Rule (a criterion for pairing critical points), which is given a new proof here as well. △ Less

Submitted 22 January, 2019; v1 submitted 19 June, 2017; originally announced June 2017.

Comments: v2 has 19 pages, 6 figures, to appear in the Journal of Applied and Computational Topology

Dualities between Cellular Sheaves and Cosheaves

Authors: Justin Curry

Abstract: This paper affirms a conjecture of MacPherson: that the derived category of cellular sheaves is equivalent to the derived category of cellular cosheaves. We give a self-contained treatment of cellular sheaves and cosheaves and note that certain classical dualities give rise to an exchange of sheaves with cosheaves. Following a result of Pitts that states that cosheaves are cocontinuous functors on… ▽ More This paper affirms a conjecture of MacPherson: that the derived category of cellular sheaves is equivalent to the derived category of cellular cosheaves. We give a self-contained treatment of cellular sheaves and cosheaves and note that certain classical dualities give rise to an exchange of sheaves with cosheaves. Following a result of Pitts that states that cosheaves are cocontinuous functors on the category of sheaves, we use the derived equivalence provided here to gain a novel description of compactly supported sheaf cohomology. △ Less

Submitted 23 July, 2016; originally announced July 2016.

Comments: 32 pages, 2 figures. arXiv admin note: substantial text overlap with arXiv:1303.3255

Classification of Constructible Cosheaves

Authors: Justin Curry, Amit Patel

Abstract: In this paper we prove an equivalence theorem originally observed by Robert MacPherson. On one side of the equivalence is the category of cosheaves that are constructible with respect to a locally cone-like stratification. Our constructibility condition is new and only requires that certain inclusions of open sets are sent to isomorphisms. On the other side of the equivalence is the category of fu… ▽ More In this paper we prove an equivalence theorem originally observed by Robert MacPherson. On one side of the equivalence is the category of cosheaves that are constructible with respect to a locally cone-like stratification. Our constructibility condition is new and only requires that certain inclusions of open sets are sent to isomorphisms. On the other side of the equivalence is the category of functors from the entrance path category, which has points for objects and certain homotopy classes of paths for morphisms. When our constructible cosheaves are valued in $\mathsf{Set}$ we prove an additional equivalence with the category of stratified coverings. △ Less

Submitted 14 October, 2021; v1 submitted 4 March, 2016; originally announced March 2016.

Comments: Version 6 is the final, accepted, and published version in TAC. Section 8 of v5 on simplicial refinements has been removed from v6. The main theorem of that section, Theorem 8.8, had a gap in its proof

Journal ref: Theory and Applications of Categories, Vol. 35, 2020, No. 27, pp 1012-1047

Cryogenic preamplification of a single-electron-transistor using a silicon-germanium heterojunction-bipolar-transistor

Authors: M. J. Curry, T. D. England, N. C. Bishop, G. Ten-Eyck, J. R. Wendt, T. Pluym, M. P. Lilly, S. M. Carr, M. S. Carroll

Abstract: We examine a silicon-germanium heterojunction bipolar transistor (HBT) for cryogenic pre-amplification of a single electron transistor (SET). The SET current modulates the base current of the HBT directly. The HBT-SET circuit is immersed in liquid helium, and its frequency response from low frequency to several MHz is measured. The current gain and the noise spectrum with the HBT result in a signa… ▽ More We examine a silicon-germanium heterojunction bipolar transistor (HBT) for cryogenic pre-amplification of a single electron transistor (SET). The SET current modulates the base current of the HBT directly. The HBT-SET circuit is immersed in liquid helium, and its frequency response from low frequency to several MHz is measured. The current gain and the noise spectrum with the HBT result in a signal-to-noise-ratio (SNR) that is a factor of 10-100 larger than without the HBT at lower frequencies. The transition frequency defined by SNR = 1 has been extended by as much as a factor of 10 compared to without the HBT amplification. The power dissipated by the HBT cryogenic pre-amplifier is approximately 5 nW to 5 μW for the investigated range of operation. The circuit is also operated in a single electron charge read-out configuration in the time-domain as a proof-of-principle demonstration of the amplification approach for single spin read-out. △ Less

Submitted 28 September, 2015; originally announced September 2015.

Comments: Reprinted with permission from M. J. Curry, et alii. Copyright 2015, AIP Publishing LLC. This article may be downloaded for personal use only. Any other use requires prior permission of the author and the AIP Publishing LLC. 5 pages, 4 figures

Journal ref: App. Phys. Lett. 106, 203505 (2015)

Nonnegative Matrix Factorization applied to reordered pixels of single images based on patches to achieve structured nonnegative dictionaries

Authors: Richard M. Charles, Kye M. Taylor, James H. Curry

Abstract: Recent improvements in computing allow for the processing and analysis of very large datasets in a variety of fields. Often the analysis requires the creation of low-rank approximations to the datasets leading to efficient storage. This article presents and analyzes a novel approach for creating nonnegative, structured dictionaries using NMF applied to reordered pixels of single, natural images. W… ▽ More Recent improvements in computing allow for the processing and analysis of very large datasets in a variety of fields. Often the analysis requires the creation of low-rank approximations to the datasets leading to efficient storage. This article presents and analyzes a novel approach for creating nonnegative, structured dictionaries using NMF applied to reordered pixels of single, natural images. We reorder the pixels based on patches and present our approach in general. We investigate our approach when using the Singular Value Decomposition (SVD) and Nonnegative Matrix Factorizations (NMF) as low-rank approximations. Peak Signal-to-Noise Ratio (PSNR) and Mean Structural Similarity Index (MSSIM) are used to evaluate the algorithm. We report that while the SVD provides the best reconstructions, its dictionary of vectors lose both the sign structure of the original image and details of localized image content. In contrast, the dictionaries produced using NMF preserves the sign structure of the original image matrix and offer a nonnegative, parts-based dictionary. △ Less

Submitted 24 June, 2015; originally announced June 2015.

Comments: 34 pages, 15 figures, 2 tables

MSC Class: 65K02

Spectroscopy of vanadium (III) doped gallium lanthanum sulphide chalcogenide glass

Authors: M. Hughes, R. J. Curry, H. Rutt, D. Hewak

Abstract: Vanadium doped gallium lanthanum sulphide glass (V:GLS) displays three absorption bands at 580, 730 and 1155 nm identified by photoluminescence excitation measurements. Broad photoluminescence, with a full width half maximum (FWHM) of 500 nm, is observed peaking at 1500 nm when exciting at 514, 808 and 1064 nm. The fluorescence lifetime and quantum efficiency at 300 K were measured to be 33.4 us a… ▽ More Vanadium doped gallium lanthanum sulphide glass (V:GLS) displays three absorption bands at 580, 730 and 1155 nm identified by photoluminescence excitation measurements. Broad photoluminescence, with a full width half maximum (FWHM) of 500 nm, is observed peaking at 1500 nm when exciting at 514, 808 and 1064 nm. The fluorescence lifetime and quantum efficiency at 300 K were measured to be 33.4 us and 4 % respectively. From the available spectroscopic data we propose the vanadium ions valence to be 3+ and be in tetrahedral coordination The results indicate potential for development of a laser or optical amplifier based on V:GLS. △ Less

Submitted 26 November, 2014; originally announced November 2014.

Journal ref: Applied Physis Letters 90, 031108 2007

Concentration dependence of the fluorescence decay profile in transition metal doped chalcogenide glass

Authors: M. Hughes, D. W. Hewak, R. J. Curry

Abstract: In this paper we present the fluorescence decay profiles of vanadium and titanium doped gallium lanthanum sulphide (GLS) glass at various do** concentrations between 0.01 and 1% (molar). We demonstrate that below a critical do** concentration the fluorescence decay profile can be fitted with the stretched exponential function: exp[-(t/τ)\b{eta}], where τ is the fluorescence lifetime and \b{eta… ▽ More In this paper we present the fluorescence decay profiles of vanadium and titanium doped gallium lanthanum sulphide (GLS) glass at various do** concentrations between 0.01 and 1% (molar). We demonstrate that below a critical do** concentration the fluorescence decay profile can be fitted with the stretched exponential function: exp[-(t/τ)\b{eta}], where τ is the fluorescence lifetime and \b{eta} is the stretch factor. At low concentrations the lifetime for vanadium and titanium doped GLS was 30 μs and 67 μs respectively. We validate the use of the stretched exponential model and discuss the possible microscopic phenomenon it arises from. We also demonstrate that above a critical do** concentration of around 0.1% (molar) the fluorescence decay profile can be fitted with the double exponential function: a*exp-(t/τ1)+ b*exp-(t/τ2), where τ1and τ2 are characteristic fast and slow components of the fluorescence decay profile, for vanadium the fast and slow components are 5 μs and 30 μs respectively and for titanium they are 15 μs and 67 μs respectively. We also show that the fluorescence lifetime of vanadium and titanium at low concentrations in the oxide rich host gallium lanthanum oxy-sulphide (GLSO) is 43 μs and 97 μs respectively, which is longer than that in GLS. From this we deduce that vanadium and titanium fluorescing ions preferentially substitute into high efficiency oxide sites until at a critical concentration they become saturated and low efficiency sulphide sites start to be filled. △ Less

Submitted 20 November, 2014; originally announced November 2014.

Journal ref: Photonics West, (2007), 64690D

n-Type Chalcogenides by Ion Implantation

Authors: Mark A. Hughes, Yanina Fedorenko, Behrad Gholipour, ** Yao, Tae-Hoon Lee, Russell M. Gwilliam, Kevin P. Homewood, Steven Hinder, Daniel W. Hewak, Stephen R. Elliott, Richard J. Curry

Abstract: Carrier-type reversal to enable the formation of semiconductor p-n junctions is a prerequisite for many electronic applications. Chalcogenide glasses are p-type semiconductors and their applications have been limited by the extraordinary difficulty in obtaining n-type conductivity. The ability to form chalcogenide glass p-n junctions could improve the performance of phase-change memory and thermoe… ▽ More Carrier-type reversal to enable the formation of semiconductor p-n junctions is a prerequisite for many electronic applications. Chalcogenide glasses are p-type semiconductors and their applications have been limited by the extraordinary difficulty in obtaining n-type conductivity. The ability to form chalcogenide glass p-n junctions could improve the performance of phase-change memory and thermoelectric devices and allow the direct electronic control of nonlinear optical devices. Previously, carrier-type reversal has been restricted to the GeCh (Ch=S, Se, Te) family of glasses, with very high Bi or Pb do** concentrations (5 to 11 at.%) incorporated during high-temperature glass melting. Here we report the first n-type do** of chalcogenide glasses by ion implantation of Bi into GeTe and GaLaSO amorphous films, demonstrating rectification and photocurrent in a Bi-implanted GaLaSO device. The electrical do** effect of Bi is observed at a 100 times lower concentration than for Bi melt-doped GeCh glasses. △ Less

Submitted 20 November, 2014; originally announced November 2014.

Journal ref: Nature Communications (2014) 5:5346

Topological Data Analysis and Cosheaves

Authors: Justin Curry

Abstract: This paper contains an expository account of persistent homology and its usefulness for topological data analysis. An alternative foundation for level-set persistence is presented using sheaves and cosheaves. This paper contains an expository account of persistent homology and its usefulness for topological data analysis. An alternative foundation for level-set persistence is presented using sheaves and cosheaves. △ Less

Submitted 4 March, 2015; v1 submitted 3 November, 2014; originally announced November 2014.

Comments: version 2 has 30 pages, 18 figures; 25 pages, 17 figures, submitted to the Japan Journal of Industrial and Applied Mathematics

Electrical properties of Bi-implanted amorphous chalcogenide films

Authors: Yanina G. Fedorenko, Mark A. Hughes, Julien L. Colaux, C. Jeynes, Russell M. Gwilliam, Kevin Homewood, B. Gholipour, J. Yao, Daniel W. Hewak, Tae-Hoon Lee, Stephen R. Elliott, Richard J. Curry

Abstract: The impact of Bi implantation on the conductivity and the thermopower of amorphous chalcogenide films is investigated. Incorporation of Bi in Ge-Sb-Te and GeTe results in enhanced conductivity. The negative Seebeck coefficient confirms onset of the electron conductivity in GeTe implanted with Bi at a dose of 2x1016 cm-2. The enhanced conductivity is accompanied by defect accumulation in the films… ▽ More The impact of Bi implantation on the conductivity and the thermopower of amorphous chalcogenide films is investigated. Incorporation of Bi in Ge-Sb-Te and GeTe results in enhanced conductivity. The negative Seebeck coefficient confirms onset of the electron conductivity in GeTe implanted with Bi at a dose of 2x1016 cm-2. The enhanced conductivity is accompanied by defect accumulation in the films upon implantation as is inferred by using analysis of the space-charge limited current. The results indicate that native coordination defects in lone-pair semiconductors can be deactivated by means of ion implantation, and higher conductivity of the films stems from additional electrically active defects created by implantation of bismuth. △ Less

Submitted 9 December, 2014; v1 submitted 21 October, 2014; originally announced October 2014.

Comments: This is an extended version of the results presented in Proc. SPIE 8982, 898213 (2014)

Discrete Morse theory for computing cellular sheaf cohomology

Authors: Justin Curry, Robert Ghrist, Vidit Nanda

Abstract: Sheaves and sheaf cohomology are powerful tools in computational topology, greatly generalizing persistent homology. We develop an algorithm for simplifying the computation of cellular sheaf cohomology via (discrete) Morse-theoretic techniques. As a consequence, we derive efficient techniques for distributed computation of (ordinary) cohomology of a cell complex. Sheaves and sheaf cohomology are powerful tools in computational topology, greatly generalizing persistent homology. We develop an algorithm for simplifying the computation of cellular sheaf cohomology via (discrete) Morse-theoretic techniques. As a consequence, we derive efficient techniques for distributed computation of (ordinary) cohomology of a cell complex. △ Less

Submitted 8 April, 2015; v1 submitted 22 December, 2013; originally announced December 2013.

Comments: 19 pages, 1 Figure. Added Section 5.3

MSC Class: 55-04

Sheaves, Cosheaves and Applications

Authors: Justin Curry

Abstract: This thesis develops the theory of sheaves and cosheaves with an eye towards applications in science and engineering. To provide a theory that is computable, we focus on a combinatorial version of sheaves and cosheaves called cellular sheaves and cosheaves, which are finite families of vector spaces and maps parametrized by a cell complex. We develop cellular (co)sheaves as a new tool for topologi… ▽ More This thesis develops the theory of sheaves and cosheaves with an eye towards applications in science and engineering. To provide a theory that is computable, we focus on a combinatorial version of sheaves and cosheaves called cellular sheaves and cosheaves, which are finite families of vector spaces and maps parametrized by a cell complex. We develop cellular (co)sheaves as a new tool for topological data analysis, network coding and sensor networks. A foundation for multi-dimensional level-set persistent homology is laid via constructible cosheaves, which are equivalent to representations of MacPherson's entrance path category. By proving a van Kampen theorem, we give a direct proof of this equivalence. A cosheaf version of the i'th derived pushforward of the constant sheaf along a definable map is constructed directly as a representation of this category. We go on to clarify the relationship of cellular sheaves to cosheaves by providing a formula that defines a derived equivalence, which in turn recovers Verdier duality. Compactly-supported sheaf cohomology is expressed as the coend with the image of the constant sheaf through this equivalence. The equivalence is further used to establish relations between sheaf cohomology and a herein newly introduced theory of cellular sheaf homology. Inspired to provide fast algorithms for persistence, we prove that the derived category of cellular sheaves over a 1D cell complex is equivalent to a category of graded sheaves. Finally, we introduce the interleaving distance as an extended pseudo-metric on the category of sheaves. We prove that global sections partition the space of sheaves into connected components. We conclude with an investigation into the geometry of the space of constructible sheaves over the real line, which we relate to the bottleneck distance in persistence. △ Less

Submitted 17 December, 2014; v1 submitted 13 March, 2013; originally announced March 2013.

Comments: v2: 307 pages, 68 figures, includes minor edits of version 1 and is expanded with additional results, accepted as a doctoral thesis at the University of Pennsylvania. v1: 188 pages, 47 figures, work in progress

Euler Calculus with Applications to Signals and Sensing

Authors: Justin Curry, Robert Ghrist, Michael Robinson

Abstract: This article surveys the Euler calculus - an integral calculus based on Euler characteristic - and its applications to data, sensing, networks, and imaging. This article surveys the Euler calculus - an integral calculus based on Euler characteristic - and its applications to data, sensing, networks, and imaging. △ Less

Submitted 31 January, 2012; originally announced February 2012.

Comments: 71 pages, 31 figures, AMS Proceedings of Symposia in Applied Mathematics

MSC Class: 65R10; 58C35