arXiv ScienceSearch

arXiv subjects

Daniel Goldstein

Publications and source records attributed to Daniel Goldstein.

At least 19 recordsLinked to original sources

Key-Value Means: Transformers with Expandable Block-Recurrent Compressed Memory

Recall presents a difficult choice: transformers have a linearly growing memory that slows each successive token, while linear RNNs typically have fixed costs but limited recall. We present Key-Value Means ("KVM"), a novel block-recurrence for attention that can accommodate either fixed-size or growing state. Equipping a strong transformer baseline with fixed-size KVM attention layers yields a strong $O(N)$ chunked RNN, while adding only an insignificant number of new parameters. We train a transformer with a growable KVM cache and show it performs competitively on long-context tests with only subquadratic prefill time and sublinear state growth. KVM is implementable with standard operations and without custom kernels, and supports chunk-wise parallelizable training and prefill. It provides many of the benefits of both traditional transformers (expandable context memory, chunk-wise parallelizable training and prefill) and RNNs in a single unified package. It can be used on every layer, saving KV-cache memory, and allowing a continuous range of choices of prefill time complexity between $O(N)$ and $O(N^2)$. We release our code at https://github.com/featherless-ai/KVM-paper and trained models at https://huggingface.co/collections/featherless-ai/kvm-paper under the Apache 2.0 license.

cs.LG

Population-scale Ancestral Recombination Graphs with tskit 1.0

Ancestral recombination graphs (ARGs) are an increasingly important component of population and statistical genetics. The tskit library has become key infrastructure for the field, providing an expressive and general representation of ARGs together with a suite of efficient fundamental operations. In this note, we announce tskit version 1.0, describe its underlying rationale, and document its stability guarantees. These guarantees provide a foundation for durable computational artefacts and support long-term reproducibility of code and analyses.

q-bio.PE

Matrix-Driven Identification and Reconstruction of LLM Weight Homology

We propose Matrix-Driven Identification and Reconstruction (MDIR), a SOTA large language model homology method that accurately detects weight correspondences between models and provides rigorous $p$-value estimation of the statistical significance of these correspondences. Our method does not require model inference, and allows the detection of unattributed reuse or replication of model weights even on low-resource devices as it compares only a single pair of matrices at a time. We leverage matrix analysis, polar decomposition, and Large Deviation Theory (LDT) to achieve accurate reconstruction of weight relationships between models. Notably, MDIR is the first method to achieve perfect scores on both Area-Under-Curve (AUC) and accuracy metrics across different source models on LeaFBench.

cs.CL

RADLADS: Rapid Attention Distillation to Linear Attention Decoders at Scale

We present Rapid Attention Distillation to Linear Attention Decoders at Scale (RADLADS), a protocol for rapidly converting softmax attention transformers into linear attention decoder models, along with two new RWKV-variant architectures, and models converted from popular Qwen2.5 open source models in 7B, 32B, and 72B sizes. Our conversion process requires only 350-700M tokens, less than 0.005% of the token count used to train the original teacher models. Converting to our 72B linear attention model costs less than \$2,000 USD at today's prices, yet quality at inference remains close to the original transformer. These models achieve state-of-the-art downstream performance across a set of standard benchmarks for linear attention models of their size. We release all our models on HuggingFace under the Apache 2.0 license, with the exception of our 72B models which are also governed by the Qwen License Agreement. Models at https://huggingface.co/collections/recursal/radlads-6818ee69e99e729ba8a87102 Training Code at https://github.com/recursal/RADLADS-paper

cs.CL

RWKV-7 "Goose" with Expressive Dynamic State Evolution

We present RWKV-7 "Goose", a new sequence modeling architecture with constant memory usage and constant inference time per token. Despite being trained on dramatically fewer tokens than other top models, our 2.9 billion parameter language model achieves a new 3B SoTA on multilingual tasks and matches the current 3B SoTA on English language downstream performance. RWKV-7 introduces a newly generalized formulation of the delta rule with vector-valued gating and in-context learning rates, as well as a relaxed value replacement rule. We show that RWKV-7 can perform state tracking and recognize all regular languages, while retaining parallelizability of training. This exceeds the capabilities of Transformers under standard complexity conjectures, which are limited to $\mathsf{TC}^0$. To demonstrate RWKV-7's language modeling capability, we also present an extended open source 3.1 trillion token multilingual corpus, and train four RWKV-7 models ranging from 0.19 billion to 2.9 billion parameters on this dataset. To foster openness, reproduction, and adoption, we release our models and dataset component listing at https://huggingface.co/RWKV, and our training and inference code at https://github.com/RWKV/RWKV-LM all under the Apache 2.0 License.

cs.CL

GoldFinch: High Performance RWKV/Transformer Hybrid with Linear Pre-Fill and Extreme KV-Cache Compression

We introduce GoldFinch, a hybrid Linear Attention/Transformer sequence model that uses a new technique to efficiently generate a highly compressed and reusable KV-Cache in linear time and space with respect to sequence length. GoldFinch stacks our new GOLD transformer on top of an enhanced version of the Finch (RWKV-6) architecture. We train up to 1.5B parameter class models of the Finch, Llama, and GoldFinch architectures, and find dramatically improved modeling performance relative to both Finch and Llama. Our cache size savings increase linearly with model layer count, ranging from 756-2550 times smaller than the traditional transformer cache for common sizes, enabling inference of extremely large context lengths even on limited hardware. Although autoregressive generation has O(n) time complexity per token because of attention, pre-fill computation of the entire initial cache state for a submitted context costs only O(1) time per token due to the use of a recurrent neural network (RNN) to generate this cache. We release our trained weights and training code under the Apache 2.0 license for community use.

cs.CL

Eagle and Finch: RWKV with Matrix-Valued States and Dynamic Recurrence

We present Eagle (RWKV-5) and Finch (RWKV-6), sequence models improving upon the RWKV (RWKV-4) architecture. Our architectural design advancements include multi-headed matrix-valued states and a dynamic recurrence mechanism that improve expressivity while maintaining the inference efficiency characteristics of RNNs. We introduce a new multilingual corpus with 1.12 trillion tokens and a fast tokenizer based on greedy matching for enhanced multilinguality. We trained four Eagle models, ranging from 0.46 to 7.5 billion parameters, and two Finch models with 1.6 and 3.1 billion parameters and find that they achieve competitive performance across a wide variety of benchmarks. We release all our models on HuggingFace under the Apache 2.0 license. Models at: https://huggingface.co/RWKV Training code at: https://github.com/RWKV/RWKV-LM Inference code at: https://github.com/RWKV/ChatRWKV Time-parallel training code at: https://github.com/RWKV/RWKV-infctx-trainer

cs.CL

Morpho -- A programmable environment for shape optimization and shapeshifting problems

An emerging theme across many domains of science and engineering is materials that change shape, often dramatically. Determining their structure involves solving a shape optimization problem where a given energy functional is minimized with respect to the shape of the domain and auxiliary fields describing the structure. Such problems are very challenging to solve and there is a lack of suitable simulation tools that are both readily accessible and general purpose. To address this gap, we present Morpho, an open-source programmable environment, and demonstrate its versatility by showcasing three applications to different areas of soft matter - swelling hydrogels, complex fluids that form aspherical droplets, to soap films and membranes - and advise on broader uses.

cond-mat.soft

Sliding across a surface: particles with fixed and mobile ligands

A quantitative model of the mobility of functionalized particles at the interface is pivotal to understanding important systems in biology and nanotechnology. In this work, we investigate the emerging dynamics of particles anchored through ligand-receptor bridges to functionalized surfaces. We consider systems with reversible bridges in which ligand-receptor pairs bind/unbind with finite reaction rates. For a given set of bridges, the particle can explore a tiny fraction of the surface as the extensivity of the bridges is finite. We show how at time scales longer than the bridges' lifetime, the averaged position of the particle diffuses away from its initial value. We distill our findings into two analytic equations for the sliding diffusion constant of particles carrying mobile and fixed ligands. We quantitatively validate our theoretical predictions using reaction-diffusion simulations. Our results, along with recent literature, will allow inferring the microscopic parameters at play in complex biological systems from experimental trajectories.

cond-mat.soft

The Zwicky Transient Facility Census of the Local Universe I: Systematic search for Calcium rich gap transients reveal three related spectroscopic sub-classes

(Abridged) Using the Zwicky Transient Facility alert stream, we are conducting a large campaign to spectroscopically classify all transients occurring in galaxies in the Census of the Local Universe (CLU) catalog. The aim of the experiment is to construct a spectroscopically complete, volume-limited sample of transients coincident within 100" of CLU galaxies out to 200 Mpc, and to a depth of 20 mag. We describe the survey design and spectroscopic completeness from the first 16 months of operations. We present results from a systematic search for Calcium rich gap transients in the sample of 22 low luminosity (peak absolute magnitude $M > -17$), hydrogen poor events found in the experiment (out of 754 spectroscopically classified SNe). We report the detection of eight Calcium rich gap transients, and constrain their volumetric rate to be at least $\approx 15\pm5$% of the SN Ia rate. Combining this sample with ten events from the literature, we find a likely continuum of spectroscopic properties ranging from events with SN Ia-like features (Ca-Ia objects) to SN Ib/c-like features (Ca-Ib/c objects) at peak light. Within the Ca-Ib/c events, we find two populations of events distinguished by their red ($g - r \approx 1.5$ mag) or green ($g - r \approx 0.5$ mag) spectral colors at $r$-band peak, wherein redder events show strong line blanketing signatures, slower light curves, weaker He lines and lower [Ca II]/[O I] in the nebular phase. Together, we find that the spectroscopic continuum, volumetric rates and striking old environments are consistent with the explosive burning of He shells on low mass white dwarfs. We posit that Ca-Ia and red Ca-Ib/c objects are consistent with the double detonation of He shells with high He burning efficiency, while green Ca-Ib/c objects could arise from less efficient He burning scenarios such as detonations in low density He shells or He shell deflagrations.

astro-ph.HE

Stress Fluctuations in Transient Active Networks

Inspired by experiments on dynamic extensile gels of biofilaments and motors, we propose a model of a network of linear springs with a kinetics consisting of growth at a prescribed rate, death after a lifetime drawn from a distribution, and birth at a randomly chosen node. The model captures features such as the build-up of self-stress, that are not easily incorporated into hydrodynamic theories. We study the model numerically and show that our observations can largely be understood through a stochastic effective-medium model. The resulting dynamically extending force-dipole network displays many features of yielded plastic solids, and offers a way to incorporate strongly non-affine effects into theories of active solids. A rather distinctive form for the stress distribution, and a Herschel-Bulkley dependence of stress on activity, are our major predictions.

cond-mat.soft

Norms in Central Simple Algebras

Let A be a central simple algebra central over a number field K whose ring of integers is R. An outlier is an element r of R so that: r is a reduced norm of an element of A, but not the norm of an algebraic integer in A. We study properties and distribution of outliers. We end with a structure theorem about products of super singular elliptic curves over GF(p).

math.NT

Discovery and Physical Characterization of a Large Scattered Disk Object at 92 AU

We report the observation and physical characterization of the possible dwarf planet \UZ\ ("DeeDee"), a dynamically detached trans-Neptunian object discovered at 92 AU. This object is currently the second-most distant known trans-Neptunian object with reported orbital elements, surpassed in distance only by the dwarf planet Eris. The object was discovered with an $r$-band magnitude of 23.0 in data collected by the Dark Energy Survey between 2014 and 2016. Its 1140-year orbit has $(a,e,i) = (109~\mathrm{AU}, 0.65, 26.8^{\circ})$. It will reach its perihelion distance of 38 AU in the year 2142. Integrations of its orbit show it to be dynamically stable on Gyr timescales, with only weak interactions with Neptune. We have performed followup observations with ALMA, using 3 hours of on-source integration time to measure the object's thermal emission in the Rayleigh-Jeans tail. The signal is detected at 7$\sigma$ significance, from which we determine a $V$-band albedo of $13.1^{+3.3}_{-2.4}\mathrm{(stat)}^{+2.0}_{-1.4}\mathrm{(sys)}$ percent and a diameter of $635^{+57}_{-61}\mathrm{(stat)}^{+32}_{-39}\mathrm{(sys)}$~km, assuming a spherical body with uniform surface properties.

astro-ph.EP

A lower bound for the dimension of a highest weight module

For each integer $t>0$ and each complex simple Lie algebra $\mathfrak{g}$, we determine the least dimension of an irreducible highest weight representation of $\mathfrak{g}$ whose highest weight has height $t$. As a corollary, we classify all irreducible modules whose dimension equals a product of two primes.

math.RT

Synchronization Patterns in Geometrically Frustrated Turing Rings

Coupled nonlinear oscillators can exhibit a wide variety of patterns. We study the Brusselator as a prototypical autocatalytic reaction diffusion model. Working in the limit of strong nonlinearity provides a clear timescale separation that leads to a canard explosion in a single Brusselator. In this highly nonlinear regime it is numerically found that rings of coupled Brusselators do not follow the predictions from Turning analysis. We find that the behavior can be explained using a piecewise linear approximation.

nlin.PS

On the Steinhaus tiling problem in three dimensions

H. Steinhaus asked in the 1950's whether there exists a set in the plane R^2 meeting every isometric copy of Z^2 in precisely one point. Such a "Steinhaus set" was constructed by Jackson and Mauldin. What about three-space R^3? Is there a subset of R^3 meeting every isometric copy of Z^3 in exactly one point? We offer heuristic evidence that the answer is "no".

math.CA

Cosets of Sylow p-subgroups and a Question of Richard Taylor

We prove that for any prime p there exist infinitely many finite simple groups G with a coset xP of a Sylow p-subgroup P of G such that every element of xP has order divisible by p. John Thompson proved this for p=2 in 1967 answering a question of Lowell Paige. This result is used to answer a question of Richard Taylor on adequate representations.

math.GR

Certain subgroups of Weyl groups are split

Let C be the centralizer in a finite Weyl group of an elementary abelian 2-subgroup. We show that every complex representation of C can be realized over the field of rational numbers. The same holds for a Sylow 2-subgroup of C.

math.RT