arXiv subjects

Yuki Ishihara

Publications and source records attributed to Yuki Ishihara.

9 recordsLinked to original sources

arXiv2026

Collinear ferromagnetism with reduced moment length in kagome magnet Nd3Ru4Al12

We determine the magnetic ground state of the kagome lattice magnet Nd3Ru4Al12 by single-crystal neutron diffraction, supported by experiments with polarized neutrons. We identify this material as a collinear ferromagnet ("hex-FM") with uniform moment length mc = 2.1 {\mu}B/Nd and ordering vector Q = 0, in contrast to a previous, seminal report that proposed unequal moment lengths on two Nd sites, here called the "ortho-FM" state. Our analysis of the flipping ratio in polarized neutron scattering is consistent with the hex-FM state. The results provide a microscopic basis for understanding the large fluctuation-induced Hall and Nernst responses near TC = 41 K, as previously reported for Nd3Ru4Al12.

cond-mat.str-el↗

arXiv2025

Computational Algebra with Attention: Transformer Oracles for Border Basis Algorithms

Solving systems of polynomial equations, particularly those with finitely many solutions, is a crucial challenge across many scientific fields. Traditional methods like Gr\"obner and Border bases are fundamental but suffer from high computational costs, which have motivated recent Deep Learning approaches to improve efficiency, albeit at the expense of output correctness. In this work, we introduce the Oracle Border Basis Algorithm, the first Deep Learning approach that accelerates Border basis computation while maintaining output guarantees. To this end, we design and train a Transformer-based oracle that identifies and eliminates computationally expensive reduction steps, which we find to dominate the algorithm's runtime. By selectively invoking this oracle during critical phases of computation, we achieve substantial speedup factors of up to 3.5x compared to the base algorithm, without compromising the correctness of results. To generate the training data, we develop a sampling method and provide the first sampling theorem for border bases. We construct a tokenization and embedding scheme tailored to monomial-centered algebraic computations, resulting in a compact and expressive input representation, which reduces the number of tokens to encode an $n$-variate polynomial by a factor of $O(n)$. Our learning approach is data efficient, stable, and a practical enhancement to traditional computer algebra algorithms and symbolic computation.

cs.LG↗

arXiv2025

Metallic $p$-wave magnet with commensurate spin helix

Antiferromagnetic states with spin-split electronic structure give rise to novel spintronic, magnonic, and electronic phenomena despite (near-) zero net magnetization. The simplest odd-parity spin splitting - $p$-wave - was originally proposed to emerge from a collective instability in interacting electron systems. Recent theory identifies a distinct route to realise $p$-wave spin-split electronic bands without strong correlations, termed $p$-wave magnetism. Here we demonstrate an experimental realisation of a metallic $p$-wave magnet. The odd-parity spin splitting of delocalised conduction electrons arises from their coupling to an antiferromagnetic texture of localised magnetic moments: a coplanar spin helix whose magnetic period is an even multiple of the chemical unit cell, as revealed by X-ray scattering experiments. This texture breaks space inversion symmetry but preserves time-reversal ($T$) symmetry up to a half-unit-cell translation - thereby fulfilling the symmetry conditions for $p$-wave magnetism. Consistent with theoretical predictions, our $p$-wave magnet exhibits a characteristic anisotropy in the electronic conductivity. Relativistic spin-orbit coupling and a tiny spontaneous net magnetization further break $T$ symmetry, resulting in a giant anomalous Hall effect (AHE, $\sigma_{xy}>600\,$S/cm, Hall angle $>3\,\%$), for an antiferromagnet. Our model calculations show that the spin nodal planes found in the electronic structure of $p$-wave magnets are readily gapped by a small perturbation to induce the AHE.

cond-mat.str-el↗

arXiv2024

Comprehensive Systems for Primary Decompositions of Parametric Ideals

We present an effective method for computing parametric primary decomposition via comprehensive Gr\"obner systems. In general, it is very difficult to compute a parametric primary decomposition of a given ideal in the polynomial ring with rational coefficients $\mathbb{Q}[A,X]$ where $A$ is the set of parameters and $X$ is the set of ordinary variables. One cause of the difficulty is related to the irreducibility of the specialized polynomial. Thus, we introduce a new notion of ``feasibility'' on the stability of the structure of the ideal in terms of its primary decomposition, and we give a new algorithm for computing a so-called comprehensive system consisting of pairs $(C, \mathcal{Q})$, where for each parameter value in $C$, the ideal has the stable decomposition $\mathcal{Q}$. We may call this comprehensive system a parametric primary decomposition of the ideal. Also, one can also compute a dense set $\mathcal{O}$ such that $\varphi_\alpha(\mathcal{Q})$ is a primary decomposition for any $\alpha\in C\cap \mathcal{O}$ via irreducible polynomials. In addition, we give several computational examples to examine the effectiveness of our new decomposition.

cs.SC↗

arXiv2024

Primary Decomposition of Symmetric Ideals

We propose an effective method for primary decomposition of symmetric ideals. Let $K[X]=K[x_1,\ldots,x_n]$ be the $n$-valuables polynomial ring over a field $K$ and $\mathfrak{S}_n$ the symmetric group of order $n$. We consider the canonical action of $\mathfrak{S}_n$ on $K[X]$ i.e. $\sigma(f(x_1,\ldots,x_n))=f(x_{\sigma(1)},\ldots,x_{\sigma(n)})$ for $\sigma\in \mathfrak{S}_n$. For an ideal $I$ of $K[X]$, $I$ is called {\em symmetric} if $\sigma(I)=I$ for any $\sigma\in \mathfrak{S}_n$. For a minimal primary decomposition $I=Q_1\cap \cdots \cap Q_r$ of a symmetric ideal $I$, $\sigma(I)=\sigma (Q_1)\cap \cdots \cap \sigma(Q_r)$ is a minimal primary decomposition of $I$ for any $\sigma\in \mathfrak{S}_n$. We utilize this property to compute a full primary decomposition of $I$ efficiently from partial primary components. We investigate the effectiveness of our algorithm by implementing it in the computer algebra system Risa/Asir.

math.AC↗

arXiv2023

Learning to Compute Gr\"obner Bases

Solving a polynomial system, or computing an associated Gr\"obner basis, has been a fundamental task in computational algebra. However, it is also known for its notorious doubly exponential time complexity in the number of variables in the worst case. This paper is the first to address the learning of Gr\"obner basis computation with Transformers. The training requires many pairs of a polynomial system and the associated Gr\"obner basis, raising two novel algebraic problems: random generation of Gr\"obner bases and transforming them into non-Gr\"obner ones, termed as backward Gr\"obner problem. We resolve these problems with 0-dimensional radical ideals, the ideals appearing in various applications. Further, we propose a hybrid input embedding to handle coefficient tokens with continuity bias and avoid the growth of the vocabulary set. The experiments show that our dataset generation method is a few orders of magnitude faster than a naive approach, overcoming a crucial challenge in learning to compute Gr\"obner bases, and Gr\"obner computation is learnable in a particular class.

math.AC↗

arXiv2020

On FGLM Algorithms with Tropical Gr\"obner bases

Let K be a field equipped with a valuation. Tropical varieties over K can be defined with a theory of Gr{\"o}bner bases taking into account the valuation of K. Because of the use of the valuation, the theory of tropical Gr{\"o}bner bases has proved to provide settings for computations over polynomial rings over a p-adic field that are more stable than that of classical Gr{\"o}bner bases. In this article, we investigate how the FGLM change of ordering algorithm can be adapted to the tropical setting. As the valuations of the polynomial coefficients are taken into account, the classical FGLM algorithm's incremental way, monomo-mial by monomial, to compute the multiplication matrices and the change of basis matrix can not be transposed at all to the tropical setting. We mitigate this issue by developing new linear algebra algorithms and apply them to our new tropical FGLM algorithms. Motivations are twofold. Firstly, to compute tropical varieties, one usually goes through the computation of many tropical Gr{\"o}bner bases defined for varying weights (and then varying term orders). For an ideal of dimension 0, the tropical FGLM algorithm provides an efficient way to go from a tropical Gr{\"o}bner basis from one weight to one for another weight. Secondly, the FGLM strategy can be applied to go from a tropical Gr{\"o}bner basis to a classical Gr{\"o}bner basis. We provide tools to chain the stable computation of a tropical Gr{\"o}bner basis (for weight [0,. .. , 0]) with the p-adic stabilized variants of FGLM of [RV16] to compute a lexicographical or shape position basis. All our algorithms have been implemented into SageMath. We provide numerical examples to illustrate time-complexity. We then illustrate the superiority of our strategy regarding to the stability of p-adic numerical computations.

cs.SC↗

arXiv2020

Modular Techniques for Effective Localization and Double Ideal Quotient

By double ideal quotient, we mean $(I:(I:J))$ where ideals $I$ and $J$. In our previous work [11], double ideal quotient and its variants are shown to be very useful for checking prime divisor and generating primary component. Combining those properties, we can compute "direct localization" effectively, comparing with full primary decomposition. In this paper, we apply modular techniques effectively to computation of such double ideal quotient and its variants, where first we compute them modulo several prime numbers and then lift them up over rational numbers by Chinese Remainder Theorem and rational reconstruction. As a new modular technique for double ideal quotient and its variants, we devise criteria for output from modular computations. Also, we apply modular techniques to intermediate primary decomposition. We examine the effectiveness of our modular techniques for several examples by preliminary computational experiences on Singular.

math.AC↗

arXiv2020

Effective Localization Using Double Ideal Quotient and Its Implementation

In this paper, we propose a new method for localization of polynomial ideal, which we call "Local Primary Algorithm". For an ideal $I$ and a prime ideal $P$, our method computes a $P$-primary component of $I$ after checking if $P$ is associated with $I$ by using "double ideal quotient" $(I:(I:P))$ and its variants which give us a lot of information about localization of $I$.

math.AC↗