Searcharxiv⌕ Search

arXiv subjects

Masayuki Kawakita

Publications and source records attributed to Masayuki Kawakita.

18 recordsLinked to original sources

LLMail-Inject: A Dataset from a Realistic Adaptive Prompt Injection Challenge

Indirect prompt injection attacks exploit a fundamental weakness of LLMs: executing unauthorized tasks from untrusted sources. Despite the practical significance of this attack vector, existing benchmarks rely on small sets of template-based attacks (100-1,000 examples) that fail to capture the diversity and adaptiveness of real-world adversaries. Consequently, benchmarks are saturated and overfit to static attacks. We introduce LLMail-Inject, a large-scale benchmark of 208,095 distinct human-written attack prompts collected through a public red-teaming challenge with 839 participants. LLMail-Inject evaluates the attack's complete chain of execution: prompts must be retrieved from an email database, evade production-level defenses, and trigger unauthorized tool calls with correct arguments. Evaluation reveals that models that achieve 5% attack success rate (ASR) on existing benchmarks fail more on LLMail-Inject: Meta SecAlign--specifically trained against prompt injection--still yields 32% ASR, GPT-4o exhibits 58% ASR, and GPT-5 mini 47% ASR. We further demonstrate that attacks transfer across domains, achieving 37% ASR on proof-of-concept coding tasks and 28-45% ASR on file management tasks. We release our challenge platform and curated evaluation subsets at multiple difficulty tiers and the full dataset with rich annotations.

cs.CR↗

Minimal log discrepancies on smooth threefolds

We completely prove the ACC for minimal log discrepancies on smooth threefolds. It implies on smooth threefolds the ACC for a-lc thresholds, the uniform m-adic semi-continuity of minimal log discrepancies and the boundedness of the log discrepancy of some divisor that computes the minimal log discrepancy.

math.AG↗

On equivalent conjectures for minimal log discrepancies on smooth threefolds

On smooth threefolds, the ACC for minimal log discrepancies is equivalent to the boundedness of the log discrepancy of some divisor which computes the minimal log discrepancy. We reduce it to the case when the boundary is the product of a canonical part and the maximal ideal to some power. We prove the reduced assertion when the log canonical threshold of the maximal ideal is either at most one-half or at least one.

math.AG↗

Ideal-adic semi-continuity problem for minimal log discrepancies

We discuss the ideal-adic semi-continuity problem for minimal log discrepancies by Mustata. We study the purely log terminal case, and prove the semi-continuity of minimal log discrepancies when a Kawamata log terminal triple deforms in the ideal-adic topology.

math.AG↗

Towards boundedness of minimal log discrepancies by Riemann--Roch theorem

We introduce an approach of Riemann--Roch theorem to the boundedness problem of minimal log discrepancies in fixed dimension. After reducing it to the case of a Gorenstein terminal singularity, firstly we prove that its minimal log discrepancy is bounded if either multiplicity or embedding dimension is bounded. Secondly we recover the characterisation of a Gorenstein terminal three-fold singularity by Reid, and the precise boundary of its minimal log discrepancy by Markushevich, without explicit classification. Finally we provide the precise boundary for a special four-fold singularity, whose general hyperplane section has a terminal piece.

math.AG↗

Three-fold divisorial contractions to singularities of higher indices

We complete the explicit study of a three-fold divisorial contraction whose exceptional divisor contracts to a point, by treating the case where the point downstairs is a singularity of index $n \ge 2$. We prove that if this singularity is of type c$A/n$ then any such contraction is a suitable weighted blow-up; and that if otherwise then the discrepancy is $1/n$ with a few exceptions. Every such exception has an example. Some exceptions allow the discrepancy to be arbitrarily large, but any contraction in this case is described as a weighted blow-up of a singularity of type c$D/2$ embedded into a cyclic quotient of a smooth five-fold. The erratum to the previous paper [14] is attached.

math.AG↗

General elements in anticanonical systems of threefolds with divisorial contractions and applications to classification

We treat threefolds with divisorial contractions whose exceptional divisors contract to compound Du Val points. We prove that general elements in their anticanonical systems around the exceptional divisors have at worst Du Val singularities. As applications to classification, we describe divisorial contractions to compound A_n points, and moreover we conclude that discrepancies of divisorial contractions to compound D_n or E_n points are at most four.

math.AG↗