Search arXiv⌕ Search

arXiv subjects

Takeshi Takahashi

Publications and source records attributed to Takeshi Takahashi.

At least 19 recordsLinked to original sources
arXiv2026

STRAL: What Adaptation Gains, Loses, and Costs in SOC Alert Screening

Security-alert screening must balance false-alert burden against missed important events, yet adaptation can change which events are detected. We investigate this trade-off using STRAL, a score-triggered active-learning controller combining ADWIN monitoring, selective label acquisition, and bounded model updates, with an optional historical validation Guard. Across four chronological alert-stream settings, we compare adaptive screening with a fixed, non-adapting baseline (Frozen), measuring recall, false-alert burden, detection preservation, and label-query costs. On two AMiner settings, STRAL reduces false positives by 21.4% (14 to 11) and 16.7% (6 to 5), respectively, while preserving all Frozen detections. On Wazuh, Guard reduces false positives by 9.8% (522 to 471), while losing two Frozen detections. On NAD-CD, STRAL raises recall from 36.11% to 40.29%, but loses 40.1% of Frozen detections while gaining 3,000 others; false positives increase by 151.2%. Guard preserves Frozen decisions on NAD-CD but requires 3,550 label queries, compared with 2,000 for STRAL. These findings demonstrate why adaptive SOC screening must be evaluated through detection preservation, false-alert burden, and feedback cost alongside aggregate recall.

cs.CR↗
arXiv2026

Projective Lifting Theorem, Complex Reflection Groups, and Quasi-Galois Points for Fermat Varieties

We investigate birational automorphisms of hypersurfaces that preserve the projection from a point. Let $V \subset \mathbb{P}^{n+1}$ be an irreducible hypersurface of degree $d \ge 3$ with $\dim \mathrm{Sing}(V) \le n-2$, and let $π_P : V \dashrightarrow \mathbb{P}^n$ denote the projection from a point $P \in \mathbb{P}^{n+1} \setminus \mathrm{Sing}(V)$. Assume moreover that if $d = 3$ then $P \notin V$. We prove that any $σ\in \mathrm{Bir}(V)$ satisfying $π_P \circ σ= π_P$ extends uniquely to a projective transformation of $\mathbb{P}^{n+1}$. By combining the above projective lifting theorem with the theory of complex reflection groups, we investigate Galois and quasi-Galois points for the Fermat variety $F_d^n \subset \mathbb P^{n+1}$ of dimension $n$ and degree $d$. We show that, for $d \ge 4$, $F_d^n$ has exactly $n+2$ Galois points and, in addition, $d(n+2)(n+1)/2$ quasi-Galois points. When $d=3$, $F_3^n$ has exactly $n+2$ outer Galois points.

math.AG↗
arXiv2026

Don't Trust the AI Ecosystem: Analyzing Privacy Leakage in Compromised Open-Source Components

Existing model inversion (MI) attacks predominantly rely on post-training optimization to recover private data from model outputs. However, these methods are fundamentally constrained by the target model's generalization bottleneck, often yielding generic features rather than specific identities, particularly on high-dimensional datasets. In this paper, we introduce GradLock, a novel training-time injection attack that stealthily injects sensitive training data directly into the model parameters. Operating within a compromised supply chain context, GradLock leverages stateless deterministic indexing to establish isolated data vaults and employs dynamic gradient locking to prevent payload degradation during the optimization process. This mechanism allows the adversary to extract pixel-perfect data from the final model without retaining access to the training environment. Extensive experiments on MNIST, Imagenette, and CelebA demonstrate that GradLock achieves near-lossless reconstruction (SSIM ~ 1.0) and instant extraction (< 1.0s). Compared to existing training-time injection methods, our approach exhibits superior robustness against standard deployment optimizations, including quantization, pruning, and fine-tuning. Furthermore, a user deployment study reveals that 93.3% of participants failed to detect the malicious logic, highlighting a severe blind spot in the security of modern AI supply chains.

cs.CR↗
arXiv2026

NLLog: Lightweight, Explainable SOC Anomaly Detection via Log-to-Language Rewriting

System-generated logs underpin security monitoring, yet their rigid template-based format hinders both automated analysis and human comprehension. We present NLLog (Natural-Language Log), a lightweight pipeline that deterministically rewrites parsed templates into WHO-WHAT-SEVERITY sentences, pools them with term-frequency-inverse-document-frequency weighting, classifies sessions with tree ensembles, and back-projects evidence with TreeSHAP for analyst review. On Hadoop Distributed File System (HDFS) and Blue Gene/L (BGL) corpora, NLLog exceeds two reproduced matched-protocol baselines; across HDFS, BGL, and the AIT Alert Data Set, it sustains low false-positive rates with commodity-hardware latency suitable for security operations center triage. Coverage, sparse-versus-dense, faithfulness, and adversarial ablations show that fallback sufficiency is corpus-dependent, that an enrollment-time coverage check can surface refinement requirements before deployment, and that an auditable deterministic rewrite combined with lightweight dense encoding provides a measurable representation layer for log-anomaly detection and triage.

cs.CR↗
arXiv2026

A note on SG points for reduced plane curves

In our previous work, we generalized the concept of Galois points for irreducible plane curves to the case of reduced plane curves. We also introduced the concept of simultaneous Galois points, which is an equivalent concept to Galois points, and studied their number when the irreducible components are nonsingular. In this paper, we consider the remaining cases where the irreducible components are of degree $d=2$ or $3$. For the case of $d=2$, we establish a generalized version of the theorem in our previous paper. For the case of $d=3$, we classify simultaneous Galois points into the first and second kinds. We give a necessary condition for the former and provide examples for the latter.

math.AG↗
arXiv2026

AI-Driven Security Alert Screening and Alert Fatigue Mitigation in Security Operations Centers: A Survey

Security alert screening is the downstream task of filtering, prioritizing, correlating, and contextualizing alerts for analyst attention in Security Operations Centers. This survey reviews artificial-intelligence-driven alert screening and alert-fatigue mitigation from 2015 to 2026. We synthesize 119 records, including 87 core studies, into a four-stage workflow taxonomy covering filtering, triage, correlation, and generative augmentation. We find persistent gaps in operational validation, adversarial robustness, cross-environment generalization, and evaluation practice. The survey concludes with a research agenda toward trustworthy Cognitive Security Operations Centers.

cs.CR↗
arXiv2026

Galois lines for a canonical curve of genus 4, III: non-cyclic Galois lines

Let $C \subset \mathbb{P}^3$ be a canonical curve of genus $4$ over an algebraically closed field $k$ of characteristic zero. For a line $l \subset \mathbb{P}^3$, we consider the projection $π_l: C \to \mathbb{P}^1$ from $l$ and the induced extension of function fields $π_l^*: k(\mathbb{P}^1)\hookrightarrow k(C)$. A line $l$ is called an \emph{$S_3$-line} (resp. a \emph{$K_4$-line}) if the extension $k(C)/π_l^*(k(\mathbb{P}^1))$ is Galois and its Galois group is isomorphic to the symmetric group $S_3$ on three letters (resp. the Klein four-group $K_4$). We prove that the number of $S_3$-lines (resp.\ $K_4$-lines) is at most $10$ (resp.\ $15$).

math.AG↗
arXiv2026

Quantum many-body analysis of spin-2 bosons with two-body inelastic decay

Bose-Einstein condensates of $^{87}\mathrm{Rb}$ atoms with a hyperfine spin of 2 are open quantum systems, where the atoms are lost through two-body inelastic collisions. In this dissipation process, a collision channel with total spin of 4 is forbidden by angular momentum conservation, which results in magnetization of the atoms remaining in the condensate. Here, we investigate the quantum many-body properties of spin-2 bosons that undergo two-body atomic loss. We show that the system finally reaches a steady state, which is a mixture of the states with maximum total spins. In addition, we find that a nonclassical steady state can be obtained by applying and quenching the quadratic Zeeman field.

cond-mat.quant-gas↗
arXiv2025

Clutch Control: An Attention-based Combinatorial Bandit for Efficient Mutation in JavaScript Engine Fuzzing

JavaScript engines are widely used in web browsers, PDF readers, and server-side applications. The rise in concern over their security has led to the development of several targeted fuzzing techniques. However, existing approaches use random selection to determine where to perform mutations in JavaScript code. We postulate that the problem of selecting better mutation targets is suitable for combinatorial bandits with a volatile number of arms. Thus, we propose CLUTCH, a novel deep combinatorial bandit that can observe variable length JavaScript test case representations, using an attention mechanism from deep learning. Furthermore, using Concrete Dropout, CLUTCH can dynamically adapt its exploration. We show that CLUTCH increases efficiency in JavaScript fuzzing compared to three state-of-the-art solutions by increasing the number of valid test cases and coverage-per-testcase by, respectively, 20.3% and 8.9% on average. In volatile and combinatorial settings we show that CLUTCH outperforms state-of-the-art bandits, achieving at least 78.1% and 4.1% less regret in volatile and combinatorial settings, respectively.

cs.AI↗
arXiv2024

Stable beam operation of approximately 1 mA beam under highly efficient energy recovery conditions at compact energy-recovery linac

A compact energy-recovery linac (cERL) has been un-der construction at KEK since 2009 to develop key technologies for the energy-recovery linac. The cERL began operating in 2013 to create a high-current beam with a low-emittance beam with stable continuous wave (CW) superconducting cavities. Owing to the development of critical components, such as the DC gun, superconducting cavities, and the design of ideal beam transport optics, we have successfully established approximately 1 mA stable CW operation with a small beam emittance and extremely small beam loss. This study presents the details of our key technologies and experimental results for achieving 100% energy recovery operation with extremely small beam loss during a stable, approximately 1 mA CW beam operation.

physics.acc-ph↗
arXiv2022

Quasi-Galois points, II: Arrangements

In Part I, the present authors introduced the notion of a quasi-Galois point, for investigating the automorphism groups of plane curves. In this second part, the number of quasi-Galois points for smooth plane curves is described. In particular, sextic or quartic curves with many quasi-Galois points are characterized.

math.AG↗
arXiv2020

Two linear regimes in optical conductivity of a Type-I Weyl semimetal: the case of elemental tellurium

Employing high-pressure infrared spectroscopy we unveil the Weyl semimetal phase of elemental Te and its topological properties. The linear frequency dependence of the optical conductivity provides clear evidence for metallization of trigonal tellurium (Te-I) and the linear band dispersion above 3.0 GPa. This semimetallic Weyl phase can be tuned by increasing pressure further: a kink separates two linear regimes in the optical conductivity (at 3.7 GPa), a signature proposed for Type-II Weyl semimetals with tilted cones; this however reveals a different origin in trigonal tellurium. Our density-functional calculations do not reveal any significant tilting and suggest that Te-I remains in the Type-I Weyl phase, but with two valence bandsin the vicinity of the Fermi level. Their interplay giving rise to the peculiar optical conductivity behavior with more than one linear regime. Pressure above 4.3 GPa stabilizes the more complex Te-II and Te-III polymorphs, which are robust metals.

cond-mat.mes-hall↗
arXiv2020

Optical signatures of phase transitions and structural modulation in elemental tellurium under pressure

A room-temperature infrared spectroscopy study of elemental tellurium at pressures up to 8.44 GPa in the energy range 0.015-2 eV is reported. Optical signatures of the high-pressure polymorphs are investigated and compared to the results of density-functional band-structure calculations. A Drude peak is first seen in the optical conductivity around 3.5 GPa indicating a semiconductor-to-metal transition within trigonal Te-I. A sharp increase in the Drude spectral weight and dc-conductivity around 4.3 GPa signals the transformation toward the triclinic Te-II polymorph. An absorption peak around 0.15 eV appears above 5 GPa concomitant with the gradual transformation of Te-II into the structurally similar but incommensurately modulated Te-III. Microscopically, this peak can only be reproduced within a sufficiently large commensurate approximant, suggesting the low-energy optical response as a fingerprint of the structural modulation.

cond-mat.mtrl-sci↗
arXiv2019

Algebraic curves admitting the same Galois closure for two projections

A criterion for the existence of a plane model of an algebraic curve such that the Galois closures of projections from two points are the same is presented. As an application, it is proved that the Hermitian curve in positive characteristic coincides with the Galois closures of projections of some plane curve from some two non-uniform points.

math.AG↗
arXiv2016

Quasi-Galois points

We introduce the new notion of the "quasi-Galois point" in Algebraic geometry, which is a generalization of the Galois point. A point $P$ in projective plane is said to be quasi-Galois for a plane curve if the curve admits a non-trivial birational transformation which preserves the fibers of the projection $π_P$ from $P$. We discuss the standard form of the defining equation of curves with quasi-Galois points, the number of quasi-Galois points, the structure of the Galois group for the projection, relations with dual curves, and so on. Our theory also has applications to the study of automorphism groups of algebraic curves.

math.AG↗
arXiv2014

Building Secure and Anonymous Communication Channel: Formal Model and its Prototype Implementation

Various techniques need to be combined to realize anonymously authenticated communication. Cryptographic tools enable anonymous user authentication while anonymous communication protocols hide users' IP addresses from service providers. One simple approach for realizing anonymously authenticated communication is their simple combination, but this gives rise to another issue; how to build a secure channel. The current public key infrastructure cannot be used since the user's public key identifies the user. To cope with this issue, we propose a protocol that uses identity-based encryption for packet encryption without sacrificing anonymity, and group signature for anonymous user authentication. Communications in the protocol take place through proxy entities that conceal users' IP addresses from service providers. The underlying group signature is customized to meet our objective and improve its efficiency. We also introduce a proof-of-concept implementation to demonstrate the protocol's feasibility. We compare its performance to SSL communication and demonstrate its practicality, and conclude that the protocol realizes secure, anonymous, and authenticated communication between users and service providers with practical performance.

cs.NI↗