arXiv ScienceSearch

arXiv subjects

Robin Young

Publications and source records attributed to Robin Young.

30 records · Page 2Linked to original sources

If It's Nice, Do It Twice: We Should Try Iterative Corpus Curation

Recent work demonstrates that filtering harmful content from pretraining data improves model safety without degrading capabilities. We propose a natural extension: do it again. A model trained on filtered data can filter the corpus further; training on this cleaner corpus produces an even cleaner model. We provide theoretical analysis showing this process converges to a self-consistent corpus where the model trained on it approves of its own training data. Even under the weak assumption of constant filter quality, iteration yields decay in harmful content. We argue this framework offers a novel form of scalable oversight. While model internals are opaque, the resulting corpus is human-auditable. Even a single iteration produces a large-scale preference annotations over documents, potentially valuable for interpretability research. We derive bounds on capability-safety tradeoffs and outline open questions. We call on researchers with pretraining infrastructure to empirically test this approach.

cs.AI

A Convergent Front Tracking Scheme

We present a modified Front Tracking (mFT) scheme for hyperbolic systems of conservation laws in one space dimension, in which we allow arbitrarily large nonlinear waves. We build the scheme by introducing and solving a ``generalized Riemann Problem'', which yields exact solutions for finite times. This allows us to treat the states adjacent to all waves exactly, and approximate compressive simple waves in addition to rarefactions, contacts and shocks. In particular, we require exact expression of the various wave curves and avoid the use of Taylor expansions. After construction of the scheme, under reasonable assumptions, we show that the mFT approximations converge to a weak* solution of the system. This essentially reduces existence of solutions with large amplitude data to obtaining uniform bounds on the total variation of the approximations. We then apply the scheme to the Euler equations of gas dynamics, for which we exactly solve the generalized Riemann Problem and define the scheme for both 3x3 and 2x2 systems, and prove the equivalence of Eulerian and Lagrangian frames. For the $p$-system, modeling isentropic gas dynamics in a Lagrangian frame, we show that there is no finite accumulation of interaction times. This means that the last remaining obstacle to global existence of large data, large amplitude solutions is the construction of a decreasing Glimm potential.

math.AP

Time-periodic solutions of the compressible Euler equations and the Nonlinear Theory of Sound

We prove the existence of ``pure tone'' nonlinear sound waves of all frequencies. These are smooth, time periodic, oscillatory solutions of the $3\times3$ compressible Euler equations satisfying periodic or acoustic boundary conditions in one space dimension. This resolves a centuries old problem in the theory of Acoustics, by establishing that the pure modes of the linearized equations are the small amplitude limits of solutions of the nonlinear equations. Riemann's celebrated 1860 proof that compressions always form shocks is known to hold for isentropic and barotropic flows, but our proof shows that for generic entropy profiles, shock-free periodic solutions containing nontrivial compressions and rarefactions exist for every wavenumber $k$.

math.AP

The Nonlinear Theory of Sound

We prove the existence of ``pure tone'' nonlinear sound waves of all frequencies. These are smooth, space and time periodic, oscillatory solutions of the $3\times3$ compressible Euler equations in one space dimension. Being perturbations of solutions of a linear wave equation, they provide a rigorous justification for the centuries old theory of Acoustics. In particular, Riemann's celebrated 1860 proof that compressions always form shocks holds for isentropic and barotropic flows, but for generic entropy profiles, shock-free periodic solutions containing nontrivial compressions and rarefactions exist for every wavenumber $k$.

math.AP

Inversion of a Non-uniform Difference Operator

The problem of applying Nash-Moser Newton methods to obtain periodic solutions of the compressible Euler equations has led authors to identify the main obstacle, namely, how to invert operators which impose periodicity when they are based on non-uniform shift operators. Here we begin a theory for finding the inverses of such operators by proving that a scalar non-uniform difference operator does in fact have a bounded inverse on its range. We argue that this is the simplest example which demonstrates the need to use direct rather than Fourier methods to analyze inverses of linear operators involving nonuniform shifts.

math.AP

Weak* Solutions II: The Vacuum in Lagrangian Gas Dynamics

We develop a framework in which to make sense of solutions containing the vacuum in Lagrangian gas dynamics. At and near vacuum, the specific volume becomes infinite and enclosed vacuums are represented by Dirac masses, so they cannot be treated in the usual weak sense. However, the weak* solutions recently introduced by the authors can be extended to include solutions containing vacuums. We present a definition of these natural vacuum solutions and provide explicit examples which demonstrate some of their features. Our examples are isentropic for clarity, and we briefly discuss the extension to the full $3\times3$ system of gas dynamics. We also extend our methods to one-dimensional dynamic elasticity to show that fractures cannot form in an entropy solution.

math.AP

Weak* solutions I: A new perspective on solutions to systems of conservation laws

We introduce a new notion of solution, which we call weak* solutions, for systems of conservation laws. These solutions can be used to handle singular situations that standard weak solutions cannot, such as vacuums in Lagrangian gas dynamics or cavities in elasticity. Our framework allows us to treat the systems as ODEs in Banach space. Starting with the observation that solutions act linearly on test functions $\alpha\in X$, we require solutions to take values in the dual space $X^*$ of $X$. Moreover, we weaken the usual requirement of measurability of solutions. In order to do this, we develop the calculus of the Gelfand integral, which is appropriate for weak* measurable functions. We then use the Gelfand calculus to define weak* solutions, and show that they are stronger than the usual notion of weak solution, although for $BV$ solutions the notions are equivalent. It is expected that these solutions will also shed light on vexing issues of ill-posedness for multi-dimensional systems.

math.AP

Cellulose Biodegradation Models; An Example of Cooperative Interactions in Structured Populations

We introduce various models for cellulose bio-degradation by micro-organisms. Those models rely on complex chemical mechanisms, involve the structure of the cellulose chains and are allowed to depend on the phenotypical traits of the population of micro-organisms. We then use the corresponding models in the context of multiple-trait populations. This leads to classical, logistic type, reproduction rates limiting the growth of large populations but also, and more surprisingly, limiting the growth of populations which are too small in a manner similar to the effects seen in populations requiring cooperative interactions (or sexual reproduction). This study hence offers a striking example of how some mechanisms resembling cooperation can occur in structured biological populations, even in the absence of any actual cooperation.

math.DS

Shock formation in the compressible Euler equations and related systems

We prove shock formation results for the compressible Euler equations and related systems of conservation laws in one space dimension, or three dimensions with spherical symmetry. We establish an $L^\infty$ bound for $C^1$ solutions of the one-D Euler equations, and use this to improve recent shock formation results of the authors. We prove analogous shock formation results for one-D MHD with orthogonal magnetic field, and for compressible flow in a variable area duct, which has as a special case spherically symmetric three dimensional flow on the exterior of a ball

math.AP

Shock-free Solutions of the Compressible Euler Equations

We study the structure of shock-free solutions of the compressible Euler equations with large data. We describe conditions under which the Rarefactive/Compressive character of solutions changes, and conditions under which the vacuum is formed asymptotically. We present several new examples of shock-free solutions, which demonstrate a large variety of behaviors.

math.AP

The Vacuum in Nonisentropic Gas Dynamics

We investigate the vacuum in nonisentropic gas dynamics in one space variable, with the most general equation of states allowed by thermodynamics. We recall physical constraints on the equations of state and give explicit and easily checkable conditions under which vacuums occur in the solution of the Riemann problem. We then present a class of models for which the Riemann problem admits unique global solutions without vacuums.

math.AP

Smooth solutions and singularity formation for the inhomogeneous nonlinear wave equation

We study the nonlinear inhomogeneous wave equation in one space dimension: $v_{tt} - T(v,x)_{xx} = 0$. By constructing some "decoupled" Riccati type equations for smooth solutions, we provide a singularity formation result without restrictions on the total variation of unknown, which generalize earlier singularity results of Lax and the first author. These results are applied to several one-dimensional hyperbolic models, such as compressible Euler flows with a general pressure law, elasticity in an inhomogeneous medium, transverse MHD flow, and compressible flow in a variable area duct.

math.AP