-
Single Family Algebra Operation on ZDDs Leads To Exponential Blow-Up
Authors:
Kengo Nakamura,
Masaaki Nishino,
Shuhei Denzumi
Abstract:
Zero-suppressed binary decision diagram (ZDD) is a data structure to represent a family of (sub)sets compactly, and it can be used as a succinct index for a family of sets. To build ZDD representing a desired family of sets, there are many transformation operations that take ZDDs as inputs and output ZDD representing the resultant family after performing operations such as set union and intersecti…
▽ More
Zero-suppressed binary decision diagram (ZDD) is a data structure to represent a family of (sub)sets compactly, and it can be used as a succinct index for a family of sets. To build ZDD representing a desired family of sets, there are many transformation operations that take ZDDs as inputs and output ZDD representing the resultant family after performing operations such as set union and intersection. However, except for some basic operations, the worst-time complexity of taking such transformation on ZDDs has not been extensively studied, and some contradictory statements about it have arisen in the literature. In this paper, we show that many transformation operations on ZDDs cannot be performed in worst-case polynomial time with respect to the size of input ZDDs. This refutes some of the folklore circulated in past literature and resolves an open problem raised by Knuth. Our results are stronger in that such blow-up of computational time occurs even when the ordering, which has a significant impact on the efficiency of treating ZDDs, is reasonable.
△ Less
Submitted 8 March, 2024;
originally announced March 2024.
-
Path constrained unbalanced optimal transport
Authors:
Martin Bauer,
Nicolas Charon,
Tom Needham,
Mao Nishino
Abstract:
Dynamical formulations of optimal transport (OT) frame the task of comparing distributions as a variational problem which searches for a path between distributions minimizing a kinetic energy functional. In applications, it is frequently natural to require paths of distributions to satisfy additional conditions. Inspired by this, we introduce a model for dynamical OT which incorporates constraints…
▽ More
Dynamical formulations of optimal transport (OT) frame the task of comparing distributions as a variational problem which searches for a path between distributions minimizing a kinetic energy functional. In applications, it is frequently natural to require paths of distributions to satisfy additional conditions. Inspired by this, we introduce a model for dynamical OT which incorporates constraints on the space of admissible paths into the framework of unbalanced OT, where the source and target measures are allowed to have a different total mass. Our main results establish, for several general families of constraints, the existence of solutions to the variational problem which defines this path constrained unbalanced optimal transport framework. These results are primarily concerned with distributions defined on a Euclidean space, but we extend them to distributions defined over parallelizable Riemannian manifolds as well. We also consider metric properties of our framework, showing that, for certain types of constraints, our model defines a metric on the relevant space of distributions. This metric is shown to arise as a geodesic distance of a Riemannian metric, obtained through an analogue of Otto's submersion in the classical OT setting.
△ Less
Submitted 24 February, 2024;
originally announced February 2024.
-
Optimal Construction of N-bit-delay Almost Instantaneous Fixed-to-Variable-Length Codes
Authors:
Ryosuke Sugiura,
Masaaki Nishino,
Norihito Yasuda,
Yutaka Kamamoto,
Takehiro Moriya
Abstract:
This paper presents an optimal construction of $N$-bit-delay almost instantaneous fixed-to-variable-length (AIFV) codes, the general form of binary codes we can make when finite bits of decoding delay are allowed. The presented method enables us to optimize lossless codes among a broader class of codes compared to the conventional FV and AIFV codes. The paper first discusses the problem of code co…
▽ More
This paper presents an optimal construction of $N$-bit-delay almost instantaneous fixed-to-variable-length (AIFV) codes, the general form of binary codes we can make when finite bits of decoding delay are allowed. The presented method enables us to optimize lossless codes among a broader class of codes compared to the conventional FV and AIFV codes. The paper first discusses the problem of code construction, which contains some essential partial problems, and defines three classes of optimality to clarify how far we can solve the problems. The properties of the optimal codes are analyzed theoretically, showing the sufficient conditions for achieving the optimum. Then, we propose an algorithm for constructing $N$-bit-delay AIFV codes for given stationary memory-less sources. The optimality of the constructed codes is discussed both theoretically and empirically. They showed shorter expected code lengths when $N\ge 3$ than the conventional AIFV-$m$ and extended Huffman codes. Moreover, in the random numbers simulation, they performed higher compression efficiency than the 32-bit-precision range codes under reasonable conditions.
△ Less
Submitted 5 November, 2023;
originally announced November 2023.
-
International Competition on Graph Counting Algorithms 2023
Authors:
Takeru Inoue,
Norihito Yasuda,
Hidetomo Nabeshima,
Masaaki Nishino,
Shuhei Denzumi,
Shin-ichi Minato
Abstract:
This paper reports on the details of the International Competition on Graph Counting Algorithms (ICGCA) held in 2023. The graph counting problem is to count the subgraphs satisfying specified constraints on a given graph. The problem belongs to #P-complete, a computationally tough class. Since many essential systems in modern society, e.g., infrastructure networks, are often represented as graphs,…
▽ More
This paper reports on the details of the International Competition on Graph Counting Algorithms (ICGCA) held in 2023. The graph counting problem is to count the subgraphs satisfying specified constraints on a given graph. The problem belongs to #P-complete, a computationally tough class. Since many essential systems in modern society, e.g., infrastructure networks, are often represented as graphs, graph counting algorithms are a key technology to efficiently scan all the subgraphs representing the feasible states of the system. In the ICGCA, contestants were asked to count the paths on a graph under a length constraint. The benchmark set included 150 challenging instances, emphasizing graphs resembling infrastructure networks. Eleven solvers were submitted and ranked by the number of benchmarks correctly solved within a time limit. The winning solver, TLDC, was designed based on three fundamental approaches: backtracking search, dynamic programming, and model counting or #SAT (a counting version of Boolean satisfiability). Detailed analyses show that each approach has its own strengths, and one approach is unlikely to dominate the others. The codes and papers of the participating solvers are available: https://afsa.jp/icgca/.
△ Less
Submitted 13 September, 2023;
originally announced September 2023.
-
Generalization Analysis on Learning with a Concurrent Verifier
Authors:
Masaaki Nishino,
Kengo Nakamura,
Norihito Yasuda
Abstract:
Machine learning technologies have been used in a wide range of practical systems. In practical situations, it is natural to expect the input-output pairs of a machine learning model to satisfy some requirements. However, it is difficult to obtain a model that satisfies requirements by just learning from examples. A simple solution is to add a module that checks whether the input-output pairs meet…
▽ More
Machine learning technologies have been used in a wide range of practical systems. In practical situations, it is natural to expect the input-output pairs of a machine learning model to satisfy some requirements. However, it is difficult to obtain a model that satisfies requirements by just learning from examples. A simple solution is to add a module that checks whether the input-output pairs meet the requirements and then modifies the model's outputs. Such a module, which we call a {\em concurrent verifier} (CV), can give a certification, although how the generalizability of the machine learning model changes using a CV is unclear. This paper gives a generalization analysis of learning with a CV. We analyze how the learnability of a machine learning model changes with a CV and show a condition where we can obtain a guaranteed hypothesis using a verifier only in the inference time. We also show that typical error bounds based on Rademacher complexity will be no larger than that of the original model when using a CV in multi-class classification and structured prediction settings.
△ Less
Submitted 11 October, 2022;
originally announced October 2022.
-
Phase diagram of the dipolar Ising ferromagnet on a kagome lattice
Authors:
Hisato Komatsu,
Yoshihiko Nonomura,
Masamichi Nishino
Abstract:
We study the field--temperature phase diagram of the two-dimensional dipolar Ising ferromagnet on a kagome lattice with a specific ratio between the exchange and dipolar constants, $δ= 1$. Using the stochastic cutoff (SCO) $O(N)$ Monte Carlo method, we calculated order parameters for stripe and bubble phases and other thermodynamical quantities. We find two kinds of stripe phases at low fields, wh…
▽ More
We study the field--temperature phase diagram of the two-dimensional dipolar Ising ferromagnet on a kagome lattice with a specific ratio between the exchange and dipolar constants, $δ= 1$. Using the stochastic cutoff (SCO) $O(N)$ Monte Carlo method, we calculated order parameters for stripe and bubble phases and other thermodynamical quantities. We find two kinds of stripe phases at low fields, where the arrangement of the branch spins neighboring the stripe frame varies, and two bubble phases at high fields, in which three-spin domains (bubbles) form a regular triangular lattice but the triangular array of bubbles changes on a kagome lattice. We also find that with increasing the field, there exist a disordered phase between the stripe and bubble phases and between the two bubble phases. We discuss the details of the features of these phases and phase transitions.
△ Less
Submitted 25 February, 2022;
originally announced February 2022.
-
Solving Rep-tile by Computers: Performance of Solvers and Analyses of Solutions
Authors:
Mutsunori Banbara,
Kenji Hashimoto,
Takashi Horiyama,
Shin-ichi Minato,
Kakeru Nakamura,
Masaaki Nishino,
Masahiko Sakai,
Ryuhei Uehara,
Yushi Uno,
Norihito Yasuda
Abstract:
A rep-tile is a polygon that can be dissected into smaller copies (of the same size) of the original polygon. A polyomino is a polygon that is formed by joining one or more unit squares edge to edge. These two notions were first introduced and investigated by Solomon W. Golomb in the 1950s and popularized by Martin Gardner in the 1960s. Since then, dozens of studies have been made in communities o…
▽ More
A rep-tile is a polygon that can be dissected into smaller copies (of the same size) of the original polygon. A polyomino is a polygon that is formed by joining one or more unit squares edge to edge. These two notions were first introduced and investigated by Solomon W. Golomb in the 1950s and popularized by Martin Gardner in the 1960s. Since then, dozens of studies have been made in communities of recreational mathematics and puzzles. In this study, we first focus on the specific rep-tiles that have been investigated in these communities. Since the notion of rep-tiles is so simple that can be formulated mathematically in a natural way, we can apply a representative puzzle solver, a MIP solver, and SAT-based solvers for solving the rep-tile problem in common. In comparing their performance, we can conclude that the puzzle solver is the weakest while the SAT-based solvers are the strongest in the context of simple puzzle solving. We then turn to analyses of the specific rep-tiles. Using some properties of the rep-tile patterns found by a solver, we can complete analyses of specific rep-tiles up to certain sizes. That is, up to certain sizes, we can determine the existence of solutions, clarify the number of the solutions, or we can enumerate all the solutions for each size. In the last case, we find new series of solutions for the rep-tiles which have never been found in the communities.
△ Less
Submitted 7 October, 2021;
originally announced October 2021.
-
Differentiable Inductive Logic Programming for Structured Examples
Authors:
Hikaru Shindo,
Masaaki Nishino,
Akihiro Yamamoto
Abstract:
The differentiable implementation of logic yields a seamless combination of symbolic reasoning and deep neural networks. Recent research, which has developed a differentiable framework to learn logic programs from examples, can even acquire reasonable solutions from noisy datasets. However, this framework severely limits expressions for solutions, e.g., no function symbols are allowed, and the sha…
▽ More
The differentiable implementation of logic yields a seamless combination of symbolic reasoning and deep neural networks. Recent research, which has developed a differentiable framework to learn logic programs from examples, can even acquire reasonable solutions from noisy datasets. However, this framework severely limits expressions for solutions, e.g., no function symbols are allowed, and the shapes of clauses are fixed. As a result, the framework cannot deal with structured examples. Therefore we propose a new framework to learn logic programs from noisy and structured examples, including the following contributions. First, we propose an adaptive clause search method by looking through structured space, which is defined by the generality of the clauses, to yield an efficient search space for differentiable solvers. Second, we propose for ground atoms an enumeration algorithm, which determines a necessary and sufficient set of ground atoms to perform differentiable inference functions. Finally, we propose a new method to compose logic programs softly, enabling the system to deal with complex programs consisting of several clauses. Our experiments show that our new framework can learn logic programs from noisy and structured examples, such as sequences or trees. Our framework can be scaled to deal with complex programs that consist of several clauses with function symbols.
△ Less
Submitted 2 March, 2021;
originally announced March 2021.
-
Phase diagram of the two-dimensional dipolar Heisenberg model with the Dzyaloshinskii-Moriya interaction and the Ising anisotropy
Authors:
Hisato Komatsu,
Yoshihiko Nonomura,
Masamichi Nishino
Abstract:
We study phase transitions in the two-dimensional Heisenberg model with the Dzyaloshinskii-Moriya interaction, the Ising anisotropy ($η$), and the dipolar interaction under zero and finite magnetic fields ($H$). For three typical strengths (zero, weak, and strong) of the dipolar interaction, we present the $H$-$η$ phase diagrams by estimating order parameters for skyrmion-lattice and helical phase…
▽ More
We study phase transitions in the two-dimensional Heisenberg model with the Dzyaloshinskii-Moriya interaction, the Ising anisotropy ($η$), and the dipolar interaction under zero and finite magnetic fields ($H$). For three typical strengths (zero, weak, and strong) of the dipolar interaction, we present the $H$-$η$ phase diagrams by estimating order parameters for skyrmion-lattice and helical phases and in-plane magnetization by using a Monte Carlo method with an $O(N)$ algorithm. We find in the phase diagrams three types of skyrmion-lattice phases, i.e., two square lattices and a triangular lattice, helical phases with diagonal and vertical (or horizontal) stripes, canted ferromagnetic phase and polarized ferromagnetic phase. The effect of the dipolar interaction varies the types of the skyrmion and helical phases in a complex manner. The dipolar interaction also expands the regions of the ordered phases accompanying shifts of the phase boundaries to the positive $H$ and $η$ directions, and causes increase of the density of skyrmions and shortening of the pitch length (stripe width) of helical structures. We discuss the details of the features of the phase transitions.
△ Less
Submitted 7 March, 2021; v1 submitted 10 November, 2020;
originally announced November 2020.
-
Nontrivial temperature dependence of ferromagnetic resonance frequency for spin reorientation transitions
Authors:
Masamichi Nishino,
Seiji Miyashita
Abstract:
We find unusual temperature dependence of the ferromagnetic resonance (FMR) frequency $f_{\rm R}$ for the spin-reorientation (SR) transition, in which the easy axis changes depending on temperature, observed in the Nd permanent magnet, Nd$_2$Fe$_{14}$B: $f_{\rm R} \sim 0$ below the SR transition temperature ($T_{\rm R}$), drastic increase of $f_{\rm R}$ around $T_{\rm R}$, and decrease from a peak…
▽ More
We find unusual temperature dependence of the ferromagnetic resonance (FMR) frequency $f_{\rm R}$ for the spin-reorientation (SR) transition, in which the easy axis changes depending on temperature, observed in the Nd permanent magnet, Nd$_2$Fe$_{14}$B: $f_{\rm R} \sim 0$ below the SR transition temperature ($T_{\rm R}$), drastic increase of $f_{\rm R}$ around $T_{\rm R}$, and decrease from a peak at higher temperatures. It is nontrivial that the SR transition causes the unusual behavior of the FMR frequency in a wide temperature region. We show the mechanism of the temperature dependence by theoretical and computational analyses. We derive a general relation between $f_{\rm R}$ and magnetizations to help the understanding of the mechanism, and clarify that the fluctuation of the transverse magnetization is a key ingredient for the resonance in all temperature regions.
△ Less
Submitted 17 September, 2020;
originally announced September 2020.
-
The effect of the surface magnetic anisotropy of the neodymium atoms on the coercivity in the neodymium permanent magnet
Authors:
Masamichi Nishino,
Ismail Enes Uysal,
Seiji Miyashita
Abstract:
The Nd permanent magnet (Nd$_{2}$Fe$_{14}$B) is an indispensable material used in modern energy conversion devices. The realization of high coercivity at finite temperatures is a burning issue. One of the important ingredients for controlling the coercive force is the surface property of magnetic grains. It has been reported by first-principles studies that the Nd atoms in the first (001) surface…
▽ More
The Nd permanent magnet (Nd$_{2}$Fe$_{14}$B) is an indispensable material used in modern energy conversion devices. The realization of high coercivity at finite temperatures is a burning issue. One of the important ingredients for controlling the coercive force is the surface property of magnetic grains. It has been reported by first-principles studies that the Nd atoms in the first (001) surface layer facing the vacuum have in-plane anisotropy perpendicular to the $c$ axis, which may decrease the coercivity. Focusing on the surface anisotropy effect on the coercivity, we examine the coercivity at zero and finite temperatures by using an atomistic model reflecting the lattice structure of the Nd magnet with a stochastic Landau-Lifshitz-Gilbert equation method. We study general three cases, in which the Nd atoms in surface layers have (1) no anisotropy, (2) in-plane anisotropy, and (3) reinforced anisotropy for two types of surfaces, (001) and (100) surfaces. We find that in contrast to the zero-temperature case, due to the thermal fluctuation effect, the modification of only the first surface layer has little effect on the coercivity at finite temperatures. However, the modification of a few layers results in significant effects. We discuss the details of the dependence of the coercivity on temperature, type of surface, and modified layer depth, and also the features of domain growth in magnetization reversal.
△ Less
Submitted 17 September, 2020;
originally announced September 2020.
-
Bilingual Text Extraction as Reading Comprehension
Authors:
Katsuki Chousa,
Masaaki Nagata,
Masaaki Nishino
Abstract:
In this paper, we propose a method to extract bilingual texts automatically from noisy parallel corpora by framing the problem as a token-level span prediction, such as SQuAD-style Reading Comprehension. To extract a span of the target document that is a translation of a given source sentence (span), we use either QANet or multilingual BERT. QANet can be trained for a specific parallel corpus from…
▽ More
In this paper, we propose a method to extract bilingual texts automatically from noisy parallel corpora by framing the problem as a token-level span prediction, such as SQuAD-style Reading Comprehension. To extract a span of the target document that is a translation of a given source sentence (span), we use either QANet or multilingual BERT. QANet can be trained for a specific parallel corpus from scratch, while multilingual BERT can utilize pre-trained multilingual representations. For the span prediction method using QANet, we introduce a total optimization method using integer linear programming to achieve consistency in the predicted parallel spans. We conduct a parallel sentence extraction experiment using simulated noisy parallel corpora with two language pairs (En-Fr and En-Ja) and find that the proposed method using QANet achieves significantly better accuracy than a baseline method using two bi-directional RNN encoders, particularly for distant language pairs (En-Ja). We also conduct a sentence alignment experiment using En-Ja newspaper articles and find that the proposed method using multilingual BERT achieves significantly better accuracy than a baseline method using a bilingual dictionary and dynamic programming.
△ Less
Submitted 29 April, 2020;
originally announced April 2020.
-
A Supervised Word Alignment Method based on Cross-Language Span Prediction using Multilingual BERT
Authors:
Masaaki Nagata,
Chousa Katsuki,
Masaaki Nishino
Abstract:
We present a novel supervised word alignment method based on cross-language span prediction. We first formalize a word alignment problem as a collection of independent predictions from a token in the source sentence to a span in the target sentence. As this is equivalent to a SQuAD v2.0 style question answering task, we then solve this problem by using multilingual BERT, which is fine-tuned on a m…
▽ More
We present a novel supervised word alignment method based on cross-language span prediction. We first formalize a word alignment problem as a collection of independent predictions from a token in the source sentence to a span in the target sentence. As this is equivalent to a SQuAD v2.0 style question answering task, we then solve this problem by using multilingual BERT, which is fine-tuned on a manually created gold word alignment data. We greatly improved the word alignment accuracy by adding the context of the token to the question. In the experiments using five word alignment datasets among Chinese, Japanese, German, Romanian, French, and English, we show that the proposed method significantly outperformed previous supervised and unsupervised word alignment methods without using any bitexts for pretraining. For example, we achieved an F1 score of 86.7 for the Chinese-English data, which is 13.3 points higher than the previous state-of-the-art supervised methods.
△ Less
Submitted 29 April, 2020;
originally announced April 2020.
-
Variable Shift SDD: A More Succinct Sentential Decision Diagram
Authors:
Kengo Nakamura,
Shuhei Denzumi,
Masaaki Nishino
Abstract:
The Sentential Decision Diagram (SDD) is a tractable representation of Boolean functions that subsumes the famous Ordered Binary Decision Diagram (OBDD) as a strict subset. SDDs are attracting much attention because they are more succinct than OBDDs, as well as having canonical forms and supporting many useful queries and transformations such as model counting and Apply operation. In this paper, w…
▽ More
The Sentential Decision Diagram (SDD) is a tractable representation of Boolean functions that subsumes the famous Ordered Binary Decision Diagram (OBDD) as a strict subset. SDDs are attracting much attention because they are more succinct than OBDDs, as well as having canonical forms and supporting many useful queries and transformations such as model counting and Apply operation. In this paper, we propose a more succinct variant of SDD named Variable Shift SDD (VS-SDD). The key idea is to create a unique representation for Boolean functions that are equivalent under a specific variable substitution. We show that VS-SDDs are never larger than SDDs and there are cases in which the size of a VS-SDD is exponentially smaller than that of an SDD. Moreover, despite such succinctness, we show that numerous basic operations that are supported in polytime with SDD are also supported in polytime with VS-SDD. Experiments confirm that VS-SDDs are significantly more succinct than SDDs when applied to classical planning instances, where inherent symmetry exists.
△ Less
Submitted 6 April, 2020;
originally announced April 2020.
-
Recovery command generation towards automatic recovery in ICT systems by Seq2Seq learning
Authors:
Hiroki Ikeuchi,
Akio Watanabe,
Tsutomu Hirao,
Makoto Morishita,
Masaaki Nishino,
Yoichi Matsuo,
Keishiro Watanabe
Abstract:
With the increase in scale and complexity of ICT systems, their operation increasingly requires automatic recovery from failures. Although it has become possible to automatically detect anomalies and analyze root causes of failures with current methods, making decisions on what commands should be executed to recover from failures still depends on manual operation, which is quite time-consuming. To…
▽ More
With the increase in scale and complexity of ICT systems, their operation increasingly requires automatic recovery from failures. Although it has become possible to automatically detect anomalies and analyze root causes of failures with current methods, making decisions on what commands should be executed to recover from failures still depends on manual operation, which is quite time-consuming. Toward automatic recovery, we propose a method of estimating recovery commands by using Seq2Seq, a neural network model. This model learns complex relationships between logs obtained from equipment and recovery commands that operators executed in the past. When a new failure occurs, our method estimates plausible commands that recover from the failure on the basis of collected logs. We conducted experiments using a synthetic dataset and realistic OpenStack dataset, demonstrating that our method can estimate recovery commands with high accuracy.
△ Less
Submitted 24 March, 2020;
originally announced March 2020.
-
Metric Learning for Ordered Labeled Trees with pq-grams
Authors:
Hikaru Shindo,
Masaaki Nishino,
Yasuaki Kobayashi,
Akihiro Yamamoto
Abstract:
Computing the similarity between two data points plays a vital role in many machine learning algorithms. Metric learning has the aim of learning a good metric automatically from data. Most existing studies on metric learning for tree-structured data have adopted the approach of learning the tree edit distance. However, the edit distance is not amenable for big data analysis because it incurs high…
▽ More
Computing the similarity between two data points plays a vital role in many machine learning algorithms. Metric learning has the aim of learning a good metric automatically from data. Most existing studies on metric learning for tree-structured data have adopted the approach of learning the tree edit distance. However, the edit distance is not amenable for big data analysis because it incurs high computation cost. In this paper, we propose a new metric learning approach for tree-structured data with pq-grams. The pq-gram distance is a distance for ordered labeled trees, and has much lower computation cost than the tree edit distance. In order to perform metric learning based on pq-grams, we propose a new differentiable parameterized distance, weighted pq-gram distance. We also propose a way to learn the proposed distance based on Large Margin Nearest Neighbors (LMNN), which is a well-studied and practical metric learning scheme. We formulate the metric learning problem as an optimization problem and use the gradient descent technique to perform metric learning. We empirically show that the proposed approach not only achieves competitive results with the state-of-the-art edit distance-based methods in various classification problems, but also solves the classification problems much more rapidly than the edit distance-based methods.
△ Less
Submitted 9 March, 2020;
originally announced March 2020.
-
Anisotropy-temperature phase diagram for the two-dimensional dipolar Heisenberg model with and without magnetic field
Authors:
Hisato Komatsu,
Yoshihiko Nonomura,
Masamichi Nishino
Abstract:
We investigate phase transitions in the two-dimensional dipolar Heisenberg model with uniaxial anisotropy with a specific ratio between the exchange and dipolar constants, $δ=1$. We obtain the $η$--$T$ (anisotropy vs. temperature) phase diagrams for typical values of magnetic field by a Monte Carlo method with an $O(N)$ algorithm. We find that at lower fields, the $η$--$T$ phase diagram consists o…
▽ More
We investigate phase transitions in the two-dimensional dipolar Heisenberg model with uniaxial anisotropy with a specific ratio between the exchange and dipolar constants, $δ=1$. We obtain the $η$--$T$ (anisotropy vs. temperature) phase diagrams for typical values of magnetic field by a Monte Carlo method with an $O(N)$ algorithm. We find that at lower fields, the $η$--$T$ phase diagram consists of the planar ferromagnetic (F), (perpendicular) stripe-ordered (SO), and paramagnetic (P) phases, and is characterized by the triple point. In the SO phase realized at larger $η$ and smaller $T$, the SO pattern changes depending on the field. On the other hand, we find that at higher fields, the SO phase does not exist, while the planer F phase robustly remains. We study the properties of the phase boundaries by employing finite-size-scaling analyses. We find that the slope of the spin-reorientation-transition line is positive with and without field, i.e., $\frac{dη}{dT}>0$, which implies that the planar F phase changes to the SO phase with lowering temperature. In the phase diagrams we observe a characteristic shape of the P--planer F phase-transition line, whose maximum point of $η$ is located at an intermediate temperature. This structure leads to the temperature-induced reentrant transition associated with P and planar F phases, which appears in successive phase transitions with lowering temperature: P $\rightarrow$ planar F $\rightarrow$ P $\rightarrow$ SO phase at lower fields and P $\rightarrow$ planar F $\rightarrow$ P phases at higher fields.
△ Less
Submitted 7 June, 2019;
originally announced June 2019.
-
Multistability in an unusual phase diagram induced by the competition between antiferromagnetic-like short-range and ferromagnetic-like long-range interactions
Authors:
Masamichi Nishino,
Per Arne Rikvold,
Conor Omand,
Seiji Miyashita
Abstract:
The interplay between competing short-range (SR) and long-range (LR) interactions can cause nontrivial structures in phase diagrams. Recently, horn-shaped unusual structures were found by Monte Carlo simulations in the phase diagram of the Ising antiferromagnet (IA) with infinite-range ferromagnetic-like (F) interactions [Phys. Rev. B {\bf 93}, 064109 (2016); {\bf 96}, 174428 (2017)], and also in…
▽ More
The interplay between competing short-range (SR) and long-range (LR) interactions can cause nontrivial structures in phase diagrams. Recently, horn-shaped unusual structures were found by Monte Carlo simulations in the phase diagram of the Ising antiferromagnet (IA) with infinite-range ferromagnetic-like (F) interactions [Phys. Rev. B {\bf 93}, 064109 (2016); {\bf 96}, 174428 (2017)], and also in an IA with LR interactions of elastic origin modeling spin-crossover materials [Phys. Rev. B {\bf 96}, 144425 (2017)]. To clarify the nature of the phases associated with the horn structures, we study the phase diagram of the IA model with infinite-range F interactions by applying a variational free energy in a cluster mean-field (CMF) approximation. While the simple Bragg-Williams mean-field theory for each sublattice does not produce a horn structure, we find such structures with the CMF method. This confirms that the local thermal fluctuations enabled by the multisite clusters are essential for this phenomenon. We investigate in detail the structure of metastable phases in the phase diagram. In contrast to the phase diagram obtained by the Monte Carlo studies, we find a triple point, at which ferromagnetic-like, antiferromagnetic-like, and disordered phases coexist, and also six tristable regions accompanying the horn structure. We also point out that several characteristic endpoints of first-order transitions appear in the phase diagram. We propose three possible scenarios for the transitions related to the tristable regions. Finally, we discuss the relation between the triple point in this phase diagram and that of a possible lattice-gas model, in which solid, liquid, and gas phases can coexist.
△ Less
Submitted 3 October, 2018;
originally announced October 2018.
-
Temperature-field phase diagram of the two-dimensional dipolar Ising ferromagnet
Authors:
Hisato Komatsu,
Yoshihiko Nonomura,
Masamichi Nishino
Abstract:
We study field-induced phase transitions in the two-dimensional dipolar Ising ferromagnet with a specific ratio between the exchange and dipolar constants, $δ=1$, which exhibits a stripe-ordered phase with the width of one lattice unit at low temperatures without magnetic field. By using a mean-field (MF) approximation and a Monte Caro (MC) method with the stochastic-cutoff algorithm, which is an…
▽ More
We study field-induced phase transitions in the two-dimensional dipolar Ising ferromagnet with a specific ratio between the exchange and dipolar constants, $δ=1$, which exhibits a stripe-ordered phase with the width of one lattice unit at low temperatures without magnetic field. By using a mean-field (MF) approximation and a Monte Caro (MC) method with the stochastic-cutoff algorithm, which is an $O(N)$ simulation method, we show the temperature-field phase diagrams. In the MC study the orientational order and the structure factor are evaluated. Second-order transition points are determined by a finite-size-scaling analysis and first-order transition points are identified by the analysis of the energy histogram. Although both the MF and MC phase diagrams consist of wide regions of several stripe-ordered phases and narrow regions between them characterized by complicated stripe patterns, they show qualitative and quantitative differences in possible phases and phase boundaries. In the MF phase diagram, three main stripe-ordered phases exhibit a nesting structure, while in the MC phase diagram, two main stripe-ordered phases are located separately, which causes a characteristic field-induced reentrant transition of the orientational order.
△ Less
Submitted 18 August, 2018;
originally announced August 2018.
-
Anisotropy of exchange stiffness based on atomic-scale magnetic properties in rare-earth permanent magnet Nd$_2$Fe$_{14}$B
Authors:
Yuta Toga,
Masamichi Nishino,
Seiji Miyashita,
Takashi Miyake,
Akimasa Sakuma
Abstract:
We examine the anisotropic properties of the exchange stiffness constant, $\mathcal{A}$, for rare-earth permanent magnet, Nd$_2$Fe$_{14}$B, by connecting analyses with two different scales of length, i.e., Monte Carlo (MC) method with an atomistic spin model and Landau-Lifshitz-Gilbert (LLG) equation with a continuous magnetic model. The atomistic MC simulations are performed on the spin model of…
▽ More
We examine the anisotropic properties of the exchange stiffness constant, $\mathcal{A}$, for rare-earth permanent magnet, Nd$_2$Fe$_{14}$B, by connecting analyses with two different scales of length, i.e., Monte Carlo (MC) method with an atomistic spin model and Landau-Lifshitz-Gilbert (LLG) equation with a continuous magnetic model. The atomistic MC simulations are performed on the spin model of Nd$_2$Fe$_{14}$B constructed from ab-initio calculations, and the LLG micromagnetics simulations are performed with the parameters obtained by the MC simulations. We clarify that the amplitude and the thermal property of $\mathcal{A}$ depend on the orientation in the crystal, which are attributed to the layered structure of Nd atoms and weak exchange couplings between Nd and Fe atoms. We also confirm that the anisotropy of $\mathcal{A}$ significantly affects the threshold field for the magnetization reversal (coercivity) given by the depinning process.
△ Less
Submitted 24 July, 2018; v1 submitted 16 April, 2018;
originally announced April 2018.
-
Crystalline C60 fulleride with metal inside
Authors:
Ayano Nakagawa,
Makiko Nishino,
Hiroyuki Niwa,
Katsuma Ishino,
Zhiyong Wang,
Haruka Omachi,
Ko Furukawa,
Takahisa Yamaguchi,
Tatsuhisa Kato,
Shunji Bandow,
Jeremy Rio,
Chris Ewels,
Shinobu Aoyagi,
Hisanori Shinohara
Abstract:
Endohedral metallofullerenes have been extensively studied, since the first experimental observation of La@C60 in a laser-vaporized supersonic beam in 1985. However, all of these studies have been carried out on metallofullerenes larger than C60 such as (metal)@C82, and there are no reported purified C60-based metallofullerenes except for [Li@C60]+(SbCl6)- salt. Pure (metal)@C60 has not been obtai…
▽ More
Endohedral metallofullerenes have been extensively studied, since the first experimental observation of La@C60 in a laser-vaporized supersonic beam in 1985. However, all of these studies have been carried out on metallofullerenes larger than C60 such as (metal)@C82, and there are no reported purified C60-based metallofullerenes except for [Li@C60]+(SbCl6)- salt. Pure (metal)@C60 has not been obtained because of their extremely high chemical reactivity. We report here the first isolation, structural determination and electromagnetic properties of crystalline C60-based metallofullerenes, Gd@C60(CF3)5 and La@C60(CF3)5. Synchrotron X-ray single-crystal diffraction reveals that La and Gd atoms are indeed encapsulated in the Ih-C60 fullerene. The HOMO-LUMO gaps of Gd@C60 and La@C60 are significantly widened by an order of magnitude with addition of CF3- groups. Magnetic measurements show the presense of a weak antiferromagnetic coupling in Gd@C60(CF3)3 crystals at low temperatures. Gd@C60 and La@C60 might exhibit superconductivity as the electronic structures resemble those of superconducting alkali-doped C60 fullerides.
△ Less
Submitted 30 January, 2018;
originally announced January 2018.
-
Study on Effects of Dipole-dipole Interactions in Nd_2Fe_{14}B thin film Based on Stochastic Cut-off Method with New Efficient Algorithm
Authors:
Taichi Hinokihara,
Masamichi Nishino,
Yuta Toga,
Seiji Miyashita
Abstract:
We developed a new algorithm for the stochastic cutoff method, which is a Monte Carlo method for long-range interacting systems. The present new algorithm is efficient for complicated lattice structures, e.g., amorphous and also materials with complicated unit cell structure. In addition, it has an advantage in a high temperature region. With the present method, we investigated an atomistic model…
▽ More
We developed a new algorithm for the stochastic cutoff method, which is a Monte Carlo method for long-range interacting systems. The present new algorithm is efficient for complicated lattice structures, e.g., amorphous and also materials with complicated unit cell structure. In addition, it has an advantage in a high temperature region. With the present method, we investigated an atomistic model of the permanent magnet Nd 2 Fe 14 B with dipole-dipole interactions to study the effect of the anisotropy of the Fe ions on the magnetization structure in the thin film system. It has revealed that the anisotropy of the Fe ions plays an important role to maintain the uniaxial magnetization structure at high temperatures.
△ Less
Submitted 17 November, 2017; v1 submitted 6 November, 2017;
originally announced November 2017.
-
Nontrivial phase diagram for an elastic interaction model of spin crossover materials with antiferromagnetic-like short-range interactions
Authors:
Masamichi Nishino,
Seiji Miyashita,
Per Arne Rikvold
Abstract:
We study the phase diagram of an elastic interaction model for spin crossover (SC) materials with antiferromagnetic-like short-range interactions. In this model, the interplay between the short-range interaction and the long-range interaction of elastic origin causes complex phase transitions. For relatively weak elastic interactions, the phase diagram is characterized by tricritical points, at wh…
▽ More
We study the phase diagram of an elastic interaction model for spin crossover (SC) materials with antiferromagnetic-like short-range interactions. In this model, the interplay between the short-range interaction and the long-range interaction of elastic origin causes complex phase transitions. For relatively weak elastic interactions, the phase diagram is characterized by tricritical points, at which antiferromagnetic (AF) -like and ferromagnetic (F) -like spinodal lines and a critical line merge. On the other hand, for relatively strong elastic interactions, unusual "horn structures," which are surrounded by the F-like spinodal lines, disorder (D) spinodal lines, and the critical line, are realized at higher temperatures. These structures are similar to those obtained in our previous study [Phys. Rev. B {\bf 93}, 064109 (2016)] of an Ising antiferromagnet with infinite-range ferromagnetic interactions, and we find universal features caused by the interplay between the competing short-range and long-range interactions. The long-range interaction of elastic origin is irrelevant (inessential) for the critical line. In contrast, the AF-like, F-like, and D spinodal lines result from the long-range interaction of elastic origin. This difference causes qualitatively different features of domain formation or nucleation of the new phase: clustering occurs in the former case, while clustering is absent in the latter. Based on the phase diagrams, we discuss the patterns and clustering features of two-step SC transitions, in which the AF-like phase is realized in the intermediate temperature region.
△ Less
Submitted 2 November, 2017;
originally announced November 2017.
-
Enumeration of Extractive Oracle Summaries
Authors:
Tsutomu Hirao,
Masaaki Nishino,
Jun Suzuki,
Masaaki Nagata
Abstract:
To analyze the limitations and the future directions of the extractive summarization paradigm, this paper proposes an Integer Linear Programming (ILP) formulation to obtain extractive oracle summaries in terms of ROUGE-N. We also propose an algorithm that enumerates all of the oracle summaries for a set of reference summaries to exploit F-measures that evaluate which system summaries contain how m…
▽ More
To analyze the limitations and the future directions of the extractive summarization paradigm, this paper proposes an Integer Linear Programming (ILP) formulation to obtain extractive oracle summaries in terms of ROUGE-N. We also propose an algorithm that enumerates all of the oracle summaries for a set of reference summaries to exploit F-measures that evaluate which system summaries contain how many sentences that are extracted as an oracle summary. Our experimental results obtained from Document Understanding Conference (DUC) corpora demonstrated the following: (1) room still exists to improve the performance of extractive summarization; (2) the F-measures derived from the enumerated oracle summaries have significantly stronger correlations with human judgment than those derived from single oracle summaries.
△ Less
Submitted 6 January, 2017;
originally announced January 2017.
-
Temperature dependence of the threshold magnetic field for nucleation and domain wall propagation in an inhomogeneous structure with grain boundary
Authors:
Sasmita Mohakud,
Sergio Andraus,
Masamichi Nishino,
Akimasa Sakuma,
Seiji Miyashita
Abstract:
In order to study the dependence of the coercive force of sintered magnets on temperature, nucleation and domain wall propagation at the grain boundary are studied as rate-determining processes of the magnetization reversal phenomena in magnets consisting of bulk hard magnetic grains contacting via grain boundaries of a soft magnetic material. These systems have been studied analytically for a con…
▽ More
In order to study the dependence of the coercive force of sintered magnets on temperature, nucleation and domain wall propagation at the grain boundary are studied as rate-determining processes of the magnetization reversal phenomena in magnets consisting of bulk hard magnetic grains contacting via grain boundaries of a soft magnetic material. These systems have been studied analytically for a continuum model at zero temperature (A. Sakuma, et al. J. Mag. Mag. Mat. {\bf 84} 52 (1990)). In the present study, the temperature dependence is studied by making use of the stochastic Landau-Lifshitz-Gilbert equation at finite temperatures. In particular, the threshold fields for nucleation and domain wall propagation are obtained as functions of ratios of magnetic interactions and anisotropies of the soft and hard magnets for various temperatures. It was found that the threshold field for domain wall propagation is robust against thermal fluctuations, while that for nucleation is fragile. The microscopic mechanisms of the observed temperature dependence are discussed.
△ Less
Submitted 15 August, 2016; v1 submitted 10 February, 2016;
originally announced February 2016.
-
Termination of the Berezinskii-Kosterlitz-Thouless phase with a new critical universality in spin-crossover systems
Authors:
Masamichi Nishino,
Seiji Miyashita
Abstract:
Two dimensional systems with U(1) symmetry exhibit a peculiar phase, i.e., the Berezinskii-Kosterlitz-Thouless (BKT) phase. In particular situations, the BKT phase exists as an intermediate temperature phase. There have been scenarios for the phase transitions at the two endpoints of the intermediate BKT phase, i.e., the phase transition at the low-temperature endpoint is a BKT transition and that…
▽ More
Two dimensional systems with U(1) symmetry exhibit a peculiar phase, i.e., the Berezinskii-Kosterlitz-Thouless (BKT) phase. In particular situations, the BKT phase exists as an intermediate temperature phase. There have been scenarios for the phase transitions at the two endpoints of the intermediate BKT phase, i.e., the phase transition at the low-temperature endpoint is a BKT transition and that at the high-temperature endpoint is either a BKT transition or a first-order transition. The present study gives a novel scenario, i.e., a second-order transition with a new critical universality and a BKT transition. We found that this new phase transition is realized in spin-crossover systems on a triangular lattice with an antiferromagnetic short-range interaction. At the low-temperature transition the elastic interaction plays as a ferromagnetic infinite-range interaction and encourages the breaking of $Z_2$ symmetry between high-spin rich and low-spin rich states.
△ Less
Submitted 9 November, 2015;
originally announced November 2015.
-
Equilibrium, Metastability, and Hysteresis in a Model Spin-crossover Material with Nearest-neighbor Antiferromagnetic-like and Long-range Ferromagnetic-like Interactions
Authors:
P. A. Rikvold,
G. Brown,
S. Miyashita,
C. Omand,
M. Nishino
Abstract:
Phase diagrams and hysteresis loops were obtained by Monte Carlo simulations and a mean-field method for a simplified model of a spin-crossover material with a two-step transition between the high-spin and low-spin states. This model is a map** onto a square-lattice $S=1/2$ Ising model with antiferromagnetic nearest-neighbor and ferromagnetic Husimi-Temperley (equivalent-neighbor) long-range int…
▽ More
Phase diagrams and hysteresis loops were obtained by Monte Carlo simulations and a mean-field method for a simplified model of a spin-crossover material with a two-step transition between the high-spin and low-spin states. This model is a map** onto a square-lattice $S=1/2$ Ising model with antiferromagnetic nearest-neighbor and ferromagnetic Husimi-Temperley (equivalent-neighbor) long-range interactions. Phase diagrams obtained by the two methods for weak and strong long-range interactions are found to be similar. However, for intermediate-strength long-range interactions, the Monte Carlo simulations show that tricritical points decompose into pairs of critical endpoints and mean-field critical points surrounded by horn-shaped regions of metastability. Hysteresis loops along paths traversing the horn regions are strongly reminiscent of thermal two-step transition loops with hysteresis, recently observed experimentally in several spin-crossover materials. We believe analogous phenomena should be observable in experiments and simulations for many systems that exhibit competition between local antiferromagnetic-like interactions and long-range ferromagnetic-like interactions caused by elastic distortions.
△ Less
Submitted 27 February, 2016; v1 submitted 21 October, 2015;
originally announced October 2015.
-
Effect of the short-range interaction on critical phenomena in elastic interaction systems
Authors:
Masamichi Nishino,
Seiji Miyashita
Abstract:
The elastic interaction, induced by the lattice distortion due to the difference of the molecular size, causes an effective long-range interaction. In spin-crossover (SC) compounds, local bistable states, i.e., high-spin and low-spin states have different molecular sizes, and the elastic interaction is important. In bipartite lattices, e.g., the square lattice, the ground state can be two types of…
▽ More
The elastic interaction, induced by the lattice distortion due to the difference of the molecular size, causes an effective long-range interaction. In spin-crossover (SC) compounds, local bistable states, i.e., high-spin and low-spin states have different molecular sizes, and the elastic interaction is important. In bipartite lattices, e.g., the square lattice, the ground state can be two types of phases: ferromagnetic-like (FM) and antiferromagnetic-like (AFM) phases. In systems like SC compounds, the former phase consists of all small or large molecules, and the latter phase has the configuration of alternating small and large molecules. In fact, both cases are observed in SC systems. In this paper, we have studied the effect of the short-range interaction in the elastic system on the properties of those order-disorder phase transitions. We have obtained a phase diagram in the coordinates of the temperature and the strength of the short-range interaction, including the metastable structures. We show that effects of the short-range interaction are essentially different for FM and AFM phase transitions. In the FM transition, the long-range interaction of elasticity is relevant, and the system exhibits a phase transition in the mean-filed universality class. In this case, the long-range interaction strongly enhances the FM order, and it works cooperatively with the short-range interaction. In contrast, in the AFM transition, the elastic interaction slightly enhances the AFM order, but essentially it does not contribute to the ordering, and the system shows a transition in the Ising universality class. We have found that in the border region between FM and AFM phases, the AFM phase has an advantage at finite temperatures. We discuss the critical properties of two-step SC transitions with comparison between the elastic interaction model and conventional SC models (Ising-like models).
△ Less
Submitted 30 July, 2015;
originally announced July 2015.
-
Realization of the thermal equilibrium in inhomogeneous magnetic systems by the Landau-Lifshitz-Gilbert equation with stochastic noise, and its dynamical aspects
Authors:
Masamichi Nishino,
Seiji Miyashita
Abstract:
It is crucially important to investigate effects of temperature on magnetic properties such as critical phenomena, nucleation, pinning, domain wall motion, coercivity, etc. The Landau-Lifshitz-Gilbert (LLG) equation has been applied extensively to study dynamics of magnetic properties. Approaches of Langevin noises have been developed to introduce the temperature effect into the LLG equation. To h…
▽ More
It is crucially important to investigate effects of temperature on magnetic properties such as critical phenomena, nucleation, pinning, domain wall motion, coercivity, etc. The Landau-Lifshitz-Gilbert (LLG) equation has been applied extensively to study dynamics of magnetic properties. Approaches of Langevin noises have been developed to introduce the temperature effect into the LLG equation. To have the thermal equilibrium state (canonical distribution) as the steady state, the system parameters must satisfy some condition known as the fluctuation-dissipation relation. In inhomogeneous magnetic systems in which spin magnitudes are different at sites, the condition requires that the ratio between the amplitude of the random noise and the dam** parameter depends on the magnitude of the magnetic moment at each site. Focused on inhomogeneous magnetic systems, we systematically showed agreement between the stationary state of the stochastic LLG equation and the corresponding equilibrium state obtained by Monte Carlo simulations in various magnetic systems including dipole-dipole interactions. We demonstrated how violations of the condition result in deviations from the true equilibrium state. We also studied the characteristic features of the dynamics depending on the choice of the parameter set. All the parameter sets satisfying the condition realize the same stationary state (equilibrium state). In contrast, different choices of parameter set cause seriously different relaxation processes. We show two relaxation types, i.e., magnetization reversals with uniform rotation and with nucleation.
△ Less
Submitted 11 July, 2015;
originally announced July 2015.
-
Macroscopic nucleation phenomena in continuum media with long-range interactions
Authors:
Masamichi Nishino,
Cristian Enachescu,
Seiji Miyashita,
Per Arne Rikvold,
Kamel Boukheddaden,
Francois Varret
Abstract:
Nucleation, commonly associated with discontinuous transformations between metastable and stable phases, is crucial in fields as diverse as atmospheric science and nanoscale electronics. Traditionally, it is considered a microscopic process (at most nano-meter), implying the formation of a microscopic nucleus of the stable phase. Here we show for the first time, that considering long-range interac…
▽ More
Nucleation, commonly associated with discontinuous transformations between metastable and stable phases, is crucial in fields as diverse as atmospheric science and nanoscale electronics. Traditionally, it is considered a microscopic process (at most nano-meter), implying the formation of a microscopic nucleus of the stable phase. Here we show for the first time, that considering long-range interactions mediated by elastic distortions, nucleation can be a macroscopic process, with the size of the critical nucleus proportional to the total system size. This provides a new concept of "macroscopic barrier-crossing nucleation". We demonstrate the effect in molecular dynamics simulations of a model spin-crossover system with two molecular states of different sizes, causing elastic distortions.
△ Less
Submitted 12 January, 2012;
originally announced January 2012.
-
Critical temperature and correlation length of an elastic interaction model for spin-crossover materials
Authors:
Taro Nakada,
Takashi Mori,
Seiji Miyashita,
Masamichi Nishino,
Synge Todo,
William Nicolazzi,
Per Arne Rikvold
Abstract:
It has previously been pointed out that the coexistence of infinite-range and short-range interactions causes a system to have a phase transition of the mean-field universality class, in which the cluster size is finite even at the critical point. In the present paper, we study this property in a model of bistable molecules, whose size changes depending on the bistable states. The molecules can mo…
▽ More
It has previously been pointed out that the coexistence of infinite-range and short-range interactions causes a system to have a phase transition of the mean-field universality class, in which the cluster size is finite even at the critical point. In the present paper, we study this property in a model of bistable molecules, whose size changes depending on the bistable states. The molecules can move in space, interacting via an elastic interaction. It is known that due to the different sizes, an effective long-range interaction between the spins appears, and thus this model has a mean-field type of phase transition. It is found that the scaling properties of the shift of the critical temperature from the pure short-range limit in the model with infinite-range and short-range interactions hold also in the present model, regarding the ratio of the size of the two states as a control parameter for the strength of the long-range interaction. By studying the structure factor, it is shown that the dependence of the cluster size at the critical temperature also shows the same scaling properties as a previously studied model with both infinite-range and short-range interactions. We therefore conclude that these scaling relations hold universally in hybrid models with both short-range and weak long-range interactions.
△ Less
Submitted 9 February, 2012; v1 submitted 28 October, 2011;
originally announced October 2011.
-
Crossover between a Short-range and a Long-range Ising model
Authors:
Taro Nakada,
Per Arne Rikvold,
Takashi Mori,
Masamichi Nishino,
Seiji Miyashita
Abstract:
Recently, it has been found that an effective long-range interaction is realized among local bistable variables (spins) in systems where the elastic interaction causes ordering of the spins. In such systems, generally we expect both long-range and short-range interactions to exist. In the short-range Ising model, the correlation length diverges at the critical point. In contrast, in the long-range…
▽ More
Recently, it has been found that an effective long-range interaction is realized among local bistable variables (spins) in systems where the elastic interaction causes ordering of the spins. In such systems, generally we expect both long-range and short-range interactions to exist. In the short-range Ising model, the correlation length diverges at the critical point. In contrast, in the long-range interacting model the spin configuration is always uniform and the correlation length is zero. As long as a system has non-zero long-range interactions, it shows criticality in the mean-field universality class, and the spin configuration is uniform beyond a certain scale. Here we study the crossover from the pure short-range interacting model to the long-range interacting model. We investigate the infinite-range model (Husimi-Temperley model) as a prototype of this competition, and we study how the critical temperature changes as a function of the strength of the long-range interaction. This model can also be interpreted as an approximation for the Ising model on a small-world network. We derive a formula for the critical temperature as a function of the strength of the long-range interaction. We also propose a scaling form for the spin correlation length at the critical point, which is finite as long as the long-range interaction is included, though it diverges in the limit of the pure short-range model. These properties are confirmed by extensive Monte Carlo simulations.
△ Less
Submitted 10 April, 2011;
originally announced April 2011.
-
Intrinsic effects of the boundary condition on switching processes in spin-crossover solids
Authors:
Masamichi Nishino,
Cristian Enachescu,
Seiji Miyashita,
Kamel Boukheddaden,
Francois Varret
Abstract:
We investigated domain growth in switching processes between the low-spin and high-spin phases in thermally induced hysteresis loops of spin-crossover (SC) solids. Elastic interactions among the molecules induce effective long-range interactions, and thus the boundary condition plays a significant role in the dynamics. In contrast to SC systems with periodic boundary conditions, where uniform co…
▽ More
We investigated domain growth in switching processes between the low-spin and high-spin phases in thermally induced hysteresis loops of spin-crossover (SC) solids. Elastic interactions among the molecules induce effective long-range interactions, and thus the boundary condition plays a significant role in the dynamics. In contrast to SC systems with periodic boundary conditions, where uniform configurations are maintained during the switching process, we found that domain structures appear with open boundary conditions. Unlike Ising-like models with short-range interactions, domains always grow from the corners of the system. The present clustering mechanism provides an insight into the switching dynamics of SC solids, in particular, in nano-scale systems.
△ Less
Submitted 29 December, 2009; v1 submitted 23 October, 2009;
originally announced October 2009.
-
Threshold Phenomena under Photo Excitation of Spin-crossover Materials with Cooperativity due to Elastic Interactions
Authors:
Seiji Miyashita,
Per Arne Rikvold,
Takashi Mori,
Yusuké Konishi,
Masamichi Nishino,
Hiroko Tokoro
Abstract:
Photo-induced switching from the low-spin state to the high-spin state is studied in a model of spin-crossover materials, in which long-range interactions are induced by elastic distortions due to different molecular sizes the two spin states. At a threshold value of the light intensity we observe nonequilibrium critical behavior corresponding to a mean-field spinodal point. Finite-size scaling…
▽ More
Photo-induced switching from the low-spin state to the high-spin state is studied in a model of spin-crossover materials, in which long-range interactions are induced by elastic distortions due to different molecular sizes the two spin states. At a threshold value of the light intensity we observe nonequilibrium critical behavior corresponding to a mean-field spinodal point. Finite-size scaling of the divergence of the relaxation time is revealed by analysis of kinetic Monte Carlo simulations.
△ Less
Submitted 7 May, 2009;
originally announced May 2009.
-
Realization of the mean-field universality class in spin-crossover materials
Authors:
Seiji Miyashita,
Yusuké Konishi,
Masamichi Nishino,
Hiroko Tokoro,
Per Arne Rikvold
Abstract:
In spin-crossover materials, the volume of a molecule changes depending on whether it is in the high-spin (HS) or low-spin (LS) state. This change causes distortion of the lattice. Elastic interactions among these distortions play an important role for the cooperative properties of spin-transition phenomena. We find that the critical behavior caused by this elastic interaction belongs to the mea…
▽ More
In spin-crossover materials, the volume of a molecule changes depending on whether it is in the high-spin (HS) or low-spin (LS) state. This change causes distortion of the lattice. Elastic interactions among these distortions play an important role for the cooperative properties of spin-transition phenomena. We find that the critical behavior caused by this elastic interaction belongs to the mean-field universality class, in which the critical exponents for the spontaneous magnetization and the susceptibility are $β= 1/2$ and $γ= 1$, respectively. Furthermore, the spin-spin correlation function is a constant at long distances, and it does not show an exponential decay in contrast to short-range models. The value of the correlation function at long distances shows different size-dependences: $O(1/N)$, $O(1/\sqrt{N})$, and constant for temperatures above, at, and below the critical temperature, respectively. The model does not exhibit clusters, even near the critical point. We also found that cluster growth is suppressed in the present model and that there is no critical opalescence in the coexistence region. During the relaxation process from a metastable state at the end of a hysteresis loop, nucleation phenomena are not observed, and spatially uniform configurations are maintained during the change of the fraction of HS and LS. These characteristics of the mean-field model are expected to be found not only in spin-crossover materials, but also generally in systems where elastic distortion mediates the interaction among local states.
△ Less
Submitted 7 December, 2007; v1 submitted 3 October, 2007;
originally announced October 2007.
-
Monte Carlo simulation of pressure-induced phase transitions in spin-crossover materials
Authors:
Yusuke Konishi,
Hiroko Tokoro,
Masamichi Nishino,
Seiji Miyashita
Abstract:
Pressure-induced phase transitions of spin-crossover materials were simulated by a Monte Carlo simulation in the constant pressure ensemble for the first time. Here, as the origin of the cooperative interaction, we adopt elastic interaction among the distortions of the lattice due to the difference of the molecular sizes in different spin states, i.e., the high spin (HS) state and the low spin (…
▽ More
Pressure-induced phase transitions of spin-crossover materials were simulated by a Monte Carlo simulation in the constant pressure ensemble for the first time. Here, as the origin of the cooperative interaction, we adopt elastic interaction among the distortions of the lattice due to the difference of the molecular sizes in different spin states, i.e., the high spin (HS) state and the low spin (LS) state. We studied how the temperature dependence of the ordering process changes with the pressure, and we obtained a standard sequence of temperature dependences that has been found in changing other parameters such as strength of the ligand field (S. Miyashita et al., Prog. Theor. Phys. \textbf{114}, 719 (2005)). Various effects of pressure on the spin-crossover ordering process are examined from a unified point of view.
△ Less
Submitted 3 July, 2007;
originally announced July 2007.
-
Simple Two-Dimensional Model for the Elastic Origin of Cooperativity among Spin States of Spin-Crossover Complexes
Authors:
Masamichi Nishino,
Kamel Boukheddaden,
Yusuké Konishi,
Seiji Miyashita
Abstract:
We study the origin of the cooperative nature of spin crossover (SC) between low spin (LS) and high spin (HS) states from the view point of elastic interactions among molecules. As the size of each molecule changes depending on its spin state, the elastic interaction among the lattice distortions provides the cooperative interaction of the spin states. We develop a simple model of SC with intra…
▽ More
We study the origin of the cooperative nature of spin crossover (SC) between low spin (LS) and high spin (HS) states from the view point of elastic interactions among molecules. As the size of each molecule changes depending on its spin state, the elastic interaction among the lattice distortions provides the cooperative interaction of the spin states. We develop a simple model of SC with intra and intermolecular potentials which accounts for the elastic interaction including the effect of the inhomogeneity of the spin states, and apply constant temperature molecular dynamics based on the Nosé-Hoover formalism. We demonstrate that, with increase of the strength of the intermolecular interactions, the temperature dependence of the HS component changes from a gradual crossover to a first-order transition.
△ Less
Submitted 27 June, 2007;
originally announced June 2007.
-
Magnetic Properties and Metastable States in Spin-Crossover Transition of Co-Fe Prussian Blue Analogues
Authors:
Y. Konishi,
H. Tokoro,
M. Nishino,
S. Miyashita
Abstract:
The combination of spin transitions and magnetic ordering provides an interesting structure of phase transitions in Prussian blue analogues (PBAs). To understand the structure of stable and metastable states of Co-Fe PBA, it is necessary to clarify free energy as a function of magnetization and the fraction of the high-temperature component. Including the magnetic interaction between high-temper…
▽ More
The combination of spin transitions and magnetic ordering provides an interesting structure of phase transitions in Prussian blue analogues (PBAs). To understand the structure of stable and metastable states of Co-Fe PBA, it is necessary to clarify free energy as a function of magnetization and the fraction of the high-temperature component. Including the magnetic interaction between high-temperature states, we study the magnetic phase transition of Co-Fe PBA in addition to spin transitions. Here, we take into account the degeneracy changes due to charge transfer between Co and Fe atoms accompanying the spin transition. In this study, the charge transfer between Co and Fe atoms is explicitly taken into account and also the ferrimagnetic structure of Co-Fe PBAs is expressed in the proper way. First, we found systematic changes in the structures of stable and metastable states as functions of system parameters using mean field theory. In particular, the existence of a metastable magnetic-ordered high-temperature state is confirmed at temperatures lower than that of the hysteresis region of spin transitions. Second, we found that the magnetic interaction causes complex ordering processes of a spin transition and a magnetic phase transition. The effect of a magnetic field on the phase structure is also investigated and we found metamagnetic magnetization processes. Finally, the dynamical properties of this metastable state are studied by Monte Carlo method.
△ Less
Submitted 20 October, 2006; v1 submitted 18 October, 2006;
originally announced October 2006.
-
Structure of Metastable States in Phase Transitions with High-Spin Low-Spin Degree of Freedom
Authors:
Seiji Miyashita,
Yusuke Konishi,
Hiroko Tokoro,
Masamichi Nishino,
Kamel Boukheddaden,
Francios Varret
Abstract:
Difference of degeneracy of the low-spin (LS) and high-spin (HS) states causes interesting entropy effects on spin-crossover phase transitions and charge transfer phase transitions in materials composed of the spin-crossover atoms. Mechanisms of the spin-crossover (SC) phase transitions have been studied by using Wajnflasz model, where the degeneracy of the spin states (HS or LS) is taken into a…
▽ More
Difference of degeneracy of the low-spin (LS) and high-spin (HS) states causes interesting entropy effects on spin-crossover phase transitions and charge transfer phase transitions in materials composed of the spin-crossover atoms. Mechanisms of the spin-crossover (SC) phase transitions have been studied by using Wajnflasz model, where the degeneracy of the spin states (HS or LS) is taken into account and cooperative natures of the spin-crossover phase transitions have been well described. Recently, a charge transfer (CT) phase transition due to electron hop** between LS and HS sites has been studied by using a generalized Wajnflasz model. In the both systems of SC and CT, the systems have a high temperature structure (HT) and a low temperature structure (LT), and the change between them can be a smooth crossover or a discontinuous first order phase transition depending on the parameters of the systems. Although apparently the standard SC system and the CT system are very different, it is shown that both models are equivalent under a certain transformation of variables. In both systems, the structure of metastable state at low temperatures is a matter of interest. We study temperature dependence of fraction of HT systematically in a unified model, and find several structures of equilibrium and metastable states of the model as functions of system parameters. In particular, we find a reentrant type metastable branch of HT in a low temperature region, which would play an important role to study the photo-irradiated processes of related materials.
△ Less
Submitted 15 July, 2005;
originally announced July 2005.
-
Dynamical Aspects of Photoinduced Magnetism and Spin-Crossover phenomena in Prussian Blue Analogs
Authors:
Masamichi Nishino,
Kamel Boukheddaden,
Seiji Miyashita,
Francois Varret
Abstract:
We present dynamical properties of spin crossover compounds with photomagnetization, proposing a new model in which the spin-crossover phenomena and magnetic ordering are incorporated in a unified way. By using this model, the novel characteristics observed in Prussian blue analogs are qualitatively well reproduced. We investigate the time evolution of the magnetization and high spin fraction ta…
▽ More
We present dynamical properties of spin crossover compounds with photomagnetization, proposing a new model in which the spin-crossover phenomena and magnetic ordering are incorporated in a unified way. By using this model, the novel characteristics observed in Prussian blue analogs are qualitatively well reproduced. We investigate the time evolution of the magnetization and high spin fraction taking into account multi-time scales in a master equation approach for the magnetic relaxation, the lattice (electronic) relaxation, and the photoexcitation process. In particular, processes with different temperature cycles starting from the photoinduced saturated magnetic state are studied including the effect of photoirradiation. In the temperature cycle in the low temperature region where the high spin state has a strong metastability, the magnetization almost exactly follows the quasi-static process. On the other hand, when the temperature is raised above the region, the dynamics of the spin state and the magnetization couple and exhibit various types of dynamical cooperative phenomena under time-dependent control of temperature and photoirradiation.
△ Less
Submitted 29 May, 2005;
originally announced May 2005.
-
A Unified Theoretical Description of the Thermodynamical Properties of Spin Crossover with Magnetic Interactions
Authors:
Kamel Boukheddaden,
Masamichi Nishino,
Seiji Miyashita,
Francois Varret
Abstract:
After the discovery of the phenomena of light-induced excited spin state trap** (LIESST), the functional properties of metal complexes have been studied intensively. Among them, cooperative phenomena involving low spin-high spin (spin-crossover) transition and magnetic ordering have attracted interests, and it has become necessary to formulate a unified description of both phenomena. In this w…
▽ More
After the discovery of the phenomena of light-induced excited spin state trap** (LIESST), the functional properties of metal complexes have been studied intensively. Among them, cooperative phenomena involving low spin-high spin (spin-crossover) transition and magnetic ordering have attracted interests, and it has become necessary to formulate a unified description of both phenomena. In this work, we propose a model in which they can be treated simultaneously by extending the Wajnflasz-Pick model including a magnetic interaction. We found that this new model is equivalent to Blume-Emery-Griffiths (BEG) Hamiltonian with degenerate levels. This model provides a unified description of the thermodynamic properties associated with various types of systems, such as spin-crossover (SC) solids and Prussian blue analogues (PBA). Here, the high spin fraction and the magnetization are the order parameters describing the cooperative phenomena of the model. We present several typical temperature dependences of the order parameters and we determine the phase diagram of the system using the mean-field theory and Monte Carlo simulations. We found that the magnetic interaction drives the SC transition leading to re-entrant magnetic and first-order SC transitions.
△ Less
Submitted 29 May, 2005;
originally announced May 2005.
-
Noise effect on the nonadiabatic transition and correction to the tunneling energy gap estimated by the Landau-Zener-Stuckelberg formula
Authors:
Masamichi Nishino,
Keiji Saito,
Seiji Miyashita
Abstract:
We study effect of noise on the tunneling process of the magnetization in a swee** field from the viewpoint of the nonadiabatic transition. The tunneling probability depends on the properties of the noise, e.g. the direction, the amplitude, and the relaxation time of the autocorrelation function. We investigate the tunneling process in the presence of noise by solving the time-dependent Schr…
▽ More
We study effect of noise on the tunneling process of the magnetization in a swee** field from the viewpoint of the nonadiabatic transition. The tunneling probability depends on the properties of the noise, e.g. the direction, the amplitude, and the relaxation time of the autocorrelation function. We investigate the tunneling process in the presence of noise by solving the time-dependent Schr$\rm{\ddot{o}}$dinger equation numerically, and analyze its parameter dependence. We estimate the effective tunneling gap making use of the Landau-Zener-St$\rm{\ddot{u}}$ckelberg (LZS) formula. The dependence of the gap on the swee** velocity reproduces the corresponding experimental data qualitatively. For fast swee** field the estimated gap has no velocity dependence and this gap seems to give the true gap. We, however, show that a correction for the estimated energy gap is necessary and we propose an correction formula.
△ Less
Submitted 27 March, 2001;
originally announced March 2001.
-
Dynamical process for switching dynamics between metastable ordered magnetic state and nonmagnetic ground state in photoinduced phase transition
Authors:
Masamichi Nishino,
Seiji Miyashita
Abstract:
We propose a dynamical mechanism of the two-way switching between the metastable state and the stable state, which has been found in experiments of photoinduced reversible magnetization and photoinduced structural phase transition. We find that the two-way switching with a non-symmetry breaking perturbation such as illumination is possible only in systems with appropriate parameters. We make it…
▽ More
We propose a dynamical mechanism of the two-way switching between the metastable state and the stable state, which has been found in experiments of photoinduced reversible magnetization and photoinduced structural phase transition. We find that the two-way switching with a non-symmetry breaking perturbation such as illumination is possible only in systems with appropriate parameters. We make it clear that the existence of two time scales in the dynamical process is important for the two-way switching.
△ Less
Submitted 10 December, 2000; v1 submitted 26 September, 2000;
originally announced September 2000.
-
Local magnetic structures induced by inhomogeneities of the lattice in S=1/2 bond-alternating chains and response to time-dependent magnetic field with a random noise
Authors:
M. Nishino,
H. Onishi,
K. Yamaguchi,
S. Miyashita
Abstract:
We study effect of inhomogeneities of the lattice in the S=1/2 bond-alternating chain by using a quantum Monte Carlo method and an exact diagonalization method. We adopt a defect in the alternating order as the inhomogeneity and we call it `bond impurity'. Local magnetic structures induced by the bond impurities are investigated both in the ground state and at very low temperatures. The local ma…
▽ More
We study effect of inhomogeneities of the lattice in the S=1/2 bond-alternating chain by using a quantum Monte Carlo method and an exact diagonalization method. We adopt a defect in the alternating order as the inhomogeneity and we call it `bond impurity'. Local magnetic structures induced by the bond impurities are investigated both in the ground state and at very low temperatures. The local magnetic structure can be looked on as an effective S=1/2 spin and the weakness of the interaction between the local structures causes the quasi-degenerate states in the low energy. We also investigate the force acting between bond impurities and find that the force is generally attractive. We also study the dynamical property of the local magnetic structure. While the local magnetic structure behaves as an isolated S=1/2 spin in the response to a time-dependent uniform field, it is found to be robust against the effect of a random noise applied at each site individually in the swee** filed.
△ Less
Submitted 18 May, 2000; v1 submitted 6 February, 2000;
originally announced February 2000.
-
Local magnetic structure due to inhomogeneity of interaction in S=1/2 antiferromagnetic chain
Authors:
Masamichi Nishino,
Hiroaki Onishi,
Pascal Roos,
Kizashi Yamaguchi,
Seiji Miyashita
Abstract:
We study the magnetic properties of $S=1/2$ antiferromagnetic Heisenberg chains with inhomogeneity of interaction. Using a quantum Monte Carlo method and an exact diagonalization method, we study bond-impurity effect in the uniform $S=1/2$ chain and also in the bond-alternating chain. Here `bond impurity' means a bond with strength different from those in the bulk or a defect in the alternating…
▽ More
We study the magnetic properties of $S=1/2$ antiferromagnetic Heisenberg chains with inhomogeneity of interaction. Using a quantum Monte Carlo method and an exact diagonalization method, we study bond-impurity effect in the uniform $S=1/2$ chain and also in the bond-alternating chain. Here `bond impurity' means a bond with strength different from those in the bulk or a defect in the alternating order. Local magnetic structures induced by bond impurities are investigated both in the ground state and at finite temperatures, calculating the local magnetization, the local susceptibility and the local field susceptibility. We also investigate the force acting between bond impurities and find the force generally attractive.
△ Less
Submitted 29 June, 1999;
originally announced June 1999.
-
Quantum Monte Carlo Study on Magnetization Processes
Authors:
Hiroaki Onishi,
Masamichi Nishino,
Naoki Kawashima,
Seiji Miyashita
Abstract:
A quantum Monte Carlo method combining update of the loop algorithm with the global flip of the world line is proposed as an efficient method to study the magnetization process in an external field, which has been difficult because of inefficiency of the update of the total magnetization. The method is demonstrated in the one dimensional antiferromagnetic Heisenberg model and the trimer model. W…
▽ More
A quantum Monte Carlo method combining update of the loop algorithm with the global flip of the world line is proposed as an efficient method to study the magnetization process in an external field, which has been difficult because of inefficiency of the update of the total magnetization. The method is demonstrated in the one dimensional antiferromagnetic Heisenberg model and the trimer model. We attempted various other Monte Carlo algorithms to study systems in the external field and compared their efficiency.
△ Less
Submitted 25 July, 1999; v1 submitted 25 March, 1999;
originally announced March 1999.
-
Switching dynamics between metastable ordered magnetic state and nonmagnetic ground state - A possible mechanism for photoinduced ferromagnetism -
Authors:
Masamichi Nishino,
Kizashi Yamaguchi,
Seiji Miyashita
Abstract:
By studying the dynamics of the metastable magnetization of a statistical mechanical model we propose a switching mechanism of photoinduced magnetization. The equilibrium and nonequilibrium properties of the Blume-Capel (BC) model, which is a typical model exhibiting metastability, are studied by mean field theory and Monte Carlo simulation. We demonstrate reversible changes of magnetization in…
▽ More
By studying the dynamics of the metastable magnetization of a statistical mechanical model we propose a switching mechanism of photoinduced magnetization. The equilibrium and nonequilibrium properties of the Blume-Capel (BC) model, which is a typical model exhibiting metastability, are studied by mean field theory and Monte Carlo simulation. We demonstrate reversible changes of magnetization in a sequence of changes of system parameters, which would model the reversible photoinduced magnetization. Implications of the calculated results are discussed in relation to the recent experimental results for prussian blue analogs.
△ Less
Submitted 30 April, 1998; v1 submitted 19 April, 1998;
originally announced April 1998.