SearcharxivSearch

arXiv subjects

Ryosuke Takahashi

Publications and source records attributed to Ryosuke Takahashi.

At least 19 recordsLinked to original sources

It's Not RoPE that Creates Sinks: The Role of Self-Concentration and Value-Non-Mixing in Attention

Large Language Models (LLMs) often exhibit "Attention Sink" (AS) and the accompanying "Massive Activations" (MAs) at the initial position of a sequence. These phenomena frequently co-occur, and MAs can pose challenges for low-bit quantization. In this study, we analyze the factors underlying AS and MAs that emerge at the initial position regardless of the token occupying it. Our experiments suggest that self-concentration of attention, resulting from the causal mask, and the subsequent Value-non-mixing in attention outputs contribute to AS and MAs. These findings provide new empirical evidence on the internal dynamics of LLMs, offering insights that may inform future quantization strategies and advance our understanding of the internal mechanisms of attention layers.

cs.CL

Language Models Compare Quantities Using Number-specific and Unit-specific Heuristics

Quantities with measurement units, such as 110 cm and 1.2 m, require language models (LMs) to combine a numeral with a symbolic unit scale. Here, we study how LMs compare such quantities in controlled settings spanning several unit systems. We find that accuracy degrades near the comparison boundary, where small changes in value determine the correct answer. The resulting errors are systematic: linear surrogate models predict LM preferences from numerical-difference and unit-scale-difference cues, and causal interventions on subspaces aligned with these variables shift model's output. The results suggest that LMs compare quantities through a bag of heuristics over numerals and units, rather than first converting both expressions to an exact shared-scale representation.

cs.CL

On the modified $J$-equation

In this paper, we study the modified $J$-equation introduced by Li-Shi. We first show that, on compact Kähler manifolds, the solvability of the modified $J$-equation is equivalent to the coercivity of the modified $J$-functional. Motivated by this characterization, we formulate a Nakai-Moishezon type criterion for the existence of solutions to the modified $J$-equation on general compact Kähler manifolds. We then verify this conjectural criterion in the case of smooth projective toric varieties. This extends the work of Collins-Székelyhidi and provides further evidence for the expected algebro-geometric nature of the modified $J$-equation. As a potential application, we combine our results with Delcroix-Jubert. Assuming our conjectural Nakai-Moishezon type criterion holds in general, we obtain a numerical sufficient condition for the existence of extremal Kähler metrics on arbitrary compact Kähler manifolds.

math.DG

Reconsidering Positional Supervision in Masked Diffusion Language Model Training

Masked diffusion language models (MDLMs) generate text by unmasking tokens in parallel and have recently emerged as alternatives to autoregressive language models. They can be viewed as parallel decoders trained with a position-wise cross-entropy (CE) loss, the same setup as non-autoregressive translation (NAT). In NAT, CE-trained parallel decoders have been argued to be sensitive to small positional shifts, since CE penalizes them harshly. We ask whether CE-trained MDLMs are similarly sensitive to such shifts under iterative decoding. To probe this, we apply a controlled intervention that introduces them during decoding. On LLaDA-8B-Instruct with Arena-Hard, displacing as little as 1% of generated tokens by one position substantially reduces win rates against the unintervened model, showing that MDLMs are sensitive to such small shifts under iterative parallel decoding. Motivated by this, we adapt connectionist temporal classification (CTC), an alignment-flexible objective known to mitigate it there, to MDLM supervised fine-tuning. By relaxing the strict position-wise match that CE imposes, CTC gives the loss room to absorb small positional shifts; concretely, we modified CTC objective to use a special token that absorbs positional uncertainty between target tokens and output positions, and a updated collapse map that preserves target surface forms. Across four open-ended generation benchmarks, the resulting model consistently improves over both the original model and a matched cross-entropy-trained baseline, with statistically significant gains on all four. These results identify training-side alignment flexibility as a useful design dimension for MDLM SFT, complementary to the inference-time approaches explored in prior work.

cs.CL

Suppressing Final Layer Hidden State Jumps in Transformer Pretraining

This paper discusses the internal behavior of Transformer language models. Many recent pre-trained models have been reported to exhibit only slight changes in the angular distance between the input and output hidden state vectors in the middle Transformer layers, despite a disproportionately large ``jump'' in the angular distance occurring in or around the final Transformer layer. To characterize this, we first introduce a quantitative metric for the jump strength around the final layer, and then demonstrate its prevalence across many open-weight models, as well as its amplification throughout pre-training. Assuming such jumps indicate an undesirable property, we propose the jump-suppressing regularizer (JREG) which penalizes this jump during pre-training, thereby encouraging more balanced capability usage across the middle layers. Empirical evaluations of three model sizes of Llama-based models, trained with the proposed JREG method, reveal improved task performance compared to the baseline without altering the model architecture.

cs.CL

An index theorem for Z/2-harmonic spinors branching along a graph

We prove an index formula for the Dirac operator acting on two-valued spinors on a $3$-manifold $M$ which branch along a smoothly embedded graph $Σ\subset M$, and with respect to a boundary condition along $Σ$ inspired by an instance of this setting related to the deformation theory of $\mathbb Z_2$-harmonic spinors. When $Σ$ is a smooth embedded curve, this index vanishes; this was proved earlier by one of us, but the proof here is different and extends to the more general setting where $Σ$ also has vertices. We focus primarily on the Dirac operator itself, but also show how our results apply to more general twisted Dirac operators and to the closely related $\mathbb Z_2$ harmonic $1$-forms.

math.DG

Can Language Models Handle a Non-Gregorian Calendar? The Case of the Japanese wareki

Temporal reasoning and knowledge are essential capabilities for language models (LMs). While much prior work has analyzed and improved temporal reasoning in LMs, most studies have focused solely on the Gregorian calendar. However, many non-Gregorian systems, such as the Japanese, Hijri, and Hebrew calendars, are in active use and reflect culturally grounded conceptions of time. If and how well current LMs can accurately handle such non-Gregorian calendars has not been evaluated so far. Here, we present a systematic evaluation of how well language models handle one such non-Gregorian system: the Japanese wareki. We create datasets that require temporal knowledge and reasoning in using wareki dates. Evaluating open and closed LMs, we find that some models can perform calendar conversions, but GPT-4o, Deepseek V3, and even Japanese-centric models struggle with Japanese calendar arithmetic and knowledge involving wareki dates. Error analysis suggests corpus frequency of Japanese calendar expressions and a Gregorian bias in the model's knowledge as possible explanations. Our results show the importance of developing LMs that are better equipped for culture-specific tasks such as calendar understanding.

cs.CL

Collapsing of $ALH^*$-Gravitational Instantons

We showed that a sequence of ALH*-gravitational instantons from pairs consisting of a weak del Pezzo surface and a smooth anti-canonical divisor towards a large complex structure limit introduced by Collins, Jacobs and the first author collapsing to a punctured plane with a special Kahler metric, which can be viewed as a non-compact version of the collapsing result of Gross-Wilson. We provide a partial compactification of the moduli space of pointed ALH*-gravitational instantons with respect to the pointed Gromov-Hausdorff topology and locally is a polyhedron complex.

math.DG

Layerwise Importance Analysis of Feed-Forward Networks in Transformer-based Language Models

This study investigates the layerwise importance of feed-forward networks (FFNs) in Transformer-based language models during pretraining. We introduce an experimental approach that, while maintaining the total parameter count, increases the FFN dimensions in some layers and completely removes the FFNs from other layers. Furthermore, since our focus is on the importance of FFNs during pretraining, we train models from scratch to examine whether the importance of FFNs varies depending on their layer positions, rather than using publicly available pretrained models as is frequently done. Through comprehensive evaluations of models with varying sizes (285M, 570M, and 1.2B parameters) and layer counts (12, 24, and 40 layers), we demonstrate that concentrating FFNs in 70% of the consecutive middle layers consistently outperforms standard configurations for multiple downstream tasks.

cs.CL

TopK Language Models

Sparse autoencoders (SAEs) have become an important tool for analyzing and interpreting the activation space of transformer-based language models (LMs). However, SAEs suffer several shortcomings that diminish their utility and internal validity. Since SAEs are trained post-hoc, it is unclear if the failure to discover a particular concept is a failure on the SAE's side or due to the underlying LM not representing this concept. This problem is exacerbated by training conditions and architecture choices affecting which features an SAE learns. When tracing how LMs learn concepts during training, the lack of feature stability also makes it difficult to compare SAEs features across different checkpoints. To address these limitations, we introduce a modification to the transformer architecture that incorporates a TopK activation function at chosen layers, making the model's hidden states equivalent to the latent features of a TopK SAE. This approach eliminates the need for post-hoc training while providing interpretability comparable to SAEs. The resulting TopK LMs offer a favorable trade-off between model size, computational efficiency, and interpretability. Despite this simple architectural change, TopK LMs maintain their original capabilities while providing robust interpretability benefits. Our experiments demonstrate that the sparse representations learned by TopK LMs enable successful steering through targeted neuron interventions and facilitate detailed analysis of neuron formation processes across checkpoints and layers. These features make TopK LMs stable and reliable tools for understanding how language models learn and represent concepts, which we believe will significantly advance future research on model interpretability and controllability.

cs.CL

New examples of Z/2 harmonic 1-forms and their deformations

We collect a number of elementary constructions of $\Z_2$ harmonic $1$-forms, and of families of these objects. These examples show that the branching set $Σ$ of a $\Z_2$ harmonic 1-form may exhibit the following features: i) $Σ$ may be a non-trivial link; ii) $Σ$ may be a multiple cover; iii) $Σ$ may be immersed, and appear as a limit of smoothly embedded branching loci; iv) there are families of $\Z_2$ harmonic $1$-forms whose branching sets $Σ$ have tangent cones filling out a positive dimensional space, even modulo isometries. We show that Features i) and ii) occur already in dimension three, while the remaining ones appear at least in dimension four and higher.

math.DG

The Curse of Popularity: Popular Entities have Catastrophic Side Effects when Deleting Knowledge from Language Models

Language models (LMs) encode world knowledge in their internal parameters through training. However, LMs may learn personal and confidential information from the training data, leading to privacy concerns such as data leakage. Therefore, research on knowledge deletion from LMs is essential. This study focuses on the knowledge stored in LMs and analyzes the relationship between the side effects of knowledge deletion and the entities related to the knowledge. Our findings reveal that deleting knowledge related to popular entities can have catastrophic side effects. Furthermore, this research is the first to analyze knowledge deletion in models trained on synthetic knowledge graphs, indicating a new direction for controlled experiments.

cs.CL

$J$-equation on holomorphic vector bundles

We introduce the $J$-equation on holomorphic vector bundles over compact Kähler manifolds and investigate some fundamental properties as well as examples of solutions. In particular, we provide an algebraic condition called (asymptotic) $J$-stability in terms of subbundles on compact Kähler surfaces, and a numerical criterion on vortex bundles via dimensional reduction. Also, we discuss an application for the vector bundle version of the deformed Hermitian-Yang-Mills equation in the small volume regime.

math.DG

A Nakai-Moishezon type criterion for supercritical deformed Hermitian-Yang-Mills equation

The deformed Hermitian-Yang-Mills equation is a complex Hessian equation on compact Kähler manifolds that corresponds to the special Lagrangian equation in the context of the Strominger-Yau-Zaslow mirror symmetry. Recently, Chen proved that the existence of the solution is equivalent to a uniform stability condition in terms of holomorphic intersection numbers along test families. In this paper, we establish an analogous stability result not involving a uniform constant in accordance with a recent work on the $J$-equation by Song, which makes further progress toward Collins-Jacob-Yau's original conjecture in the supercritical phase case. In particular, we confirm this conjecture for projective manifolds in the supercritical phase case.

math.DG

Collapsing of the line bundle mean curvature flow on Kähler surfaces

We study the line bundle mean curvature flow on Kähler surfaces under the hypercritical phase and a certain semipositivity condition. We naturally encounter such a condition when considering the blowup of Kähler surfaces. We show that the flow converges smoothly to a singular solution to the deformed Hermitian-Yang-Mills equation away from a finite number of curves of negative self-intersection on the surface. As an application, we obtain a lower bound of a Kempf-Ness type functional on the space of potential functions satisfying the hypercritical phase condition.

math.DG

Tan-concavity property for Lagrangian phase operators and applications to the tangent Lagrangian phase flow

We explore the tan-concavity of the Lagrangian phase operator for the study of the deformed Hermitian Yang-Mills (dHYM) metrics. This new property compensates for the lack of concavity of the Lagrangian phase operator as long as the metric is almost calibrated. As an application, we introduce the tangent Lagrangian phase flow (TLPF) on the space of almost calibrated $(1,1)$-forms that fits into the GIT framework for dHYM metrics recently discovered by Collins-Yau. The TLPF has some special properties that are not seen for the line bundle mean curvature flow (i.e. the mirror of the Lagrangian mean curvature flow for graphs). We show that the TLPF starting from any initial data exists for all positive time. Moreover, we show that the TLPF converges smoothly to a dHYM metric assuming the existence of a $C$-subsolution, which gives a new proof for the existence of dHYM metrics in the highest branch.

math.DG

The moduli space of $S^1$-type zero loci for $\mathbb{Z}/2$-harmonic spinors in dimension 3

Let $M$ be a compact oriented 3-dimensional smooth manifold. In this paper, we construct a moduli space consisting of pairs $(Σ, ψ)$ where $Σ$ is a $C^1$-embedding simple closed curve in $M$, $ψ$ is a $\mathbb{Z}/2$-harmonic spinor vanishing only on $Σ$, and $\|ψ\|_{L^2_1}\neq 0$. We prove that when $Σ$ is $C^2$, a neighborhood of $(Σ, ψ)$ in the moduli space can be parametrized by the space of Riemannian metrics on $M$ locally as the kernel of a Fredholm operator.

math.DG

Geometric quantization of coupled Kähler-Einstein metrics

We study the quantization of coupled Kähler-Einstein (CKE) metrics, namely we approximate CKE metrics by means of the canonical Bergman metrics, so called the ``balanced metrics''. We prove the existence and weak convergence of balanced metrics for the negative first Chern class, while for the positive first Chern class, we introduce some algebro-geometric obstruction which interpolates between the Donaldson-Futaki invariant and Chow weight. Then we show the existence and weak convergence of balanced metrics on CKE manifolds under the vanishing of this obstruction. Moreover, restricted to the case when the automorphism group is discrete, we also discuss approximate solutions and a gradient flow method towards the smooth convergence.

math.DG