Source author record

Peter West

Peter West appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

40works
6topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

40 published item(s)

preprint2026arXiv

Can You Keep a Secret? Involuntary Information Leakage in Language Model Writing

Language models are deployed in settings that require compartmentalization: system prompts should not be disclosed, chain-of-thought reasoning is hidden from users, and sensitive data passes through shared contexts. We test whether models can keep prompted information out of their writing. We give each model a secret word with instructions not to reveal it, then ask it to write a story. A second model tries to identify the secret from the story in a binary discrimination test. The secret word never appears literally in any output, but all five frontier models we test leak it thematically -- through topic choice, imagery, and setting--6hy-at rates significantly different from chance, up to 79\%. When told to actively hide the secret, models write \emph{away from} it, and this avoidance is itself detectable. The leakage is cross-model readable, scales sharply with model size within two model families, and disappears entirely for short-form writing like jokes. Giving the model a decoy concept to ``focus on instead'' partially redirects the leakage from the real secret to the decoy. Attending to a secret appears to open up an information channel that frontier LLMs cannot close, even when instructed to.

preprint2026arXiv

ReVision: Scaling Computer-Use Agents via Temporal Visual Redundancy Reduction

Computer-use agents (CUAs) rely on visual observations of graphical user interfaces, where each screenshot is encoded into a large number of visual tokens. As interaction trajectories grow, the token cost increases rapidly, limiting the amount of history that can be incorporated under fixed context and compute budgets. This has resulted in no or very limited improvement in the performance when using history unlike other domains. We address this inefficiency by introducing ReVision, which is used to train multimodal language models on trajectories where redundant visual patches are removed using a learned patch selector that compares patch representations across consecutive screenshots while preserving spatial structure required by the model. Across three benchmarks, OSWorld, WebTailBench, and AgentNetBench, when processing trajectories with 5 history screenshots using Qwen2.5-VL-7B, ReVision reduces token usage by approximately 46% on average while improving success rate by 3% over the no drop baseline. This establishes a clear efficiency gain, enabling agents to process longer trajectories with fewer tokens. With this improved efficiency, we revisit the role of history in CUAs and find that performance continues to improve as more past observations are incorporated when redundancy is removed. This suggests that the commonly observed saturation in visual history is not due to limited usefulness of past information, but rather a consequence of inefficient token representations.

preprint2022arXiv

Adjusting for Confounders with Text: Challenges and an Empirical Evaluation Framework for Causal Inference

Causal inference studies using textual social media data can provide actionable insights on human behavior. Making accurate causal inferences with text requires controlling for confounding which could otherwise impart bias. Recently, many different methods for adjusting for confounders have been proposed, and we show that these existing methods disagree with one another on two datasets inspired by previous social media studies. Evaluating causal methods is challenging, as ground truth counterfactuals are almost never available. Presently, no empirical evaluation framework for causal methods using text exists, and as such, practitioners must select their methods without guidance. We contribute the first such framework, which consists of five tasks drawn from real world studies. Our framework enables the evaluation of any casual inference method using text. Across 648 experiments and two datasets, we evaluate every commonly used causal inference method and identify their strengths and weaknesses to inform social media researchers seeking to use such methods, and guide future improvements. We make all tasks, data, and models public to inform applications and encourage additional research.

preprint2022arXiv

Probing Factually Grounded Content Transfer with Factual Ablation

Despite recent success, large neural models often generate factually incorrect text. Compounding this is the lack of a standard automatic evaluation for factuality--it cannot be meaningfully improved if it cannot be measured. Grounded generation promises a path to solving both of these problems: models draw on a reliable external document (grounding) for factual information, simplifying the challenge of factuality. Measuring factuality is also simplified--to factual consistency, testing whether the generation agrees with the grounding, rather than all facts. Yet, without a standard automatic metric for factual consistency, factually grounded generation remains an open problem. We study this problem for content transfer, in which generations extend a prompt, using information from factual grounding. Particularly, this domain allows us to introduce the notion of factual ablation for automatically measuring factual consistency: this captures the intuition that the model should be less likely to produce an output given a less relevant grounding document. In practice, we measure this by presenting a model with two grounding documents, and the model should prefer to use the more factually relevant one. We contribute two evaluation sets to measure this. Applying our new evaluation, we propose multiple novel methods improving over strong baselines.

preprint2022arXiv

Srifty: Swift and Thrifty Distributed Training on the Cloud

Finding the best VM configuration is key to achieve lower cost and higher throughput, two primary concerns in cloud-based distributed neural network (NN) training today. Optimal VM selection that meets user constraints requires efficiently navigating a large search space while controlling for the performance variance associated with sharing cloud instances and networks. In this work, we characterize this variance in the context of distributed NN training and present results of a comprehensive throughput and cost-efficiency study we conducted across a wide array of instances to prune for the optimal VM search space. Using insights from these studies, we built Srifty, a system that combines runtime profiling with learned performance models to accurately predict training performance and find the best VM choice that satisfies user constraints, potentially leveraging both heterogeneous setups and spot instances. We integrated Srifty with PyTorch and evaluated it on Amazon EC2. We conducted a large-scale generalization study of Srifty across more than 2K training setups on EC2. Our results show that Srifty achieves an iteration latency prediction error of 8%, and its VM instance recommendations offer significant throughput gain and cost reduction while satisfying user constraints compared to existing solutions in complex, real-world scenarios.

preprint2022arXiv

Symbolic Brittleness in Sequence Models: on Systematic Generalization in Symbolic Mathematics

Neural sequence models trained with maximum likelihood estimation have led to breakthroughs in many tasks, where success is defined by the gap between training and test performance. However, their ability to achieve stronger forms of generalization remains unclear. We consider the problem of symbolic mathematical integration, as it requires generalizing systematically beyond the test set. We develop a methodology for evaluating generalization that takes advantage of the problem domain's structure and access to a verifier. Despite promising in-distribution performance of sequence-to-sequence models in this domain, we demonstrate challenges in achieving robustness, compositionality, and out-of-distribution generalization, through both carefully constructed manual test suites and a genetic algorithm that automatically finds large collections of failures in a controllable manner. Our investigation highlights the difficulty of generalizing well with the predominant modeling and learning approach, and the importance of evaluating beyond the test set, across different aspects of generalization.

preprint2022arXiv

The role of the 1.5 order formalism and the gauging of spacetime groups in the development of gravity and supergravity theories

The 1.5 formalism played a key role in the discovery of supergravity and it has been used to prove the invariance of essentially all supergravity theories under local supersymmetry. It emerged from the gauging of the super Poincare group to find supergravity. We review both of these developments as well as the auxiliary fields for simple supergravity and its most general coupling to matter using the tensor calculus.

preprint2022arXiv

The string little algebra

We consider the string, like point particles and branes, to be an irreducible representation of the semi-direct product of the Cartan involution invariant subalgebra of E11 and its vector representation. We show that the subalgebra that preserves the string charges, the string little algebra, is essentially the Borel subalgebra of E9. We also show that the known string physical states carry a representation of parts of this algebra.

preprint2020arXiv

E11 and the non-linear dual graviton

The non-linear duality relation between the gravity and dual gravity fields are found in E theory by carrying out $E_{11}$ variations of previously found duality relations. We also find the dual graviton equation of motion up to the addition of some very specific terms whose coefficients are not determined. Using the calculations in this paper this ambiguity was resolved in reference [15] where the full non-linear dual gravity equation was found. As a result the equations of motion in E theory have now been found at the full non-linear level up to, and including, level three, which contains the dual graviton field. When truncated to contain fields at levels three and less, and the spacetime is restricted to be the familiar eleven dimensional space time, the equations are equivalent to those of eleven dimensional supergravity.

preprint2020arXiv

Gravity, Dual Gravity and A1+++

We construct the non-linear realisation of the semi-direct product of the very extended algebra A1+++ and its vector representation. This theory has an infinite number of fields that depend on a spacetime with an infinite number of coordinates. Discarding all except the lowest level field and coordinates the dynamics is just Einstein's equation for the graviton field. We show that the gravity field is related to the dual graviton field by a duality relation and we also derive the equation of motion for the dual gravity field.

preprint2020arXiv

Unsupervised Commonsense Question Answering with Self-Talk

Natural language understanding involves reading between the lines with implicit background knowledge. Current systems either rely on pre-trained language models as the sole implicit source of world knowledge, or resort to external knowledge bases (KBs) to incorporate additional relevant knowledge. We propose an unsupervised framework based on self-talk as a novel alternative to multiple-choice commonsense tasks. Inspired by inquiry-based discovery learning (Bruner, 1961), our approach inquires language models with a number of information seeking questions such as "$\textit{what is the definition of ...}$" to discover additional background knowledge. Empirical results demonstrate that the self-talk procedure substantially improves the performance of zero-shot language model baselines on four out of six commonsense benchmarks, and competes with models that obtain knowledge from external KBs. While our approach improves performance on several benchmarks, the self-talk induced knowledge even when leading to correct answers is not always seen as useful by human judges, raising interesting questions about the inner-workings of pre-trained language models for commonsense reasoning.

preprint2016arXiv

A brief review of E theory

I begin with some memories of Abdus Salam who was my PhD supervisor. After reviewing the theory of non-linear realisations and Kac-Moody algebras, I explain how to construct the non-linear realisation based on the Kac-Moody algebra E11 and its vector representation. I explain how this field theory leads to dynamical equations which contain an infinite number of fields defined on a space time with an infinite number of coordinates. I then show that these unique dynamical equations, when truncated to low level fields and the usual coordinates of space time, lead to precisely the equations of motion of eleven dimensional supergravity theory. By taking different group decompositions of E11 we find all the maximal supergravity theories, including the gauged maximal supergravities, and as a result the non-linear realisation should be thought of as a unified theory that is the low energy effective action for type II strings and branes. These results essentially confirm the E11 conjecture given many years ago.

preprint2016arXiv

E11 in 11D

We construct the non-linear realisation of the semi-direct product of E11 and its vector representation in eleven dimensions and find the dynamical equations it predicts at low levels. These equations are completely determined by the non-linear realisation and when restricted to contain only the usual fields of supergravity and the usual space-time we find precisely the equations of motion of eleven dimensional supergravity. This paper extends the results announced in arXiv:1512.01644 and in particular it contains the contributions to the equations of motion that involve derivatives with respect to the level one generalised coordinates.

preprint2016arXiv

E11 must be a symmetry of strings and branes

We construct the non-linear realisation of the semi-direct product of E11 and its vector representation in five and eleven dimensions and find the dynamical equations it predicts at low levels. Restricting these results to contain only the usual fields of supergravity and the generalised space-time to be the usual space-time we find the equations of motion of the five and eleven dimensional maximal supergravity theories. Since this non-linear realisation contains effects that are beyond the supergravity approximation and are thought to be present in an underlying theory we conclude that the low energy effective action of string and branes must possess an E11 symmetry.

preprint2015arXiv

E11 and exceptional field theory

We demonstrate that exceptional field theory is a truncation of the non-linear realisation of the semi-direct product of E11 and its first fundamental as proposed in 2003. Evaluating the simple equations of the E11 approach, and using the commutators of the E11 algebra, we find the equations of exceptional field theory after making a radical truncation. This procedure does not respect any of the higher level E11 symmetries and so these are lost. We suggest that the need for the section condition in exceptional field theory could be a consequence of the truncation.

preprint2015arXiv

Gauge fields and infinite chains of dualities

We show that the particle states of Maxwell's theory, in $D$ dimensions, can be represented in an infinite number of ways by using different gauge fields. Using this result we formulate the dynamics in terms of an infinite set of duality relations which are first order in space-time derivatives. We derive a similar result for the three form in eleven dimensions where such a possibility was first observed in the context of E11. We also give an action formulation for some of the gauge fields. In this paper we give a pedagogical account of the Lorentz and gauge covariant formulation of the irreducible representations of the Poincaré group, used previously in higher spin theories, as this plays a key role in our constructions. It is clear that our results can be generalised to any particle.

preprint2014arXiv

Dual gravity and E11

We consider the equation of motion in the gravity sector that arises from the non-linear realisation of the semi-direct product of E11 and its first fundamental representation, denoted by l1, in four dimensions. This equation is first order in derivatives and at low levels relates the usual field of gravity to a dual gravity field. When the generalised space-time is restricted to be the usual four dimensional space-time we show that this equation does correctly describe Einstein's theory at the linearised level. We also comment on previous discussions of dual gravity.

preprint2014arXiv

Generalised Space-time and Gauge Transformations

We consider the generalised space-time introduced by the author in 2003 in the context of the non-linear realisation of the semi-direct product of E11 and its first fundamental representation. For all the fields we propose gauge transformations which are compatible with the underlying E11 structure. A crucial role is played by the generalised vielbein that the generalised space-time possess. We work out the explicit form of the gauge transformations, at low levels, in four, five and eleven dimensions.

preprint2014arXiv

Generalised vielbeins and non-linear realisations

We briefly review why the non-linear realisation of the semi-direct product of a group with one of its representations leads to a field theory defined on a generalised space-time equipped with a generalised vielbein. We give formulae, which only involve matrix multiplication, for the generalised vielbein, the Cartan forms and their transformations. We consider the generalised space-time introduced in 2003 in the context of the non-linear realisation of the semi-direct product of E(11) and its first fundamental representation. For this latter theory we give explicit expressions for the generalised vielbein up to and including the levels associated with the dual graviton in four, five and eleven dimensions and for the IIB theory in ten dimensions. We also compute the generalised vielbein, up to the analogous level, for the non-linear realisation of the semi-direct product of very extended SL(2) with its first fundamental representation, which is a theory associated with gravity in four dimensions.

preprint2014arXiv

Poisson equations, higher derivative automorphic forms and string parameter limits

This paper considers the higher derivative terms in the effective action of type II string theory and in particular the behaviour of the automorphic forms they contain in all the different possible limits of the string parameters. The automorphic forms are thought to obey Poisson equations which contain the Laplacian defined on the coset space to which the scalars fields belong and we compute this Laplacian in all the possible string theory limits. We also consider these Poisson equations in the decompactification limit of a single dimension and by making two assumptions, one on the generic form of this equation and the other on the behaviour of the automorphic forms in this limit, we find strong constraints on the allowed form of this differential equation. We show that these constraints allow one to recover much of what was previously known about the automorphic forms corresponding to terms in the effective action that have fourteen or fewer space-time derivatives in a simple way.

preprint2012arXiv

E11, generalised space-time and equations of motion in four dimensions

We construct the non-linear realisation of the semi-direct product of E11 and its first fundamental representation at low levels in four dimensions. We include the fields for gravity, the scalars and the gauge fields as well as the duals of these fields. The generalised space-time, upon which the fields depend, consists of the usual coordinates of four dimensional space-time and Lorentz scalar coordinates which belong to the 56-dimensional representation of E7. We demand that the equations of motion are first order in derivatives of the generalised space-time and then show that they are essentially uniquely determined by the properties of the E11 Kac-Moody algebra and its first fundamental representation. The two lowest equations correctly describe the equations of motion of the scalars and the gauge fields once one takes the fields to depend only on the usual four dimensional space-time.

preprint2012arXiv

Generalised geometry, eleven dimensions and E11

We construct the non-linear realisation of E11 and its first fundamental representation in eleven dimensions at low levels. The fields depend on the usual coordinates of space-time as well as two form and five form coordinates. We derive the terms in the dynamics that contain the three form and six form fields and show that when we restricted their field dependence to be only on the usual space-time we recover the correct self-duality relation. Should this result generalise to the gravity fields then the non-linear realisation is an extension of the maximal supergravity theory, as previously conjectured. We also comment on the connections between the different approaches to generalised geometry.

preprint2012arXiv

Parameters, limits and higher derivative type II string corrections

String theory in d dimensions has n+1=11-d parameters that may be thought of as being inherited from the geometry of an n+1 torus which may be used to construct the theory using dimensional reduction from eleven dimensions. We give the precise relationship between these parameters and the expectation values of the scalar fields that parameterise the E_{n+1} coset of the d dimensional theory. This allows us to examine all possible limits of the automorphic forms which occur as the coefficient functions of the higher derivative corrections to the d dimensional type II string effective action.

preprint2011arXiv

Duality Invariant Actions and Generalised Geometry

We construct the non-linear realisation of the semi-direct product of E(11) and its first fundamental representation at lowest order and appropriate to spacetime dimensions four to seven. This leads to a non-linear realisation of the duality groups and introduces fields that depend on a generalised space which possess a generalised vielbein. We focus on the part of the generalised space on which the duality groups alone act and construct an invariant action.

preprint2011arXiv

Higher derivative type II string effective actions, automorphic forms and E11

By dimensionally reducing the ten-dimensional higher derivative type IIA string theory effective action we place constraints on the automorphic forms that appear in the effective action in lower dimensions. We propose a number of properties of such automorphic forms and consider the prospects that E11 can play a role in the formulation of the higher derivative string theory effective action.

preprint2010arXiv

Constraints on Automorphic Forms of Higher Derivative Terms from Compactification

By dimensionally reducing the higher derivative corrections of ten-dimensional IIB theory on a torus we deduce constraints on the E_{n+1} automorphic forms that occur in d=10-n dimensions. In particular we argue that these automorphic forms involve the representation of E_{n+1} with fundamental weight λ^{n+1}, which is also the representation to which the string charges in d dimensions belong. We also consider a similar calculation for the reduction of higher derivative terms in eleven-dimensional M-theory.

preprint2010arXiv

E11, generalised space-time and IIA string theory

As advocated in hep-th/0307098 we construct the non-linear realisation of the semi-direct product of E11 and its first fundamental representation at lowest level from the IIA viewpoint. We find a theory that is SO(10,10)x GL(1) invariant and contains the fields of gravity, a two form and a dilaton but which depend on coordinates which belong to the vector representation of SO(10,10). The resulting Lagrangian agrees that of recent work on the so called doubled field theory. However, the construction given in this paper is straightforward and systematic. It also reveals the relevant underlying symmetries and opens the way to include the Ramond-Ramond, and higher level, fields together with additional coordinates of the generalised space-time.

preprint2010arXiv

Generalised space-time and duality

In this paper we consider the previously proposed generalised space-time and investigate the structure of the field theory upon which it is based. In particular, we derive a SO(D,D) formulation of the bosonic string as a non-linear realisation at lowest levels of the semi-direct product of E11 with the first fundamental representation l1. We give a Hamiltonian formulation of this theory and carry out its quantisation. We argue that the choice of representation of the quantum theory breaks the manifest SO(D,D) symmetry but that the symmetry is manifest in a non-commutative field theory. We discuss the implications for the conjectured E11 symmetry and the role of the l1 representation.

preprint2010arXiv

Perturbation Theory From Automorphic Forms

Using our previous construction of Eisenstein-like automorphic forms we derive formulae for the perturbative and non-perturbative parts for any group and representation. The result is written in terms of the weights of the representation and the derivation is largely group theoretical. Specialising to the E_{n+1} groups relevant to type II string theory and the representation associated with node n+1 of the E_{n+1} Dynkin diagram we explicitly find the perturbative part in terms of String Theory variables, such as the string coupling g_d and volume V_n. For dimensions seven and higher we find that the perturbation theory involves only two terms. In six dimensions we construct the SO(5,5) automorphic form using the vector representation. Although these automorphic forms are generally compatible with String Theory, the one relevant to R^4 involves terms with g_d^{-6} and so is problematic. We then study a constrained SO(5,5) automorphic form, obtained by summing over null vectors, and compute its perturbative part. We find that it is consistent with String Theory and makes precise predictions for the perturbative results. We also study the unconstrained automorphic forms for E_6 in the 27 representation and E_7 in the 133 representation, giving their perturbative part and commenting on their role in String Theory.

preprint2008arXiv

E(11)-extended spacetime and gauged supergravities

We formulate all the five dimensional gauged maximal supergravity theories as non-linear realisations of the semi-direct product of E_{11} and a set of generators which transform according to the first fundamental representation l of E_{11}. The latter introduces a generalised space-time which plays a crucial role for these theories. We derive the E_{11} and l transformations of all the form fields and their dynamics. We also formulate the five dimensional gauged supergravity theories using the closure of the supersymmetry algebra. We show that this closes on the bosonic field content predicted by E_{11} and we derive the field transformations and the dynamics of this theory. The results are in precise agreement with those found from the E_{11} formulation. This provides a very detailed check of E_{11} and also the first substantial evidence for the generalised space-time. The results can be generalised to all gauged maximal supergravities, thus providing a unified framework of all these theories as part of E_{11}.

preprint2008arXiv

Real forms of very extended Kac-Moody algebras and theories with eight supersymmetries

We consider all theories with eight supersymmetries whose reduction to three dimensions gives rise to scalars that parametrise symmetric manifolds. We conjecture that these theories are non-linear realisations of very-extended Kac-Moody algebras for suitable choices of real forms. We show for the most interesting cases that the bosonic sector of the supersymmetric theory is precisely reproduced by the corresponding non-linear realisation.

preprint2004arXiv

Kac-Moody Symmetries of Ten-dimensional Non-maximal Supergravity Theories

A description of the bosonic sector of ten-dimensional N=1 supergravity as a non-linear realisation is given. We show that if a suitable extension of this theory were invariant under a Kac-Moody algebra, then this algebra would have to contain a rank eleven Kac-Moody algebra, that can be identified to be a particular real form of very-extended D_8. We also describe the extension of N=1 supergravity coupled to an abelian vector gauge field as a non-linear realisation, and find the Kac-Moody algebra governing the symmetries of this theory to be very-extended B_8. Finally, we discuss the related points for the N=1 supergravity coupled to an arbitrary number of abelian vector gauge fields.

preprint1993arXiv

Parafermions, $W$ Strings and their BRST Charges

We show how to relate the parafermions that occur in the $W_3$ string to the standard construction of parafermions. This result is then used to show that one of the screening charges that occurs in parafermionic theories is precisely the non-trivial part of the $W_3$ string BRST charge. A way of generalizing this pattern for a $W_N$ string is explained. This enables us to construct the full BRST charge for a $W_{2,N}$ string and to prove the relation of such a string to the algebra $W_{N-1}$ for arbitrary $N$, We also show how to calculate part of the BRST charge for a $W_N$ string, and we explain how our method might be extended to obtain the full BRST charge for such a string.

preprint1993arXiv

The covariant scattering and cohomology of $W_3$ strings

A general formalism for covariant $W_3$ string scattering is given. It is found necessary to use screening charges that are constructed from the $W_3$ fields including ghosts. The scattering amplitudes so constructed contain within them Ising model correlation functions and agree with those found previously by the authors. Using the screening charge and a picture changing operator, an infinite number of states in the cohomology of Q are generated from only three states. We conjecture that, apart from discrete states, these are all the states in the cohomology of Q.

preprint1992arXiv

On the spectrum, no ghost theorem and modular invariance of $W_3$ strings

A spectrum generating algebra is constructed and used to find all the physical states of the $W_3$ string with standard ghost number. These states are shown to have positive norm and their partition function is found to involve the Ising model characters corresponding to the weights 0 and 1/16. The theory is found to be modular invariant if , in addition, one includes states that correspond to the Ising character of weight 1/2. It is shown that these additional states are indeed contained in the cohomology of $Q$.