-
The Beyond the Fence Musical and Computer Says Show Documentary
Authors:
Simon Colton,
Maria Teresa Llano,
Rose Hepworth,
John Charnley,
Catherine V. Gale,
Archie Baron,
Francois Pachet,
Pierre Roy,
Pablo Gervas,
Nick Collins,
Bob Sturm,
Tillman Weyde,
Daniel Wolff,
James Robert Lloyd
Abstract:
During 2015 and early 2016, the cultural application of Computational Creativity research and practice took a big leap forward, with a project where multiple computational systems were used to provide advice and material for a new musical theatre production. Billed as the world's first 'computer musical... conceived by computer and substantially crafted by computer', Beyond The Fence was staged in…
▽ More
During 2015 and early 2016, the cultural application of Computational Creativity research and practice took a big leap forward, with a project where multiple computational systems were used to provide advice and material for a new musical theatre production. Billed as the world's first 'computer musical... conceived by computer and substantially crafted by computer', Beyond The Fence was staged in the Arts Theatre in London's West End during February and March of 2016. Various computational approaches to analytical and generative sub-projects were used to bring about the musical, and these efforts were recorded in two 1-hour documentary films made by Wingspan Productions, which were aired on SkyArts under the title Computer Says Show. We provide details here of the project conception and execution, including details of the systems which took on some of the creative responsibility in writing the musical, and the contributions they made. We also provide details of the impact of the project, including a perspective from the two (human) writers with overall control of the creative aspects the musical.
△ Less
Submitted 11 May, 2022;
originally announced June 2022.
-
Computing the Morava K-theory of real Grassmanians using chromatic fixed point theory
Authors:
Nicholas J. Kuhn,
Christopher J. R. Lloyd
Abstract:
We study K(n)*(Gr(d,m)) for all n - the 2-local Morava K-theories of the real Grassmanian Gr(d,m) of d-planes in R^m, about which very little has been previously computed. We conjecture that the Atiyah-Hirzebruch Spectral Sequences computing these all collapse after the first possible non-zero differential, and give much evidence that this is the case. Computational patterns for all n seem similar…
▽ More
We study K(n)*(Gr(d,m)) for all n - the 2-local Morava K-theories of the real Grassmanian Gr(d,m) of d-planes in R^m, about which very little has been previously computed. We conjecture that the Atiyah-Hirzebruch Spectral Sequences computing these all collapse after the first possible non-zero differential, and give much evidence that this is the case. Computational patterns for all n seem similar to the known calculation of H*(Gr(d,m);Q), the n=0 case.
We use a novel method to show that higher differentials can't occur: we get a lower bound on the size of K(n)*(Gr(d,m)) by constructing an action of C = the cyclic group of order 4, on our Grassmanians, and then applying the chromatic fixed point theory of the authors' previous paper. In essence, we bound the size of K(n)*(Gr(d,m)) from below by computing K(n-1)*(Gr(d,m)^C).
Meanwhile, the AHSS after the first differential is determined by Q_n-homology, where Q_n is Milnor's nth primitive operation in mod 2 cohomology. Whenever we are able to calculate this, we have found that it agrees with our lower bound for the size of K(n)*(Gr(d,m)). We have two general families where we prove this: m at most 2^{n+1} and all d, and d=2 and all m and n. Computer calculations have allowed us to check many other examples with larger values of d.
△ Less
Submitted 16 November, 2021;
originally announced November 2021.
-
Chromatic fixed point theory and the Balmer spectrum for extraspecial 2-groups
Authors:
Nicholas J. Kuhn,
Christopher J. R. Lloyd
Abstract:
In the early 1940's, P.A.Smith showed that if a finite p-group G acts on a finite complex X that is mod $p$ acyclic, then its space of fixed points, X^G, will also be mod p acyclic.
In their recent study of the Balmer spectrum of equivariant stable homotopy theory, Balmer and Sanders were led to study chromatic versions of this statement, with the question: given H<G and n, what is the smallest…
▽ More
In the early 1940's, P.A.Smith showed that if a finite p-group G acts on a finite complex X that is mod $p$ acyclic, then its space of fixed points, X^G, will also be mod p acyclic.
In their recent study of the Balmer spectrum of equivariant stable homotopy theory, Balmer and Sanders were led to study chromatic versions of this statement, with the question: given H<G and n, what is the smallest r such that if X^H is acyclic in the (n+r)th Morava K-theory, then X^G must be acyclic in the nth Morava K-theory? Barthel et.al. then answered this when G is abelian, by finding general lower and upper bounds for these `blue shift' numbers which agree in the abelian case.
In our paper, we first prove that these potential chromatic versions of Smith's theorem are equivalent to chromatic versions of a 1952 theorem of E.E.Floyd, which replaces acyclicity by bounds on dimensions of homology, and thus applies to all finite G-spaces. This unlocks new techniques and applications in chromatic fixed point theory.
In one direction, we are able to use classic constructions and representation theory to search for blue shift number lower bounds. We give a simple new proof of the known lower bound theorem, and then get the first results about nonabelian 2-groups that don't follow from previously known results. In particular, we are able to determine all blue shift numbers for extraspecial 2-groups.
As samples of new applications, we offer a new result about involutions on the 5-dimensional Wu manifold, and a calculation of the mod 2 K-theory of a 100 dimensional real Grassmanian that uses a C_4 chromatic Floyd theorem.
△ Less
Submitted 27 September, 2022; v1 submitted 1 August, 2020;
originally announced August 2020.
-
One-Shot Learning in Discriminative Neural Networks
Authors:
Jordan Burgess,
James Robert Lloyd,
Zoubin Ghahramani
Abstract:
We consider the task of one-shot learning of visual categories. In this paper we explore a Bayesian procedure for updating a pretrained convnet to classify a novel image category for which data is limited. We decompose this convnet into a fixed feature extractor and softmax classifier. We assume that the target weights for the new task come from the same distribution as the pretrained softmax weig…
▽ More
We consider the task of one-shot learning of visual categories. In this paper we explore a Bayesian procedure for updating a pretrained convnet to classify a novel image category for which data is limited. We decompose this convnet into a fixed feature extractor and softmax classifier. We assume that the target weights for the new task come from the same distribution as the pretrained softmax weights, which we model as a multivariate Gaussian. By using this as a prior for the new weights, we demonstrate competitive performance with state-of-the-art methods whilst also being consistent with 'normal' methods for training deep networks on large data.
△ Less
Submitted 18 July, 2017;
originally announced July 2017.
-
Reverse degradation of nickel graphene junction by hydrogen annealing
Authors:
Zhenjun Zhang,
Fan Yang,
Pratik Agnihotri,
Ji Ung Lee,
Jim R. Lloyd
Abstract:
Metal contacts are fundamental building components for graphene based electronic devices and their properties are greatly influenced by interface quality during device fabrication, leading to resistance variation. Here we show that nickel graphene junction degrades after air exposure, due to interfacial oxidation, thus creating a tunneling barrier. Most importantly, we demonstrate that hydrogen an…
▽ More
Metal contacts are fundamental building components for graphene based electronic devices and their properties are greatly influenced by interface quality during device fabrication, leading to resistance variation. Here we show that nickel graphene junction degrades after air exposure, due to interfacial oxidation, thus creating a tunneling barrier. Most importantly, we demonstrate that hydrogen annealing at moderate temperature (300 0C) is an effective technique to reverse the degradation.
△ Less
Submitted 26 January, 2016; v1 submitted 1 January, 2016;
originally announced January 2016.
-
Characterization of Magnetic Ni Clusters on Graphene Scaffold after High Vacuum Annealing
Authors:
Zhenjun Zhang,
Akitomo Matsubayashi,
Benjamin Grisafe,
Ji Ung Lee,
James R. Lloyd
Abstract:
Magnetic Ni nanoclusters were synthesized by electron beam deposition utilizing CVD graphene as a scaffold. The subsequent clusters were subjected to high vacuum (5-8 x10-7 torr) annealing between 300 and 600 0C. The chemical stability, optical and morphological changes were characterized by X-ray photoemission microscopy, Raman spectroscopy, atomic force microscopy and magnetic measurement. Under…
▽ More
Magnetic Ni nanoclusters were synthesized by electron beam deposition utilizing CVD graphene as a scaffold. The subsequent clusters were subjected to high vacuum (5-8 x10-7 torr) annealing between 300 and 600 0C. The chemical stability, optical and morphological changes were characterized by X-ray photoemission microscopy, Raman spectroscopy, atomic force microscopy and magnetic measurement. Under ambient exposure, nickel nanoparticles was observed to be oxidized quickly, forming antiferromagnetic nickel oxide. Here, we report that the majority of the oxidized nickel is in non-stoichiometric form and can be reduced under high vacuum at temperature as low as 300 0C. Importantly, the resulting annealed clusters are relatively stable and no further oxidation was detectable after three weeks of air exposure at room temperature.
△ Less
Submitted 10 November, 2015;
originally announced November 2015.
-
Automatic Construction and Natural-Language Description of Nonparametric Regression Models
Authors:
James Robert Lloyd,
David Duvenaud,
Roger Grosse,
Joshua B. Tenenbaum,
Zoubin Ghahramani
Abstract:
This paper presents the beginnings of an automatic statistician, focusing on regression problems. Our system explores an open-ended space of statistical models to discover a good explanation of a data set, and then produces a detailed report with figures and natural-language text. Our approach treats unknown regression functions nonparametrically using Gaussian processes, which has two important c…
▽ More
This paper presents the beginnings of an automatic statistician, focusing on regression problems. Our system explores an open-ended space of statistical models to discover a good explanation of a data set, and then produces a detailed report with figures and natural-language text. Our approach treats unknown regression functions nonparametrically using Gaussian processes, which has two important consequences. First, Gaussian processes can model functions in terms of high-level properties (e.g. smoothness, trends, periodicity, changepoints). Taken together with the compositional structure of our language of models this allows us to automatically describe functions in simple terms. Second, the use of flexible nonparametric models and a rich language for composing them in an open-ended manner also results in state-of-the-art extrapolation performance evaluated over 13 real time series data sets from various domains.
△ Less
Submitted 24 April, 2014; v1 submitted 18 February, 2014;
originally announced February 2014.
-
Gaussian Process Conditional Copulas with Applications to Financial Time Series
Authors:
José Miguel Hernández-Lobato,
James Robert Lloyd,
Daniel Hernández-Lobato
Abstract:
The estimation of dependencies between multiple variables is a central problem in the analysis of financial time series. A common approach is to express these dependencies in terms of a copula function. Typically the copula function is assumed to be constant but this may be inaccurate when there are covariates that could have a large influence on the dependence structure of the data. To account fo…
▽ More
The estimation of dependencies between multiple variables is a central problem in the analysis of financial time series. A common approach is to express these dependencies in terms of a copula function. Typically the copula function is assumed to be constant but this may be inaccurate when there are covariates that could have a large influence on the dependence structure of the data. To account for this, a Bayesian framework for the estimation of conditional copulas is proposed. In this framework the parameters of a copula are non-linearly related to some arbitrary conditioning variables. We evaluate the ability of our method to predict time-varying dependencies on several equities and currencies and observe consistent performance gains compared to static copula models and other time-varying copula methods.
△ Less
Submitted 1 July, 2013;
originally announced July 2013.
-
Structure Discovery in Nonparametric Regression through Compositional Kernel Search
Authors:
David Duvenaud,
James Robert Lloyd,
Roger Grosse,
Joshua B. Tenenbaum,
Zoubin Ghahramani
Abstract:
Despite its importance, choosing the structural form of the kernel in nonparametric regression remains a black art. We define a space of kernel structures which are built compositionally by adding and multiplying a small number of base kernels. We present a method for searching over this space of structures which mirrors the scientific discovery process. The learned structures can often decompose…
▽ More
Despite its importance, choosing the structural form of the kernel in nonparametric regression remains a black art. We define a space of kernel structures which are built compositionally by adding and multiplying a small number of base kernels. We present a method for searching over this space of structures which mirrors the scientific discovery process. The learned structures can often decompose functions into interpretable components and enable long-range extrapolation on time-series datasets. Our structure search method outperforms many widely used kernels and kernel combination methods on a variety of prediction tasks.
△ Less
Submitted 13 May, 2013; v1 submitted 20 February, 2013;
originally announced February 2013.
-
Grand Canonical Monte Carlo Simulation of Hydrogen Adsorption in Different Carbon Nano Structures
Authors:
Tengfei Luo,
John R. Lloyd
Abstract:
Grand Canonical Monte Carlo (GCMC) simulations are performed to study hydrogen physisorption in different nano carbon porous materials made up of different substructures including carbon nanotubes (CNT), graphene sheets and C60. Hydrogen weight percentage (wt%) at different temperatures with pressure ranging from 1 to 20MPa are predicted. Fugacity and quantum effects on hydrogen adsorption are i…
▽ More
Grand Canonical Monte Carlo (GCMC) simulations are performed to study hydrogen physisorption in different nano carbon porous materials made up of different substructures including carbon nanotubes (CNT), graphene sheets and C60. Hydrogen weight percentage (wt%) at different temperatures with pressure ranging from 1 to 20MPa are predicted. Fugacity and quantum effects on hydrogen adsorption are investigated. Different structural dimensions including the sizes of the substructures and spacing between the substructures are used to study the geometrical effects on hydrogen storage capacity in carbon materials. The calculated results generally agree well with available data from other calculations. It is concluded that CNT arrays, graphite nanofibers (GNF) and C60 intercalated graphite (CIG) are not promising to reach the DOE 6.5 wt% target at room temperature. It is also found that the quantum effect is significant in low temperature hydrogen adsorption and different treatments to account for the quantum effect also influence the predicted wt% differently.
△ Less
Submitted 13 May, 2009;
originally announced May 2009.
-
Non-Equilibrium Molecular Dynamics Study of Thermal Energy Transport in Au-SAM-Au junctions
Authors:
Tengfei Luo,
John R. Lloyd
Abstract:
Non-equilibrium molecular dynamics (NEMD) simulations were performed on Au-SAM (self-assembly monolayer)-Au junctions to study the thermal energy transport across the junctions. Thermal conductance of the Au-SAM interfaces was calculated. Temperature effects, simulated external pressure effects, SAM molecule coverage effects and Au-SAM bond strength effects on the interfacial thermal conductance…
▽ More
Non-equilibrium molecular dynamics (NEMD) simulations were performed on Au-SAM (self-assembly monolayer)-Au junctions to study the thermal energy transport across the junctions. Thermal conductance of the Au-SAM interfaces was calculated. Temperature effects, simulated external pressure effects, SAM molecule coverage effects and Au-SAM bond strength effects on the interfacial thermal conductance were studied. It was found that the interfacial thermal conductance increased with temperature increase at temperatures lower than 250K, but it did not have large changes at temperatures from 250K to 400K. Such a trend was found to be similar to experimental observations on similar junctions. The simulated external pressure did not affect the interfacial thermal conductance. SAM molecule coverage and Au-SAM bond strength were found to significantly affect on the thermal conductance. The vibration densities of state (VDOS) were calculated to explore the mechanism of thermal energy transport. Interfacial thermal resistance was found mainly due to the limited population of low-frequency vibration modes of the SAM molecule. Ballistic energy transport inside the SAM molecules was confirmed, and the anharmonicity played an important role in energy transport across the junctions. A heat pulse was imposed on the junction substrate, and heat dissipation inside the junction was studied. Analysis of the junction response to the heat pulse showed that the Au-SAM interfacial thermal resistance was much larger than the Au substrate and SAM resistances separately. This work showed that both the Au substrate and SAM molecules transported thermal energy efficiently, and it was the Au-SAM interfaces that dominated the thermal energy transport across the Au-SAM-Au junctions.
△ Less
Submitted 17 May, 2009; v1 submitted 13 May, 2009;
originally announced May 2009.
-
Equilibrium Molecular Dynamics Study of Lattice Thermal Conductivity/Conductance of Au-SAM-Au Junctions
Authors:
Tengfei Luo,
John R. Lloyd
Abstract:
In this paper, equilibrium molecular dynamics simulations were performed on Au-SAM (self-assembly monolayer)-Au junctions. The SAM consisted of alkanedithiol molecules. The out-of-plane (z-direction) thermal conductance and in-plane (x- and y-direction) thermal conductivities were calculated. Simulation finite size effect, gold substrate thickness effect, temperature effect, normal pressure effe…
▽ More
In this paper, equilibrium molecular dynamics simulations were performed on Au-SAM (self-assembly monolayer)-Au junctions. The SAM consisted of alkanedithiol molecules. The out-of-plane (z-direction) thermal conductance and in-plane (x- and y-direction) thermal conductivities were calculated. Simulation finite size effect, gold substrate thickness effect, temperature effect, normal pressure effect, molecule chain length effect and molecule coverage effect on thermal conductivity/conductance were studied. Vibration power spectra of gold atoms in the substrate and sulfur atoms in the SAM were calculated and vibration coupling of these two parts was analyzed. The calculated thermal conductance values of Au-SAM-Au junctions are in the range of experimental data on metal-nonmetal junctions. The temperature dependence of thermal conductance has similar trend to experimental observations. It is concluded that the Au-SAM interface resistance dominates thermal energy transport across the junction, while the substrate is the dominant media in which in-plane thermal energy transport happens.
△ Less
Submitted 12 May, 2009;
originally announced May 2009.
