-
The infrastructure powering IBM's Gen AI model development
Authors:
Talia Gershon,
Seetharami Seelam,
Brian Belgodere,
Milton Bonilla,
Lan Hoang,
Danny Barnett,
I-Hsin Chung,
Apoorve Mohan,
Ming-Hung Chen,
Lixiang Luo,
Robert Walkup,
Constantinos Evangelinos,
Shweta Salaria,
Marc Dombrowa,
Yoonho Park,
Apo Kayi,
Liran Schour,
Alim Alim,
Ali Sydney,
Pavlos Maniotis,
Laurent Schares,
Bernard Metzler,
Bengi Karacali-Akyamac,
Sophia Wen,
Tatsuhiro Chiba
, et al. (121 additional authors not shown)
Abstract:
AI Infrastructure plays a key role in the speed and cost-competitiveness of developing and deploying advanced AI models. The current demand for powerful AI infrastructure for model training is driven by the emergence of generative AI and foundational models, where on occasion thousands of GPUs must cooperate on a single training job for the model to be trained in a reasonable time. Delivering effi…
▽ More
AI Infrastructure plays a key role in the speed and cost-competitiveness of developing and deploying advanced AI models. The current demand for powerful AI infrastructure for model training is driven by the emergence of generative AI and foundational models, where on occasion thousands of GPUs must cooperate on a single training job for the model to be trained in a reasonable time. Delivering efficient and high-performing AI training requires an end-to-end solution that combines hardware, software and holistic telemetry to cater for multiple types of AI workloads. In this report, we describe IBM's hybrid cloud infrastructure that powers our generative AI model development. This infrastructure includes (1) Vela: an AI-optimized supercomputing capability directly integrated into the IBM Cloud, delivering scalable, dynamic, multi-tenant and geographically distributed infrastructure for large-scale model training and other AI workflow steps and (2) Blue Vela: a large-scale, purpose-built, on-premises hosting environment that is optimized to support our largest and most ambitious AI model training tasks. Vela provides IBM with the dual benefit of high performance for internal use along with the flexibility to adapt to an evolving commercial landscape. Blue Vela provides us with the benefits of rapid development of our largest and most ambitious models, as well as future-proofing against the evolving model landscape in the industry. Taken together, they provide IBM with the ability to rapidly innovate in the development of both AI models and commercial offerings.
△ Less
Submitted 7 July, 2024;
originally announced July 2024.
-
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.
-
Automated Design of Affine Maximizer Mechanisms in Dynamic Settings
Authors:
Michael Curry,
Vinzenz Thoma,
Darshan Chakrabarti,
Stephen McAleer,
Christian Kroer,
Tuomas Sandholm,
Niao He,
Sven Seuken
Abstract:
Dynamic mechanism design is a challenging extension to ordinary mechanism design in which the mechanism designer must make a sequence of decisions over time in the face of possibly untruthful reports of participating agents. Optimizing dynamic mechanisms for welfare is relatively well understood. However, there has been less work on optimizing for other goals (e.g. revenue), and without restrictiv…
▽ More
Dynamic mechanism design is a challenging extension to ordinary mechanism design in which the mechanism designer must make a sequence of decisions over time in the face of possibly untruthful reports of participating agents. Optimizing dynamic mechanisms for welfare is relatively well understood. However, there has been less work on optimizing for other goals (e.g. revenue), and without restrictive assumptions on valuations, it is remarkably challenging to characterize good mechanisms. Instead, we turn to automated mechanism design to find mechanisms with good performance in specific problem instances. In fact, the situation is similar even in static mechanism design. However, in the static case, optimization/machine learning-based automated mechanism design techniques have been successful in finding high-revenue mechanisms in cases beyond the reach of analytical results. We extend the class of affine maximizer mechanisms to MDPs where agents may untruthfully report their rewards. This extension results in a challenging bilevel optimization problem in which the upper problem involves choosing optimal mechanism parameters, and the lower problem involves solving the resulting MDP. Our approach can find truthful dynamic mechanisms that achieve strong performance on goals other than welfare, and can be applied to essentially any problem setting-without restrictions on valuations-for which RL can learn optimal policies.
△ Less
Submitted 12 February, 2024;
originally announced February 2024.
-
A Virtual Solar Wind Monitor at Mars with Uncertainty Quantification using Gaussian Processes
Authors:
A. R. Azari,
E. Abrahams,
F. Sapienza,
J. Halekas,
J. Biersteker,
D. L. Mitchell,
F. Pérez,
M. Marquette,
M. J. Rutala,
C. F. Bowers,
C. M. Jackman,
S. M. Curry
Abstract:
Single spacecraft missions do not measure the pristine solar wind continuously because of the spacecrafts' orbital trajectory. The infrequent spatiotemporal cadence of measurement fundamentally limits conclusions about solar wind-magnetosphere coupling throughout the solar system. At Mars, such single spacecraft missions result in limitations for assessing the solar wind's role in causing lower al…
▽ More
Single spacecraft missions do not measure the pristine solar wind continuously because of the spacecrafts' orbital trajectory. The infrequent spatiotemporal cadence of measurement fundamentally limits conclusions about solar wind-magnetosphere coupling throughout the solar system. At Mars, such single spacecraft missions result in limitations for assessing the solar wind's role in causing lower altitude observations such as auroral dynamics or atmospheric loss. In this work, we detail the development of a virtual solar wind monitor from the Mars Atmosphere and Volatile Evolution (MAVEN) mission; a single spacecraft. This virtual solar wind monitor provides a continuous estimate of the solar wind upstream from Mars with uncertainties. We specifically employ Gaussian process regression to estimate the upstream solar wind and uncertainty estimations that scale with the data sparsity of our real observations. This proxy enables continuous solar wind estimation at Mars with representative uncertainties for the majority of the time since since late 2014. We conclude by discussing suggested uses of this virtual solar wind monitor for statistical studies of the Mars space environment and heliosphere.
△ Less
Submitted 14 July, 2024; v1 submitted 2 February, 2024;
originally announced February 2024.
-
Scalable Mechanism Design for Multi-Agent Path Finding
Authors:
Paul Friedrich,
Yulun Zhang,
Michael Curry,
Ludwig Dierks,
Stephen McAleer,
Jiaoyang Li,
Tuomas Sandholm,
Sven Seuken
Abstract:
Multi-Agent Path Finding (MAPF) involves determining paths for multiple agents to travel simultaneously and collision-free through a shared area toward given goal locations. This problem is computationally complex, especially when dealing with large numbers of agents, as is common in realistic applications like autonomous vehicle coordination. Finding an optimal solution is often computationally i…
▽ More
Multi-Agent Path Finding (MAPF) involves determining paths for multiple agents to travel simultaneously and collision-free through a shared area toward given goal locations. This problem is computationally complex, especially when dealing with large numbers of agents, as is common in realistic applications like autonomous vehicle coordination. Finding an optimal solution is often computationally infeasible, making the use of approximate, suboptimal algorithms essential. Adding to the complexity, agents might act in a self-interested and strategic way, possibly misrepresenting their goals to the MAPF algorithm if it benefits them. Although the field of mechanism design offers tools to align incentives, using these tools without careful consideration can fail when only having access to approximately optimal outcomes. In this work, we introduce the problem of scalable mechanism design for MAPF and propose three strategyproof mechanisms, two of which even use approximate MAPF algorithms. We test our mechanisms on realistic MAPF domains with problem sizes ranging from dozens to hundreds of agents. We find that they improve welfare beyond a simple baseline.
△ Less
Submitted 8 May, 2024; v1 submitted 30 January, 2024;
originally announced January 2024.
-
Learning Best Response Policies in Dynamic Auctions via Deep Reinforcement Learning
Authors:
Vinzenz Thoma,
Michael Curry,
Niao He,
Sven Seuken
Abstract:
Many real-world auctions are dynamic processes, in which bidders interact and report information over multiple rounds with the auctioneer. The sequential decision making aspect paired with imperfect information renders analyzing the incentive properties of such auctions much more challenging than in the static case. It is clear that bidders often have incentives for manipulation, but the full scop…
▽ More
Many real-world auctions are dynamic processes, in which bidders interact and report information over multiple rounds with the auctioneer. The sequential decision making aspect paired with imperfect information renders analyzing the incentive properties of such auctions much more challenging than in the static case. It is clear that bidders often have incentives for manipulation, but the full scope of such strategies is not well-understood. We aim to develop a tool for better understanding the incentive properties in dynamic auctions by using reinforcement learning to learn the optimal strategic behavior for an auction participant. We frame the decision problem as a Markov Decision Process, show its relation to multi-task reinforcement learning and use a soft actor-critic algorithm with experience relabeling to best-respond against several known analytical equilibria as well as to find profitable deviations against exploitable bidder strategies.
△ Less
Submitted 20 December, 2023;
originally announced December 2023.
-
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.
-
Neural Auctions Compromise Bidder Information
Authors:
Alex Stein,
Avi Schwarzschild,
Michael Curry,
Tom Goldstein,
John Dickerson
Abstract:
Single-shot auctions are commonly used as a means to sell goods, for example when selling ad space or allocating radio frequencies, however devising mechanisms for auctions with multiple bidders and multiple items can be complicated. It has been shown that neural networks can be used to approximate optimal mechanisms while satisfying the constraints that an auction be strategyproof and individuall…
▽ More
Single-shot auctions are commonly used as a means to sell goods, for example when selling ad space or allocating radio frequencies, however devising mechanisms for auctions with multiple bidders and multiple items can be complicated. It has been shown that neural networks can be used to approximate optimal mechanisms while satisfying the constraints that an auction be strategyproof and individually rational. We show that despite such auctions maximizing revenue, they do so at the cost of revealing private bidder information. While randomness is often used to build in privacy, in this context it comes with complications if done without care. Specifically, it can violate rationality and feasibility constraints, fundamentally change the incentive structure of the mechanism, and/or harm top-level metrics such as revenue and social welfare. We propose a method that employs stochasticity to improve privacy while meeting the requirements for auction mechanisms with only a modest sacrifice in revenue. We analyze the cost to the auction house that comes with introducing varying degrees of privacy in common auction settings. Our results show that despite current neural auctions' ability to approximate optimal mechanisms, the resulting vulnerability that comes with relying on neural networks must be accounted for.
△ Less
Submitted 28 February, 2023;
originally announced March 2023.
-
Transient Foreshock Structures Upstream of Mars: Implications of the Small Martian Bow Shock
Authors:
H. Madanian,
N. Omidi,
D. G. Sibeck,
L. Andersson,
R. Ramstad,
S. Xu,
J. R. Gruesbeck,
S. J. Schwartz,
R. A. Frahm,
D. A. Brain,
P. Kajdic,
F. G. Eparvier,
D. L. Mitchell,
S. M. Curry
Abstract:
We characterize the nature of magnetic structures in the foreshock region of Mars associated with discontinuities in the solar wind. The structures form at the upstream edge of moving foreshocks caused by slow rotations in the interplanetary magnetic field (IMF). The solar wind plasma density and the IMF strength noticeably decrease inside the structures' core, and a compressional shock layer is p…
▽ More
We characterize the nature of magnetic structures in the foreshock region of Mars associated with discontinuities in the solar wind. The structures form at the upstream edge of moving foreshocks caused by slow rotations in the interplanetary magnetic field (IMF). The solar wind plasma density and the IMF strength noticeably decrease inside the structures' core, and a compressional shock layer is present at their sunward side, making them consistent with foreshock bubbles (FBs). Ion populations responsible for these structures include backstreaming ions that only appear within the moving foreshock, and accelerated reflected ions from the quasi-perpendicular bow shock. Both ion populations accumulate near the upstream edge of the moving foreshock which facilitates FB formation. Reflected ions with hybrid trajectories that straddle between the quasi-perpendicular and quasi-parallel bow shocks during slow IMF rotations contribute to formation of foreshock transients.
△ Less
Submitted 26 January, 2023;
originally announced January 2023.
-
Processing Particle Data Flows with SmartNICs
Authors:
Jianshen Liu,
Carlos Maltzahn,
Matthew L. Curry,
Craig Ulmer
Abstract:
Many distributed applications implement complex data flows and need a flexible mechanism for routing data between producers and consumers. Recent advances in programmable network interface cards, or SmartNICs, represent an opportunity to offload data-flow tasks into the network fabric, thereby freeing the hosts to perform other work. System architects in this space face multiple questions about th…
▽ More
Many distributed applications implement complex data flows and need a flexible mechanism for routing data between producers and consumers. Recent advances in programmable network interface cards, or SmartNICs, represent an opportunity to offload data-flow tasks into the network fabric, thereby freeing the hosts to perform other work. System architects in this space face multiple questions about the best way to leverage SmartNICs as processing elements in data flows. In this paper, we advocate the use of Apache Arrow as a foundation for implementing data-flow tasks on SmartNICs. We report on our experiences adapting a partitioning algorithm for particle data to Apache Arrow and measure the on-card processing performance for the BlueField-2 SmartNIC. Our experiments confirm that the BlueField-2's (de)compression hardware can have a significant impact on in-transit workflows where data must be unpacked, processed, and repacked.
△ Less
Submitted 13 October, 2022;
originally announced October 2022.
-
Certified Neural Network Watermarks with Randomized Smoothing
Authors:
Arpit Bansal,
Ping-yeh Chiang,
Michael Curry,
Rajiv Jain,
Curtis Wigington,
Varun Manjunatha,
John P Dickerson,
Tom Goldstein
Abstract:
Watermarking is a commonly used strategy to protect creators' rights to digital images, videos and audio. Recently, watermarking methods have been extended to deep learning models -- in principle, the watermark should be preserved when an adversary tries to copy the model. However, in practice, watermarks can often be removed by an intelligent adversary. Several papers have proposed watermarking m…
▽ More
Watermarking is a commonly used strategy to protect creators' rights to digital images, videos and audio. Recently, watermarking methods have been extended to deep learning models -- in principle, the watermark should be preserved when an adversary tries to copy the model. However, in practice, watermarks can often be removed by an intelligent adversary. Several papers have proposed watermarking methods that claim to be empirically resistant to different types of removal attacks, but these new techniques often fail in the face of new or better-tuned adversaries. In this paper, we propose a certifiable watermarking method. Using the randomized smoothing technique proposed in Chiang et al., we show that our watermark is guaranteed to be unremovable unless the model parameters are changed by more than a certain l2 threshold. In addition to being certifiable, our watermark is also empirically more robust compared to previous watermarking methods. Our experiments can be reproduced with code at https://github.com/arpitbansal297/Certified_Watermarks
△ Less
Submitted 16 July, 2022;
originally announced July 2022.
-
Differentiable Economics for Randomized Affine Maximizer Auctions
Authors:
Michael Curry,
Tuomas Sandholm,
John Dickerson
Abstract:
A recent approach to automated mechanism design, differentiable economics, represents auctions by rich function approximators and optimizes their performance by gradient descent. The ideal auction architecture for differentiable economics would be perfectly strategyproof, support multiple bidders and items, and be rich enough to represent the optimal (i.e. revenue-maximizing) mechanism. So far, su…
▽ More
A recent approach to automated mechanism design, differentiable economics, represents auctions by rich function approximators and optimizes their performance by gradient descent. The ideal auction architecture for differentiable economics would be perfectly strategyproof, support multiple bidders and items, and be rich enough to represent the optimal (i.e. revenue-maximizing) mechanism. So far, such an architecture does not exist. There are single-bidder approaches (MenuNet, RochetNet) which are always strategyproof and can represent optimal mechanisms. RegretNet is multi-bidder and can approximate any mechanism, but is only approximately strategyproof. We present an architecture that supports multiple bidders and is perfectly strategyproof, but cannot necessarily represent the optimal mechanism. This architecture is the classic affine maximizer auction (AMA), modified to offer lotteries. By using the gradient-based optimization tools of differentiable economics, we can now train lottery AMAs, competing with or outperforming prior approaches in revenue.
△ Less
Submitted 6 February, 2022;
originally announced February 2022.
-
Analyzing Micro-Founded General Equilibrium Models with Many Agents using Deep Reinforcement Learning
Authors:
Michael Curry,
Alexander Trott,
Soham Phade,
Yu Bai,
Stephan Zheng
Abstract:
Real economies can be modeled as a sequential imperfect-information game with many heterogeneous agents, such as consumers, firms, and governments. Dynamic general equilibrium (DGE) models are often used for macroeconomic analysis in this setting. However, finding general equilibria is challenging using existing theoretical or computational methods, especially when using microfoundations to model…
▽ More
Real economies can be modeled as a sequential imperfect-information game with many heterogeneous agents, such as consumers, firms, and governments. Dynamic general equilibrium (DGE) models are often used for macroeconomic analysis in this setting. However, finding general equilibria is challenging using existing theoretical or computational methods, especially when using microfoundations to model individual agents. Here, we show how to use deep multi-agent reinforcement learning (MARL) to find $ε$-meta-equilibria over agent types in microfounded DGE models. Whereas standard MARL fails to learn non-trivial solutions, our structured learning curricula enable stable convergence to meaningful solutions. Conceptually, our approach is more flexible and does not need unrealistic assumptions, e.g., continuous market clearing, that are commonly used for analytical tractability. Furthermore, our end-to-end GPU implementation enables fast real-time convergence with a large number of RL economic agents. We showcase our approach in open and closed real-business-cycle (RBC) models with 100 worker-consumers, 10 firms, and a social planner who taxes and redistributes. We validate the learned solutions are $ε$-meta-equilibria through best-response analyses, show that they align with economic intuitions, and show our approach can learn a spectrum of qualitatively distinct $ε$-meta-equilibria in open RBC models. As such, we show that hardware-accelerated MARL is a promising framework for modeling the complexity of economies based on microfoundations.
△ Less
Submitted 23 February, 2022; v1 submitted 3 January, 2022;
originally announced January 2022.
-
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.
-
Performance Characteristics of the BlueField-2 SmartNIC
Authors:
Jianshen Liu,
Carlos Maltzahn,
Craig Ulmer,
Matthew Leon Curry
Abstract:
High-performance computing (HPC) researchers have long envisioned scenarios where application workflows could be improved through the use of programmable processing elements embedded in the network fabric. Recently, vendors have introduced programmable Smart Network Interface Cards (SmartNICs) that enable computations to be offloaded to the edge of the network. There is great interest in both the…
▽ More
High-performance computing (HPC) researchers have long envisioned scenarios where application workflows could be improved through the use of programmable processing elements embedded in the network fabric. Recently, vendors have introduced programmable Smart Network Interface Cards (SmartNICs) that enable computations to be offloaded to the edge of the network. There is great interest in both the HPC and high-performance data analytics communities in understanding the roles these devices may play in the data paths of upcoming systems.
This paper focuses on characterizing both the networking and computing aspects of NVIDIA's new BlueField-2 SmartNIC when used in an Ethernet environment. For the networking evaluation we conducted multiple transfer experiments between processors located at the host, the SmartNIC, and a remote host. These tests illuminate how much processing headroom is available on the SmartNIC during transfers. For the computing evaluation we used the stress-ng benchmark to compare the BlueField-2 to other servers and place realistic bounds on the types of offload operations that are appropriate for the hardware.
Our findings from this work indicate that while the BlueField-2 provides a flexible means of processing data at the network's edge, great care must be taken to not overwhelm the hardware. While the host can easily saturate the network link, the SmartNIC's embedded processors may not have enough computing resources to sustain more than half the expected bandwidth when using kernel-space packet processing. From a computational perspective, encryption operations, memory operations under contention, and on-card IPC operations on the SmartNIC perform significantly better than the general-purpose servers used for comparisons in our experiments. Therefore, applications that mainly focus on these operations may be good candidates for offloading to the SmartNIC.
△ Less
Submitted 13 May, 2021;
originally announced May 2021.
-
Future Directions of the Cyberinfrastructure for Sustained Scientific Innovation (CSSI) Program
Authors:
Ritu Arora,
Xiaosong Li,
Bonnie Hurwitz,
Daniel Fay,
Dhabaleswar K. Panda,
Edward Valeev,
Shaowen Wang,
Shirley Moore,
Sunita Chandrasekaran,
Ting Cao,
Holly Bik,
Matthew Curry,
Tanzima Islam
Abstract:
The CSSI 2019 workshop was held on October 28-29, 2019, in Austin, Texas. The main objectives of this workshop were to (1) understand the impact of the CSSI program on the community over the last 9 years, (2) engage workshop participants in identifying gaps and opportunities in the current CSSI landscape, (3) gather ideas on the cyberinfrastructure needs and expectations of the community with resp…
▽ More
The CSSI 2019 workshop was held on October 28-29, 2019, in Austin, Texas. The main objectives of this workshop were to (1) understand the impact of the CSSI program on the community over the last 9 years, (2) engage workshop participants in identifying gaps and opportunities in the current CSSI landscape, (3) gather ideas on the cyberinfrastructure needs and expectations of the community with respect to the CSSI program, and (4) prepare a report summarizing the feedback gathered from the community that can inform the future solicitations of the CSSI program. The workshop brought together different stakeholders interested in provisioning sustainable cyberinfrastructure that can power discoveries impacting the various fields of science and technology and maintaining the nation's competitiveness in the areas such as scientific software, HPC, networking, cybersecurity, and data/information science. The workshop served as a venue for gathering the community-feedback on the current state of the CSSI program and its future directions.
△ Less
Submitted 15 October, 2020;
originally announced October 2020.
-
Improving Policy-Constrained Kidney Exchange via Pre-Screening
Authors:
Duncan C McElfresh,
Michael Curry,
Tuomas Sandholm,
John P Dickerson
Abstract:
In barter exchanges, participants swap goods with one another without exchanging money; exchanges are often facilitated by a central clearinghouse, with the goal of maximizing the aggregate quality (or number) of swaps. Barter exchanges are subject to many forms of uncertainty--in participant preferences, the feasibility and quality of various swaps, and so on. Our work is motivated by kidney exch…
▽ More
In barter exchanges, participants swap goods with one another without exchanging money; exchanges are often facilitated by a central clearinghouse, with the goal of maximizing the aggregate quality (or number) of swaps. Barter exchanges are subject to many forms of uncertainty--in participant preferences, the feasibility and quality of various swaps, and so on. Our work is motivated by kidney exchange, a real-world barter market in which patients in need of a kidney transplant swap their willing living donors, in order to find a better match. Modern exchanges include 2- and 3-way swaps, making the kidney exchange clearing problem NP-hard. Planned transplants often fail for a variety of reasons--if the donor organ is refused by the recipient's medical team, or if the donor and recipient are found to be medically incompatible. Due to 2- and 3-way swaps, failed transplants can "cascade" through an exchange; one US-based exchange estimated that about 85% of planned transplants failed in 2019. Many optimization-based approaches have been designed to avoid these failures; however most exchanges cannot implement these methods due to legal and policy constraints. Instead we consider a setting where exchanges can query the preferences of certain donors and recipients--asking whether they would accept a particular transplant. We characterize this as a two-stage decision problem, in which the exchange program (a) queries a small number of transplants before committing to a matching, and (b) constructs a matching according to fixed policy. We show that selecting these edges is a challenging combinatorial problem, which is non-monotonic and non-submodular, in addition to being NP-hard. We propose both a greedy heuristic and a Monte Carlo tree search, which outperforms previous approaches, using experiments on both synthetic data and real kidney exchange data from the United Network for Organ Sharing.
△ Less
Submitted 22 October, 2020;
originally announced October 2020.
-
ProportionNet: Balancing Fairness and Revenue for Auction Design with Deep Learning
Authors:
Kevin Kuo,
Anthony Ostuni,
Elizabeth Horishny,
Michael J. Curry,
Samuel Dooley,
Ping-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.
-
Detection as Regression: Certified Object Detection by Median Smoothing
Authors:
Ping-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/Ping-C/CertifiedObjectDetection .
△ Less
Submitted 25 February, 2022; v1 submitted 7 July, 2020;
originally announced July 2020.
-
Certifying Strategyproof Auction Networks
Authors:
Michael J. Curry,
Ping-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.
-
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.
-
Atmospheric Escape Processes and Planetary Atmospheric Evolution
Authors:
Guillaume Gronoff,
Phil Arras,
Suleiman M Baraka,
Jared M Bell,
Gaël Cessateur,
Ofer Cohen,
Shannon M. Curry,
Jeremy J Drake,
Meredith K Elrod,
Justin T. Erwin,
Katherine Garcia-Sage,
Cecilia Garraffo,
Alex Glocer,
Nicholas Gray Heavens,
Kylie Lovato,
Romain Maggiolo,
Christopher D. Parkinson,
Cyril L. Simon Wedlund,
Daniel R Weimer,
William B. Moore
Abstract:
The habitability of the surface of any planet is determined by a complex evolution of its interior, surface, and atmosphere. The electromagnetic and particle radiation of stars drive thermal, chemical and physical alteration of planetary atmospheres, including escape. Many known extrasolar planets experience vastly different stellar environments than those in our Solar system: it is crucial to und…
▽ More
The habitability of the surface of any planet is determined by a complex evolution of its interior, surface, and atmosphere. The electromagnetic and particle radiation of stars drive thermal, chemical and physical alteration of planetary atmospheres, including escape. Many known extrasolar planets experience vastly different stellar environments than those in our Solar system: it is crucial to understand the broad range of processes that lead to atmospheric escape and evolution under a wide range of conditions if we are to assess the habitability of worlds around other stars. One problem encountered between the planetary and the astrophysics communities is a lack of common language for describing escape processes. Each community has customary approximations that may be questioned by the other, such as the hypothesis of H-dominated thermosphere for astrophysicists, or the Sun-like nature of the stars for planetary scientists. Since exoplanets are becoming one of the main targets for the detection of life, a common set of definitions and hypotheses are required. We review the different escape mechanisms proposed for the evolution of planetary and exoplanetary atmospheres. We propose a common definition for the different escape mechanisms, and we show the important parameters to take into account when evaluating the escape at a planet in time. We show that the paradigm of the magnetic field as an atmospheric shield should be changed and that recent work on the history of Xenon in Earth's atmosphere gives an elegant explanation to its enrichment in heavier isotopes: the so-called Xenon paradox.
△ Less
Submitted 6 March, 2020;
originally announced March 2020.
-
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.
-
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.
-
Examining MAVEN NGIMS Neutral Data Response to Solar Wind Drivers
Authors:
H. N. Williamson,
M. K. Elrod,
S. M. Curry,
R. E. Johnson
Abstract:
The Martian upper atmosphere is known to vary diurnally and seasonally due to changing amounts of solar radiation. However, in the upper thermosphere and exosphere, the neutrals are also subject to ion precipitation. This can increase the temperature in the region of precipitation, resulting in density changes that might be seen in in situ data (Fang et al. 2013). Therefore, we examine neutral den…
▽ More
The Martian upper atmosphere is known to vary diurnally and seasonally due to changing amounts of solar radiation. However, in the upper thermosphere and exosphere, the neutrals are also subject to ion precipitation. This can increase the temperature in the region of precipitation, resulting in density changes that might be seen in in situ data (Fang et al. 2013). Therefore, we examine neutral density data from the MAVEN Neutral Gas and Ion Mass Spectrometer (NGIMS) in Mars-Solar-Electric (MSE) coordinates, where location is determined by the direction of the solar wind convective electric field, resulting in a hemispherical asymmetry in the ion precipitation. By examining densities in MSE coordinates (Hara et al. 2013) we are able to look for a detectable effect in the region where ion precipitation is more likely. Using the NGIMS neutral data and Key Parameters in situ solar wind data from February 2015 to August 2017 we look for asymmetries by constructing average density maps in Mars-Solar-Orbital (MSO) and MSE coordinates near the exobase. The NGIMS densities for O, Ar, and CO2 from 180-220 km altitude for each orbit are averaged and then binned by location in MSO coordinates and transformed to MSE coordinates. The resulting MSE map exhibits a small density increase in the southern hemisphere, where one would expect to see enhanced precipitation. Although suggestive, the change is not statistically significant, so that the effect of ion precipitation, thought to be an important driver in the evolution of Mars' atmosphere remains elusive.
△ Less
Submitted 29 December, 2018;
originally announced December 2018.
-
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.
-
Quantum dots with split enhancement gate tunnel barrier control
Authors:
S. Rochette,
M. Rudolph,
A. -M. Roy,
M. Curry,
G. Ten Eyck,
R. Manginell,
J. Wendt,
T. Pluym,
S. M. Carr,
D. Ward,
M. P. Lilly,
M. S. Carroll,
M. Pioro-Ladrière
Abstract:
We introduce a silicon metal-oxide-semiconductor quantum dot architecture based on a single polysilicon gate stack. The elementary structure consists of two enhancement gates separated spatially by a gap, one gate forming a reservoir and the other a quantum dot. We demonstrate, in three devices based on two different versions of this elementary structure, that a wide range of tunnel rates is attai…
▽ More
We introduce a silicon metal-oxide-semiconductor quantum dot architecture based on a single polysilicon gate stack. The elementary structure consists of two enhancement gates separated spatially by a gap, one gate forming a reservoir and the other a quantum dot. We demonstrate, in three devices based on two different versions of this elementary structure, that a wide range of tunnel rates is attainable while maintaining single-electron occupation. A characteristic change in slope of the charge transitions as a function of the reservoir gate voltage, attributed to screening from charges in the reservoir, is observed in all devices, and is expected to play a role in the sizable tuning orthogonality of the split enhancement gate structure. The all-silicon process is expected to minimize strain gradients from electrode thermal mismatch, while the single gate layer should avoid issues related to overlayers (e.g., additional dielectric charge noise) and help improve yield. Finally, reservoir gate control of the tunnel barrier has implications for initialization, manipulation and readout schemes in multi-quantum dot architectures.
△ Less
Submitted 5 March, 2019; v1 submitted 12 July, 2017;
originally announced July 2017.
-
Transiting Exoplanet Studies and Community Targets for JWST's Early Release Science Program
Authors:
Kevin B. Stevenson,
Nikole K. Lewis,
Jacob L. Bean,
Charles Beichman,
Jonathan Fraine,
Brian M. Kilpatrick,
J. E. Krick,
Joshua D. Lothringer,
Avi M. Mandell,
Jeff A. Valenti,
Eric Agol,
Daniel Angerhausen,
Joanna K. Barstow,
Stephan M. Birkmann,
Adam Burrows,
David Charbonneau,
Nicolas B. Cowan,
Nicolas Crouzet,
Patricio E. Cubillos,
S. M. Curry,
Paul A. Dalba,
Julien de Wit,
Drake Deming,
Jean-Michel Desert,
Rene Doyon
, et al. (27 additional authors not shown)
Abstract:
The James Webb Space Telescope will revolutionize transiting exoplanet atmospheric science due to its capability for continuous, long-duration observations and its larger collecting area, spectral coverage, and spectral resolution compared to existing space-based facilities. However, it is unclear precisely how well JWST will perform and which of its myriad instruments and observing modes will be…
▽ More
The James Webb Space Telescope will revolutionize transiting exoplanet atmospheric science due to its capability for continuous, long-duration observations and its larger collecting area, spectral coverage, and spectral resolution compared to existing space-based facilities. However, it is unclear precisely how well JWST will perform and which of its myriad instruments and observing modes will be best suited for transiting exoplanet studies. In this article, we describe a prefatory JWST Early Release Science (ERS) program that focuses on testing specific observing modes to quickly give the community the data and experience it needs to plan more efficient and successful future transiting exoplanet characterization programs. We propose a multi-pronged approach wherein one aspect of the program focuses on observing transits of a single target with all of the recommended observing modes to identify and understand potential systematics, compare transmission spectra at overlapping and neighboring wavelength regions, confirm throughputs, and determine overall performances. In our search for transiting exoplanets that are well suited to achieving these goals, we identify 12 objects (dubbed "community targets") that meet our defined criteria. Currently, the most favorable target is WASP-62b because of its large predicted signal size, relatively bright host star, and location in JWST's continuous viewing zone. Since most of the community targets do not have well-characterized atmospheres, we recommend initiating preparatory observing programs to determine the presence of obscuring clouds/hazes within their atmospheres. Measurable spectroscopic features are needed to establish the optimal resolution and wavelength regions for exoplanet characterization. Other initiatives from our proposed ERS program include testing the instrument brightness limits and performing phase-curve observations.(Abridged)
△ Less
Submitted 21 April, 2016; v1 submitted 26 February, 2016;
originally announced February 2016.
-
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.
-
Accelerating Lossless Data Compression with GPUs
Authors:
R. L. Cloud,
M. L. Curry,
H. L. Ward,
A. Skjellum,
P. Bangalore
Abstract:
Huffman compression is a statistical, lossless, data compression algorithm that compresses data by assigning variable length codes to symbols, with the more frequently appearing symbols given shorter codes than the less. This work is a modification of the Huffman algorithm which permits uncompressed data to be decomposed into indepen- dently compressible and decompressible blocks, allowing for con…
▽ More
Huffman compression is a statistical, lossless, data compression algorithm that compresses data by assigning variable length codes to symbols, with the more frequently appearing symbols given shorter codes than the less. This work is a modification of the Huffman algorithm which permits uncompressed data to be decomposed into indepen- dently compressible and decompressible blocks, allowing for concurrent compression and decompression on multiple processors. We create implementations of this modified algorithm on a current NVIDIA GPU using the CUDA API as well as on a current Intel chip and the performance results are compared, showing favorable GPU performance for nearly all tests. Lastly, we discuss the necessity for high performance data compression in today's supercomputing ecosystem.
△ Less
Submitted 21 June, 2011;
originally announced July 2011.
-
Superconductivity in Metal-mixed Ion-Implanted Polymer Films
Authors:
A. P. Micolich,
E. Tavenner,
B. J. Powell,
A. R. Hamilton,
M. T. Curry,
R. E. Giedd,
P. Meredith
Abstract:
Ion-implantation of normally insulating polymers offers an alternative to depositing conjugated organics onto plastic films to make electronic circuits. We used a 50 keV nitrogen ion beam to mix a thin 10 nm Sn/Sb alloy film into the sub-surface of polyetheretherketone (PEEK) and report the low temperature properties of this material. We observed metallic behavior, and the onset of superconducti…
▽ More
Ion-implantation of normally insulating polymers offers an alternative to depositing conjugated organics onto plastic films to make electronic circuits. We used a 50 keV nitrogen ion beam to mix a thin 10 nm Sn/Sb alloy film into the sub-surface of polyetheretherketone (PEEK) and report the low temperature properties of this material. We observed metallic behavior, and the onset of superconductivity below 3 K. There are strong indications that the superconductivity does not result from a residual thin-film of alloy, but instead from a network of alloy grains coupled via a weakly conducting, ion-beam carbonized polymer matrix.
△ Less
Submitted 15 March, 2006; v1 submitted 11 September, 2005;
originally announced September 2005.