-
Governing Through the Cloud: The Intermediary Role of Compute Providers in AI Regulation
Authors:
Lennart Heim,
Tim Fist,
Janet Egan,
Sihao Huang,
Stephen Zekany,
Robert Trager,
Michael A Osborne,
Noa Zilberman
Abstract:
As jurisdictions around the world take their first steps toward regulating the most powerful AI systems, such as the EU AI Act and the US Executive Order 14110, there is a growing need for effective enforcement mechanisms that can verify compliance and respond to violations. We argue that compute providers should have legal obligations and ethical responsibilities associated with AI development an…
▽ More
As jurisdictions around the world take their first steps toward regulating the most powerful AI systems, such as the EU AI Act and the US Executive Order 14110, there is a growing need for effective enforcement mechanisms that can verify compliance and respond to violations. We argue that compute providers should have legal obligations and ethical responsibilities associated with AI development and deployment, both to provide secure infrastructure and to serve as intermediaries for AI regulation. Compute providers can play an essential role in a regulatory ecosystem via four key capacities: as securers, safeguarding AI systems and critical infrastructure; as record keepers, enhancing visibility for policymakers; as verifiers of customer activities, ensuring oversight; and as enforcers, taking actions against rule violations. We analyze the technical feasibility of performing these functions in a targeted and privacy-conscious manner and present a range of technical instruments. In particular, we describe how non-confidential information, to which compute providers largely already have access, can provide two key governance-relevant properties of a computational workload: its type-e.g., large-scale training or inference-and the amount of compute it has consumed. Using AI Executive Order 14110 as a case study, we outline how the US is beginning to implement record kee** requirements for compute providers. We also explore how verification and enforcement roles could be added to establish a comprehensive AI compute oversight scheme. We argue that internationalization will be key to effective implementation, and highlight the critical challenge of balancing confidentiality and privacy with risk mitigation as the role of compute providers in AI regulation expands.
△ Less
Submitted 26 March, 2024; v1 submitted 13 March, 2024;
originally announced March 2024.
-
Computing Power and the Governance of Artificial Intelligence
Authors:
Girish Sastry,
Lennart Heim,
Haydn Belfield,
Markus Anderljung,
Miles Brundage,
Julian Hazell,
Cullen O'Keefe,
Gillian K. Hadfield,
Richard Ngo,
Konstantin Pilz,
George Gor,
Emma Bluemke,
Sarah Shoker,
Janet Egan,
Robert F. Trager,
Shahar Avin,
Adrian Weller,
Yoshua Bengio,
Diane Coyle
Abstract:
Computing power, or "compute," is crucial for the development and deployment of artificial intelligence (AI) capabilities. As a result, governments and companies have started to leverage compute as a means to govern AI. For example, governments are investing in domestic compute capacity, controlling the flow of compute to competing countries, and subsidizing compute access to certain sectors. Howe…
▽ More
Computing power, or "compute," is crucial for the development and deployment of artificial intelligence (AI) capabilities. As a result, governments and companies have started to leverage compute as a means to govern AI. For example, governments are investing in domestic compute capacity, controlling the flow of compute to competing countries, and subsidizing compute access to certain sectors. However, these efforts only scratch the surface of how compute can be used to govern AI development and deployment. Relative to other key inputs to AI (data and algorithms), AI-relevant compute is a particularly effective point of intervention: it is detectable, excludable, and quantifiable, and is produced via an extremely concentrated supply chain. These characteristics, alongside the singular importance of compute for cutting-edge AI models, suggest that governing compute can contribute to achieving common policy objectives, such as ensuring the safety and beneficial use of AI. More precisely, policymakers could use compute to facilitate regulatory visibility of AI, allocate resources to promote beneficial outcomes, and enforce restrictions against irresponsible or malicious AI development and usage. However, while compute-based policies and technologies have the potential to assist in these areas, there is significant variation in their readiness for implementation. Some ideas are currently being piloted, while others are hindered by the need for fundamental research. Furthermore, naive or poorly scoped approaches to compute governance carry significant risks in areas like privacy, economic impacts, and centralization of power. We end by suggesting guardrails to minimize these risks from compute governance.
△ Less
Submitted 13 February, 2024;
originally announced February 2024.
-
Oversight for Frontier AI through a Know-Your-Customer Scheme for Compute Providers
Authors:
Janet Egan,
Lennart Heim
Abstract:
To address security and safety risks stemming from highly capable artificial intelligence (AI) models, we propose that the US government should ensure compute providers implement Know-Your-Customer (KYC) schemes. Compute - the computational power and infrastructure required to train and run these AI models - is emerging as a node for oversight. KYC, a standard developed by the banking sector to id…
▽ More
To address security and safety risks stemming from highly capable artificial intelligence (AI) models, we propose that the US government should ensure compute providers implement Know-Your-Customer (KYC) schemes. Compute - the computational power and infrastructure required to train and run these AI models - is emerging as a node for oversight. KYC, a standard developed by the banking sector to identify and verify client identity, could provide a mechanism for greater public oversight of frontier AI development and close loopholes in existing export controls. Such a scheme has the potential to identify and warn stakeholders of potentially problematic and/or sudden advancements in AI capabilities, build government capacity for AI regulation, and allow for the development and implementation of more nuanced and targeted export controls. Unlike the strategy of limiting access to AI chip purchases, regulating the digital access to compute offers more precise controls, allowing regulatory control over compute quantities, as well as the flexibility to suspend access at any time. To enact a KYC scheme, the US government will need to work closely with industry to (1) establish a dynamic threshold of compute that effectively captures high-risk frontier model development, while minimizing imposition on developers not engaged in frontier AI; (2) set requirements and guidance for compute providers to keep records and report high-risk entities; (3) establish government capacity that allows for co-design, implementation, administration and enforcement of the scheme; and (4) engage internationally to promote international alignment with the scheme and support its long-term efficacy. While the scheme will not address all AI risks, it complements proposed solutions by allowing for a more precise and flexible approach to controlling the development of frontier AI models and unwanted AI proliferation.
△ Less
Submitted 20 October, 2023;
originally announced October 2023.
-
Isochronous Data Link Across a Superconducting Nb Flex Cable with 5 femtojoules per Bit
Authors:
Haitao Dai,
Corey Kegerreis,
Deepal Wehella Gamage,
Jonathan Egan,
Max Nielsen,
Yuan Chen,
David Tuckerman,
Sherman E. Peek,
Bhargav Yelamanchili,
Michael Hamilton,
Rabindra Das,
Anna Herr,
Quentin Herr
Abstract:
Interconnect properties position superconducting digital circuits to build large, high performance, power efficient digital systems. We report a board-to-board communication data link, which is a critical technological component that has not yet been addressed. Synchronous communication on chip and between chips mounted on a common board is enabled by the superconducting resonant clock/power netwo…
▽ More
Interconnect properties position superconducting digital circuits to build large, high performance, power efficient digital systems. We report a board-to-board communication data link, which is a critical technological component that has not yet been addressed. Synchronous communication on chip and between chips mounted on a common board is enabled by the superconducting resonant clock/power network for RQL circuits. The data link is extended to board-to-board communication using isochronous communication, where there is a common frequency between boards but the relative phase is unknown. Our link uses over-sampling and configurable delay at the receiver to synchronize to the local clock phase. A single-bit isochronous data link has been demonstrated on-chip through a transmission line, and on a multi-chip module (MCM) through a superconducting tape between driver and receiver with variable phase offset. Measured results demonstrated correct functionality with a clock margin of 3 dB at 3.6 GHz, and with 5 fJ/bit at 4.2 K.
△ Less
Submitted 28 October, 2021; v1 submitted 4 September, 2021;
originally announced September 2021.
-
Synchronous Chip-to-Chip Communication with a Multi-Chip Resonator Clock Distribution Network
Authors:
Jonathan Egan,
Max Nielsen,
Joshua Strong,
Vladimir V. Talanov,
Ed Rudman,
Brainton Song,
Quentin Herr,
Anna Herr
Abstract:
Superconducting digital circuits are a promising approach to build packaged-level integrated systems with high energy-efficiency and computational density. In such systems, performance of the data link between chips mounted on a multi-chip module (MCM) is a critical driver of performance. In this work we report a synchronous data link using Reciprocal Quantum Logic (RQL) enabled by resonant clock…
▽ More
Superconducting digital circuits are a promising approach to build packaged-level integrated systems with high energy-efficiency and computational density. In such systems, performance of the data link between chips mounted on a multi-chip module (MCM) is a critical driver of performance. In this work we report a synchronous data link using Reciprocal Quantum Logic (RQL) enabled by resonant clock distribution on the chip and on the MCM carrier. The simple physical link has only four Josephson junctions and 3 fJ/bit dissipation, including a 300 W/W cooling overhead. The driver produces a signal with 35\,GHz analog bandwidth and connects to a single-ended receiver via 20 $Ω$ Nb Passive Transmission Line (PTL). To validate this link, we have designed, fabricated and tested two 32$\times$32 mm$^2$ MCMs with eight 5$\times$5 mm$^2$ chips connected serially and powered with a meander clock, and with four 10$\times$10 mm$^2$ chips powered with a 2 GHz resonant clock. The meander clock MCM validates performance of the data link components, and achieved 5.4 dB AC bias margin with no degradation relative to individual chip test. The resonator MCM validates synchronization between chips, with a measured AC bias margin up to 4.8 dB between two chips. The resonator MCM is capable of powering circuits of 4 million Josephson junctions across the four chips with a projected 10 Gbps serial data rate.
△ Less
Submitted 18 July, 2022; v1 submitted 1 September, 2021;
originally announced September 2021.
-
True Differential Superconducting On-Chip Output Amplifier
Authors:
Jonathan Egan,
Andrew Brownfield,
Quentin Herr
Abstract:
The true-differential superconductor on-chip amplifier has complementary outputs that float with respect to chip ground. This improves signal integrity and compatibility with the receiving semiconductor stage. Both source-terminated and non-source-terminated designs producing 4mV demonstrated rejection of a large common mode interference in the package. Measured margins are $\pm$8.5% on the output…
▽ More
The true-differential superconductor on-chip amplifier has complementary outputs that float with respect to chip ground. This improves signal integrity and compatibility with the receiving semiconductor stage. Both source-terminated and non-source-terminated designs producing 4mV demonstrated rejection of a large common mode interference in the package. Measured margins are $\pm$8.5% on the output bias, and $\pm$28% on AC clock amplitude. Waveforms and eye diagrams are taken at 2.9-10Gb/s. Direct measurement of bit-error rates are better than the resolution limit of 1e-12 at 2.9Gb/s, and better than 1e-9 at 10Gb/s.
△ Less
Submitted 20 April, 2021; v1 submitted 15 April, 2021;
originally announced April 2021.
-
Propagation of Picosecond Pulses on Superconducting Transmission Line Interconnects
Authors:
Vladimir V. Talanov,
Derek Knee,
David Harms,
Kieran Perkins,
Andrew Urbanas,
Jonathan Egan,
Quentin Herr,
Anna Herr
Abstract:
Interconnects are a major discriminator for superconducting digital technology, enabling energy efficient data transfer and high-bandwidth heterogeneous integration. We report a method to simulate propagation of picosecond pulses in superconducting passive transmission lines (PTLs). A frequency-domain propagator model obtained from the Ansys High Frequency Structure Simulator (HFSS) field solver i…
▽ More
Interconnects are a major discriminator for superconducting digital technology, enabling energy efficient data transfer and high-bandwidth heterogeneous integration. We report a method to simulate propagation of picosecond pulses in superconducting passive transmission lines (PTLs). A frequency-domain propagator model obtained from the Ansys High Frequency Structure Simulator (HFSS) field solver is incorporated in a Cadence Spectre circuit model, so that the particular PTL geometry can be simulated in the time-domain. The Mattis-Bardeen complex conductivity of the superconductor is encoded in the HFSS field solver as a complex-conductivity insulator. Experimental and simulation results show that Nb 20 Ohm microstrip PTLs with 1um width can support propagation of a single-flux-quantum pulse up to 7mm and a double-flux-quantum pulse up to 28mm.
△ Less
Submitted 28 October, 2021; v1 submitted 15 April, 2021;
originally announced April 2021.
-
Cluster Editing with Vertex Splitting
Authors:
Faisal N. Abu-Khzam,
Emmanuel Arrighi,
Matthias Bentert,
Pål Grønås Drange,
Judith Egan,
Serge Gaspers,
Alexis Shaw,
Peter Shaw,
Blair D. Sullivan,
Petra Wolf
Abstract:
Cluster Editing, also known as Correlation Clustering, is a well-studied graph modification problem. In this problem, one is given a graph and the task is to perform up to $k$ edge additions or deletions to transform it into a cluster graph, i.e., a graph consisting of a disjoint union of cliques. However, in real-world networks, clusters are often overlap**. For example in social networks, a pe…
▽ More
Cluster Editing, also known as Correlation Clustering, is a well-studied graph modification problem. In this problem, one is given a graph and the task is to perform up to $k$ edge additions or deletions to transform it into a cluster graph, i.e., a graph consisting of a disjoint union of cliques. However, in real-world networks, clusters are often overlap**. For example in social networks, a person might belong to several communities - e.g. those corresponding to work, school, or neighborhood. Other strong motivations come from biological network analysis and from language networks. Trying to cluster words with similar usage in the latter can be confounded by homonyms, that is, words with multiple meanings like "bat." In this paper, we introduce a new variant of Cluster Editing whereby a vertex can be split into two or more vertices. First used in the context of graph drawing, this operation allows a vertex $v$ to be replaced by two vertices whose combined neighborhood is the neighborhood of $v$ (and thus $v$ can belong to more than one cluster). We call the new problem Cluster Editing with Vertex Splitting and we initiate the study of it. We show that it is NP-complete and fixed-parameter tractable when parameterized by the total number $k$ of allowed vertex-splitting and edge-editing operations. In particular, we obtain an $O(2^{9k log k} + n + m)$-time algorithm and a $6k$-vertex kernel.
△ Less
Submitted 2 November, 2023; v1 submitted 1 January, 2019;
originally announced January 2019.
-
Josephson junction microwave modulators for qubit control
Authors:
O. Naaman,
J. A. Strong,
D. G. Ferguson,
J. Egan,
N. Bailey,
R. T. Hinkey
Abstract:
We demonstrate Josephson junction based double-balanced mixer and phase shifter circuits operating at 6-10 GHz, and integrate these components to implement both a monolithic amplitude/phase vector modulator and a quadrature mixer. The devices are actuated by flux signals, dissipate no power on chip, exhibit input saturation powers in excess of 1 nW, and provide cryogenic microwave modulation solut…
▽ More
We demonstrate Josephson junction based double-balanced mixer and phase shifter circuits operating at 6-10 GHz, and integrate these components to implement both a monolithic amplitude/phase vector modulator and a quadrature mixer. The devices are actuated by flux signals, dissipate no power on chip, exhibit input saturation powers in excess of 1 nW, and provide cryogenic microwave modulation solutions for integrated control of superconducting qubits.
△ Less
Submitted 22 February, 2017; v1 submitted 25 October, 2016;
originally announced October 2016.
-
Enumeration of MOLS of small order
Authors:
Judith Egan,
Ian M. Wanless
Abstract:
We report the results of a computer investigation of sets of mutually orthogonal latin squares (MOLS) of small order. For $n\le9$ we
1. Determine the number of orthogonal mates for each species of latin square of order $n$.
2. Calculate the proportion of latin squares of order $n$ that have an orthogonal mate, and the expected number of mates when a square is chosen uniformly at random.
3. C…
▽ More
We report the results of a computer investigation of sets of mutually orthogonal latin squares (MOLS) of small order. For $n\le9$ we
1. Determine the number of orthogonal mates for each species of latin square of order $n$.
2. Calculate the proportion of latin squares of order $n$ that have an orthogonal mate, and the expected number of mates when a square is chosen uniformly at random.
3. Classify all sets of MOLS of order $n$ up to various different notions of equivalence.
We also provide a triple of latin squares of order 10 that is the closest to being a set of MOLS so far found.
△ Less
Submitted 13 October, 2014; v1 submitted 14 June, 2014;
originally announced June 2014.
-
Tunable VUV laser based spectrometer for Angle Resolved Photoemission Spectroscopy (ARPES)
Authors:
Rui Jiang,
Daixiang Mou,
Yun Wu,
Lunan Huang,
Colin D. McMillen,
Joseph Kolis,
Henry G. Giesber III,
John J. Egan,
Adam Kaminski
Abstract:
We have developed an angle-resolved photoemission spectrometer with tunable VUV laser as a photon source. The photon source is based on the fourth harmonic generation of a near IR beam from a Ti:sapphire laser pumped by a CW green laser and tunable between 5.3eV and 7eV. The most important part of the set-up is a compact, vacuum enclosed fourth harmonic generator based on KBBF crystals, grown hydr…
▽ More
We have developed an angle-resolved photoemission spectrometer with tunable VUV laser as a photon source. The photon source is based on the fourth harmonic generation of a near IR beam from a Ti:sapphire laser pumped by a CW green laser and tunable between 5.3eV and 7eV. The most important part of the set-up is a compact, vacuum enclosed fourth harmonic generator based on KBBF crystals, grown hydrothermally in the US. This source can deliver a photon flux of over 10^14 photons/s. We demonstrate that this energy range is sufficient to measure the kz dispersion in an iron arsenic high temperature superconductor, which was previously only possible at synchrotron facilities.
△ Less
Submitted 21 January, 2014;
originally announced January 2014.
-
Functional alignment of regulatory networks: A study of temperate phages
Authors:
Ala Trusina,
Kim Sneppen,
Ian B. Dodd,
Keith E. Shearwin,
J. Barry Egan
Abstract:
The relationship between the design and functionality of molecular networks is now a key issue in biology. Comparison of regulatory networks performing similar tasks can give insights into how network architecture is constrained by the functions it directs. We here discuss methods of network comparison based on network architecture and signaling logic. Introducing local and global signaling scor…
▽ More
The relationship between the design and functionality of molecular networks is now a key issue in biology. Comparison of regulatory networks performing similar tasks can give insights into how network architecture is constrained by the functions it directs. We here discuss methods of network comparison based on network architecture and signaling logic. Introducing local and global signaling scores for the difference between two networks we quantify similarities between evolutionary closely and distantly related bacteriophages. Despite the large evolutionary separation between phage $λ$ and 186 their networks are found to be similar when difference is measured in terms of global signaling. We finally discuss how network alignment can be used to to pinpoint protein similarities viewed from the network perspective.
△ Less
Submitted 28 November, 2005;
originally announced November 2005.