COMPUTER-READABLE RECORDING MEDIUM RECORDING DESIGN PROGRAM AND DESIGN METHOD

Information

  • Patent Application
  • 20210064799
  • Publication Number
    20210064799
  • Date Filed
    August 24, 2020
    4 years ago
  • Date Published
    March 04, 2021
    3 years ago
Abstract
A non-transitory computer-readable recording medium stores therein a design program for causing a computer to execute a process for designing a composition of a perovskite type crystal structure, the design program comprising causing a computer to determine a combination of Ai and Bi in the following formula (2) created by taking a logarithm of a formula of a tolerance factor (t) represented by the following formula (1), in which log t is 0 or close to 0, by executing ground state search by an annealing method using an Ising model or QUBO,
Description
CROSS-REFERENCE TO RELATED APPLICATION

This application is based upon and claims the benefit of priority of the prior Japanese Patent Application No. 2019-154807, filed on Aug. 27, 2019, the entire contents of which are incorporated herein by reference.


FIELD

The embodiment relates to a design program for a composition of a perovskite type crystal structure and a design method.


BACKGROUND

A material having a perovskite type crystal structure exhibits various physical properties such as ferroelectricity depending on a composition. Therefore, a material having a perovskite type crystal structure has been applied to an electronic part such as a capacitor or a storage element. Furthermore, recently, a photovoltaic cell using a material having a perovskite type crystal structure has been developed.


J. B. Goodenough and J. M. Longo, Landolt-Bornstein, Mew Series, Group. III, Vol. 4a, Springer-Verlag, Berlin, p. 126 (1970), R. D. Shannon, Acta Crystallographica A32, p. 751 (1976), and Y. Q. Jia, Journal of Solid State Chemistry, 95, 184(1991) are disclosed as related art.


SUMMARY

According to an aspect of the embodiments, a non-transitory computer-readable recording medium stores therein a design program for causing a computer to execute a process for designing a composition of a perovskite type crystal structure, the design program comprising causing a computer to determine a combination of A and B in the following formula (2) created by taking a logarithm of a formula of a tolerance factor (t) represented by the following formula (1), in which log t is 0 or close to 0, by executing ground state search by an annealing method using an Ising model or QUBO,









t
=



(


r
A

+

r
X


)



2



(


r
B

+

r
X


)



=


d

A


-


X




2



d

B


-


X









Formula






(
1
)








log





t

=





i
=
1

n



A
i


-




i
=
1

n



B
i







Formula






(
2
)








wherein, in the formula (1), rA, rB, and rX represent ionic radii at A site, B site, and an anion site, respectively, when a general formula of the perovskite type crystal structure is represented by by ABX (in which A represents a cation, B represents a cation, and X represents an anion), and dA−X=rA+rX and dB−X=rB+rX are satisfied,


in the formula (2), Ai and Bi are represented by the following formulas (3) and (4), respectively,











1
n


log






d


A
i



-


X





A
i





Formula






(
3
)









1
n


log






2



d


B
i



-


X





B
i





Formula






(
4
)








in the formulas (2), (3), and (4), n means n in A1pA2q . . . B1rB2s . . . Xn (p+q+ . . . =r+s+=n; each number represents an integer) which is a composition formula when ions A1, A2, . . . , and Au (composition ratio is p: q: . . . ) are located at the A site, and ions B1, B2, . . . , and Bv (composition ratio is r: s: . . . ) are located at the B site in the ABX which is the general formula, and moreover, the dA−X and dAi−X in the formula (3) satisfy the following formula (5), and the dB−X and dBi−X in the formula (4) satisfy the following formula (6),










d

A


-


X


=



(




i
=
1

n



(


r

A
i


+

r
X


)


)


1
n


=


(




i
=
1

n



d


A
i



-


X



)


1
n







Formula






(
5
)








d

B


-


X


=



(




i
=
1

n



(


r

B
i


+

r
X


)


)


1
n


=


(




i
=
1

n



d


B
i



-


X



)


1
n







Formula






(
6
)








in the formulas (5) and (6), n is the same as n in the formulas (2) to (4).


The object and advantages of the invention will be realized and attained by means of the elements and combinations particularly pointed out in the claims.


It is to be understood that both the foregoing general description and the following detailed description are exemplary and explanatory and are not restrictive of the invention.





BRIEF DESCRIPTION OF DRAWINGS


FIG. 1 is a schematic diagram illustrating an atomic arrangement of a perovskite type crystal structure;



FIG. 2A is a diagram for explaining a formula of a tolerance factor (No. 1);



FIG. 2B is a diagram for explaining a formula of a tolerance factor (No. 2);



FIG. 3 is a flowchart of an example of a disclosed design method;



FIG. 4 is a diagram illustrating a conceptual configuration of an optimizing device (arithmetic unit) used in an annealing method;



FIG. 5 is a circuit level block diagram of a transition control unit;



FIG. 6 is a diagram illustrating an operation flow of the transition control unit;



FIG. 7 is a configuration example of a disclosed design device;



FIG. 8 is another configuration example of the disclosed design device; and



FIG. 9 is another configuration example of the disclosed design device.





DESCRIPTION OF EMBODIMENTS

In the perovskite type crystal structure, cations are located at A site and B site, and an anion is located at an anion site (FIG. 1). Here, in order for the crystal to exist stably, the size of an ion at each site needs to satisfy a specific relationship. In addition, an amount representing geometric distortion of the perovskite type crystal structure is defined by the following tolerance factor (t) (see Non-Patent Document 1).









t
=


(


r
A

+

r
X


)



2



(


r
B

+

r
X


)







[

Mathematical





Formula





1

]







Here, rA, rB, and rX represent the ionic radii at A site, B site, and an anion site, respectively (FIGS. 2A and 2B). In addition, it is known that a tetragonal crystal is most stable when the tolerance factor (t) is 1.


Note that there is publicly known data of an ionic radius for each valence and coordination number of ionic species of most elements, and the publicly known data can be used (for example, see Non-Patent Documents 2 and 3).


As described above, the perovskite type crystal structure is a material whose physical properties largely change depending on a composition. Furthermore, in the perovskite type crystal structure, ions located at A site, B site, and an anion site can be replaced with various ions, and physical properties can be adjusted by forming a solid solution (or mixed crystal) of a plurality of perovskite materials. Specifically, for example, lead zirconate titanate (PZT) which is a typical ferroelectric material is obtained by replacing a part of B site of lead titanate in which a lead ion is located at A site, a titanium ion is located at B site, and an oxygen ion is located at an anion site with a zircon ion. As a method for calculating a tolerance factor in such a solid solution system, a method using a geometric mean weighted by a composition ratio to the ionic radius at a partially replaced site has been proposed.


However, in a case where there is a plurality of ionic species to be formed into a solid solution, and a combination and a composition of ionic species that make a tolerance factor 1 are determined on the basis thereof, calculation needs to be performed by changing the ionic species and the composition one by one. Then, in a case where the number of ionic species increases or in a case where a solid solution ratio is finely adjusted, the number of combinations is enormous, and the calculation takes a very long time.


An object of the embodiment is to provide a program capable of designing a composition of a stable perovskite type crystal structure at a high speed and a design method capable of designing a composition of a stable perovskite type crystal structure at a high speed.


Regarding the perovskite type crystal structures illustrated in FIGS. 2A and 2B, typical elements and valences at A site and B site are illustrated in Table 1 below.












TABLE 1





Site/Valence
Typical element
a
b


















A+
Li, Na, K, Ag
4



A2+
Pb, Ba, Sr, Ca
4


A3+
Bi, La, Ce, Nd
4


B+
Li, Cu

2


B2+
Mg, Ni, Zn, Co, Sn, Fe, Cd, Cu, Cr

9


B3+
Mn, Sb, Al, Yb, In, Fe, Co, Sc, Y, Sn

10


B4+
Ti, Zr

2


B5*
Nb, Sb, Ta, Bi

4


B6+
W, Te, Re

3









In addition, a combination of cations of a perovskite type oxide or a perovskite type oxynitride and the number thereof, obtained by a simple combination in a case where only one element is located at each of A site and B site are, for example, illustrated in Table 2 below.














TABLE 2








y
0
1
2
3






Composition
O3
O2N
ON2
N3



Charge
−6
−7
−8
−9



rx (Å)
1.35
1.39
1.42
1.46
























a
b

a
b

a
b

a
b





Permissible

A+ - B5+

4
4

A+ - B6+

4
3
A2+ - B6+
4
3
A3+ - B6+
4
3


combination
A2+ - B4+
4
2
A2+ - B5+
4
4
A3+ - B5+
4
4





of cations
A3+ - B3+
4
10
A3+ - B4+
4
2









Here, in Tables 1 and 2, a represents the number of candidate ions at A site, and b represents the number of candidate ions at B site. In Tables 2 and 3 below, y represents y in an anion (O3−yNy). rX represents an ionic radius at an anion site.


In addition, the total number of permissible combinations of cations is 64 in a case of y=0, 38 in a case of y=1, 28 in a case of y=2, and 12 in a case of y=3, and the total number thereof is 142.


Therefore, in a case of a simple composition, calculation can be performed also by a method using a geometric mean for a composition in which the tolerance factor (t) is 1 or close to 1 in the following formula.









t
=



(


r
A

+

r
X


)



2



(


r
B

+

r
X


)



=


d

A


-


X




2



d

B


-


X









[

Mathematical





Formula





10

]







Here, rA, rB, and rX represent the ionic radii at A site, B site, and an anion site, respectively. Note that rA+rX=dA−X and rB+rX=dB−X are satisfied in the rightmost side.


Then, for example, dA−X and dB−X are represented by the formulas in Table 3 below.












TABLE 3






Composition




y
formula
dA-X
dB-X







0
ABO3






(




i
=
1

n



(


(


r

A
i


+

r
O


)

3

)


)


1

3

n



=




i
=
1

n




(


r

A
i


+

r
O


)


1
n













(




i
=
1

n



(


(


r

B
i


+

r
O


)

3

)


)


1

3

n



=




i
=
1

n




(


r

B
i


+

r
O


)


1
n












1
ABO2N





(




i
=
1

n



(



(


r

A
i


+

r
O


)

2



(


r

A
i


+

r
N


)


)


)


1

3

n











(




i
=
1

n



(



(


r

B
i


+

r
O


)

2



(


r

B
i


+

r
N


)


)


)


1

3

n











2
ABON2





(




i
=
1

n



(


(


r

A
i


+

r
O


)




(


r

A
i


+

r
N


)

2


)


)


1

3

n











(




i
=
1

n



(


(


r

B
i


+

r
O


)




(


r

B
i


+

r
N


)

2


)


)


1

3

n











3
ABN3






(




i
=
1

n




(


r

A
i


+

r
N


)

3


)


1

3

n



=




i
=
1

n




(


r

A
i


+

r
N


)


1
n













(




i
=
1

n




(


r

B
i


+

r
N


)

3


)


1

3

n



=




i
=
1

n




(


r

B
i


+

r
N


)


1
n
















However, in a case where a plurality of elements is introduced into A site, B site, an anion site, or any combination thereof, and in a case where a solid solution ratio is finely adjusted, the number of combinations is enormous, and calculation takes a very long time.


Therefore, in the disclosed technology, by taking a logarithm of the formula of the tolerance factor (t), a stable combination of ions at A site, B site, and an anion site in the perovskite type crystal structure is determined by executing ground state search by an annealing method using an Ising model or quadratic unconstrained binary optimization (QUBO).


This makes it possible to perform calculation at a higher speed than a calculation method using a geometric mean even in a case where the number of combinations of ions at A site, B site, and an anion site is enormous.


(Design Program for Composition of Perovskite Type Crystal Structure and Design Method)


The disclosed design program is a design program for designing a composition of a perovskite type crystal structure, and includes causing a computer to determine a combination of Ai and Bi in the following formula (2) created by taking a logarithm of a formula of a tolerance factor (t) represented by the following formula (1), in which log t is 0 or close to 0, by executing ground state search by an annealing method using an Ising model or QUBO.


The disclosed design method is a design method for designing a composition of a perovskite type crystal structure using a computer, and includes determining a combination of Ai and Bi in the following formula (2) created by taking a logarithm of a formula of a tolerance factor (t) represented by the following formula (1), in which log t is 0 or close to 0, by executing ground state search by an annealing method using an Ising model or QUBO.









[

Mathematical





Formula





11

]











t
=



(


r
A

+

r
X


)



2



(


r
B

+

r
X


)



=


d

A


-


X




2



d

B


-


X









Formula






(
1
)







[

Mathematical





Formula





12

]












log





t

=





i
=
1

n



A
i


-




i
=
1

n



B
i







Formula






(
2
)








In formula (1), rA, rB, and rX represent ionic radii at A site, B site, and an anion site, respectively, when a general formula of a perovskite type crystal structure is represented by ABX (in which A represents a cation, B represents a cation, and X represents an anion), and dA−X=rA+rX and dB−X=rB+rX are satisfied.


In formula (2), Ai and Bi are represented by the following formulas (3) and (4), respectively.









[

Mathematical





Formula





13

]













1
n


log






d


A
i



-


X





A
i





Formula






(
3
)









1
n


log






2



d


B
i



-


X





B
i





Formula






(
4
)








In formulas (2), (3), and (4), n means n in A1pA2q . . . B1rB2s . . . Xn(p+q+ . . . =r+s+=n; each number represents an integer) which is a composition formula when ions A1, A2, . . . , and Au (composition ratio is p: q: . . . ) are located at A site, and ions B1, B2, . . . , and Bv (composition ratio is r: s: . . . ) are located at B site in ABX which is a general formula. Moreover, dA−X and dAi−X in formula (3) satisfy the following formula (5), and dB−X and dBi−X in formula (4) satisfy the following formula (6).









[

Mathematical





Formula





14

]












d

A


-


X


=



(




i
=
1

n



(


r

A
i


+

r
X


)


)


1
n


=


(




i
=
1

n



d


A
i



-


X



)


1
n







Formula






(
5
)








d

B


-


X


=



(




i
=
1

n



(


r

B
i


+

r
X


)


)


1
n


=


(




i
=
1

n



d


B
i



-


X



)


1
n







Formula






(
6
)








In formulas (5) and (6), n is the same as n in formulas (2) to (4).


In the design program and the design method, for example, the kind of ion at A site and the kind of ion at B site are set to one or more specific ions, and ground state search is executed.


X (anion) in ABX is not particularly limited, can be appropriately selected depending on a purpose, and may be, for example, O3−yNy (in which y represents an integer of 0 to 3) or a halogen.


When X represents O3−yNy, ABX is represented by ABO3−yNy (in which y represents an integer of 0 to 3).


Generally, the Ising model is a model represented by the following energy function.









H
=





i

j





J
ij



σ
i



σ
j



+



i




h
i




σ
i





(

σ
=

±
1


)








[

Mathematical





Formula





15

]







Here, σi represents an input variable, and σ∈{−1, +1} is satisfied. Jij is a (two-body) interaction parameter, and hi is referred to as a magnetic field as a (one-body) parameter. Note that a sign may be minus.


Here, input to an annealing machine that executes ground state search by an annealing method is performed by giving Jij and hi. When these parameters are given, the machine executes annealing and outputs an approximate solution of a combination a that minimizes energy.


Furthermore, QUBO is a model in which a variable has been converted into q∈{0, 1} which is compatible with bits instead of σ∈{−1, +1}.


The Ising model and QUBO are equivalent to each other because QUBO is obtained only by converting a variable in the Ising model [σ=2q−1 or q=(σ+1)/2].


An example of the disclosed design method will be described with reference to a flowchart.



FIG. 3 is a flowchart of an example of the design method.


In an example of the design method, first, a formula of a tolerance factor (t) is converted (S1). The conversion is performed by taking a logarithm of the formula of the tolerance factor (t) represented by formula (1), and formula (2) is created after the conversion.


Next, a combination of Ai and Bi in formula (2), in which log t is 0 or close to 0, is determined by executing ground state search by an annealing method using the Ising model or QUBO (S2).


An example of a method for deriving formula (2) from formula (1) of the tolerance factor (t) will be described below. In the following example, an anion (X) is “O3−yNy”.


The tolerance factor (t) is represented by the following formula.









t
=


(


r
A

+

r
X


)



2



(


r
B

+

r
X


)







[

Mathematical





Formula





16

]







Here, rA, rB, and rX represent the ionic radii at A site, B site, and an anion site, respectively. There is publicly known data of an ionic radius for each valence and coordination number of ionic species of most elements, and the publicly known data can be used. Examples of the publicly known data include publicly known data disclosed in Non-Patent Documents 2 and 3.


The data of Non-Patent Document 2 can be easily obtained from http://research.kek.jp/people/hironori/nakao/lab/info/ionradii-ele.html, http://pmsl.planet.sci.kobe-u.ac.jp/˜seto/?page_id=51&lang=ja, and the like.


The data of Non-Patent Document 3 can be easily obtained from https://supercon.nims.go.jp/matprop/radion.html and the like.


Then, assuming that rA+rX=dA−X and rB+rX=dB−X are satisfied, the tolerance factor (t) is represented by the following formula.









t
=


d

A


-


X




2



d

B


-


X








[

Mathematical





Formula





17

]







Then, in A1pA2q . . . B1rB2s . . . On(3−y)Nny (p+q+ . . . =r+s+ . . . =n; each number represents an integer) which is a composition formula when ions A1, A2, . . . , and Au (composition ratio is p: q: . . . ) are located at A site, and ions B1, B2, . . . , and B″ (composition ratio is r: s: . . . ) are located at B site in a perovskite type crystal structure represented by a general formula ABO3−yNy, a geometric mean of each of compositions of dA−X and dB−X is represented by the following.











d

A


-


X


=



(




i
=
1

n



(


r

A
i


+

r
X


)


)


1
n


=


(




i
=
1

n



d


A
i



-


X



)


1
n











d

B


-


X


=



(




i
=
1

n



(


r

B
i


+

r
X


)


)


1
n


=


(




i
=
1

n



d


B
i



-


X



)


1
n








[

Mathematical





Formula





18

]







In the formulas, Ai means selecting p A1s and q A2s from {A1, A2 . . . }. Bi means selecting r B1s and s B2s from {B1, B2 . . . }.


Based on the above description, the tolerance factor (t) is represented by the following formula.









t
=



d

A


-


X




2



d

B


-


X




=



(




i
=
1

n



d


A
i



-


X



)


1
n




2




(




i
=
1

n



d


B
i



-


X



)


1
n









[

Mathematical





Formula





19

]







Here, in order to determine a stable perovskite type crystal structure, a composition of Ai and Bi in which t is 1 or close to 1 is determined.


However, it is difficult to handle the above formula in calculation of an annealing method for performing ground state search for an energy function represented by the Ising model.


Therefore, a logarithm of the above formula is taken, and an infinite product is converted into a total sum as follows.













log





t

=



log



d

A


-


X




2



d

B


-


X











=




log






d

A


-


X



-

log






2



d

B


-


X










=





log


(




i
=
1

n



d


A
i



-


X



)



1
n


-










log


2




(




i
=
1

n



d


B
i



-


X



)


1
n









=





1
n






i
=
1

n



log






d


A
i



-


X





-











1
n






i
=
1

n



log


2



d


B
i



-


X











=







i
=
1

n




1
n


log






d


A
i



-


X




-













i
=
1

n




1
n


log


2



d


B
i



-


X











[

Mathematical





Formula





20

]







Here, log t is represented by the following formula (2) when definition is made as represented by the following formulas (3) and (4).









[

Mathematical





Formula





21

]













1
n


log






d


A
i



-


X





A
i





Formula






(
3
)









1
n


log






2



d


B
i



-


X





B
i





Formula






(
4
)







[

Mathematical





Formula





22

]












log





t

=





i
=
1

n



A
i


-




i
=
1

n



B
i







Formula






(
2
)








As described above, formula (2) can be derived from formula (1) of the tolerance factor (t).


Then, by setting Ai and Bi in a table and finding a combination of A and Bi in which log t is 0 or close to 0 by calculation of an annealing method, a composition of a stable perovskite type crystal structure can be determined.


Note that in order to determine a value at which log t is 0 or close to 0, the bottom of log may be 10 or e without any particular limitation.


Next, as one specific example, a method for determining a stable structure of a perovskite type oxide will be described.


As a prerequisite, a structure to be determined is an ABO3 type perovskite type oxide. Furthermore, a combination of A+ and B5+ in Table 1 is used. In this case, a=4 and b=4 are satisfied, and a sum (m) of the number of candidate ions at A site (a) and the number of candidate ions at B site (b) is a+b=8.


Furthermore, as a prerequisite, the composition is changed by 1/10=0.1 (n=p+q+=r+s+=10). Therefore, when ABO3 is A101310030, the combination of A+ and B5+ can be represented as follows.





Li0˜10Na0˜10K0˜10Ag0˜10Nb0˜10Sb0˜10Ta0˜10Bi0˜10O30  [Chemical Formula 1]


In this case, a matrix for optimization is illustrated in Table 4 below in which each column corresponds to each ionic species, and each of rows 1 to 10 represent a composition ratio.

















TABLE 4








Li
Na
K
Ag
Nb
Sb
Ta
Bi










i



















j
1
2
3
4
5
6
7
8 =
m



















n =
1

X1, 1

X2, 1
X3, 1
X4, 1
X5, 1
X6, 1
X7, 1
X8, 1



2
X1, 2
X2, 2
X3, 2
X4, 2
X5, 2
X6, 2
X7, 2
X8, 2



3
X1, 3
X2, 3
X3, 3
X4, 3
X5, 3
X6, 3

X7, 3

X8, 3



4
X1, 4
X2, 4

X3, 4

X4, 4
X5, 4
X6, 4
X7, 4
X8, 4



5
X1, 5

X2, 5

X3, 5
X4, 5
X5, 5
X6, 5
X7, 5
X8, 5



6
X1, 6
X2, 6
X3, 6
X4, 6
X5, 6
X6, 6
X7, 6
X8, 6



7
X1, 7
X2, 7
X3, 7
X4, 7

X5, 7

X6, 7
X7, 7
X8, 7



8
X1, 8
X2, 8
X3, 8
X4, 8
X5, 8
X6, 8
X7, 8
X8, 8



9
X1, 9
X2, 9
X3, 9
X4, 9
X5, 9
X6, 9
X7, 9
X8, 9



10
X1, 10
X2, 10
X3, 10
X4, 10
X5, 10
X6, 10
X7, 10
X8, 10









Here, regarding xi,j={0,1}, a composition (j) of each ion (i) is “1”. For example, in a case of Li1Na5K4Nb7Ta3O30, only the underlined parts in Table 4 (x1,1, x2,5, x3,4, x5,7, and x7,3) are “1”, and the other parts are “0”.


Meanwhile, Table 5 is obtained by applying the following formulas (3) and (4) to Table 4. At this time, the sign of B site is made negative in consideration of formula (2). Note that the values of Non-Patent Document 2 are used for each ion radii. Furthermore, in this calculation, the bottom of log is e.









[

Mathematical





Formula





23

]













1
n


log






d


A
i



-


X





A
i





Formula






(
3
)









1
n


log






2



d


B
i



-


X





B
i





Formula






(
4
)

















TABLE 5








Ai
Bi
















Li
Na
K
Ag
Nb
Sb
Ta
Bi









i















j
1
2
3
4
5
6
7
8


















1
0.0880
0.1058
0.1141
0.1019
−0.1103
−0.1084
−0.1103
−0.1158


2
0.1759
0.2116
0.2282
0.2038
−0.2205
−0.2167
−0.2205
−0.2315


3
0.2639
0.3173
0.3423
0.3057
−0.3308
−0.3251
−0.3308
−0.3473


4
0.3519
0.4231
0.4564
0.4075
−0.4411
−0.4335
−0.4411
−0.4630


5
0.4398
0.5289
0.5705
0.5094
−0.5513
−0.5419
−0.5513
−0.5788


6
0.5278
0.6347
0.6846
0.6113
−0.6616
−0.6502
−0.6616
−0.6945


7
0.6157
0.7405
0.7987
0.7132
−0.7719
−0.7586
−0.7719
−0.8103


8
0.7037
0.8462
0.9128
0.8151
−0.8822
−0.8670
−0.8822
−0.9260


9
0.7917
0.9520
1.0269
0.9170
−0.9924
−0.9754
−0.9924
−1.0418


10
0.8796
1.0578
1.1410
1.0188
−1.1027
−1.0837
−1.1027
−1.1575









Then, an objective function is represented by the following formula.






D
i,j=(Ai,jBi,j) D=(Σi=1mΣj=1nDij·xij)2→0  [Mathematical Formula 24]


In the above formula, the coefficient Dij is an array of numbers Ai and Bi calculated in advance from the logarithm of the ionic radius, and i and j represent the matrix in Table 5. Ground state search is performed such that the absolute value of D approaches 0.


Here, as a constraint term, a constraint term that at each ion (column to i) illustrated in Table 6 below, only one bit xi,j representing a composition (j) is “1” at most is added to the overall energy function.

















TABLE 6








Li
Na
K
Ag
Nb
Sb
Ta
Bi










i



















j
1
2
3
4
5
6
7
8 =
m



















n =
1
x1, 1
x2, 1
x3, 1
x4, 1
x5, 1
x6, 1
x7, 1
x8, 1



2
x1, 2
x2, 2
x3, 2
x4, 2
x5, 2
x6, 2
x7, 2
x8, 2



3
x1, 3
x2, 3
x3, 3
x4, 3
x5, 3
x6, 3
x7, 3
x8, 3



4
x1, 4
x2, 4
x3, 4
x4, 4
x5, 4
x6, 4
x7, 4
x8, 4



5
x1, 5
x2, 5
x3, 5
x4, 5
x5, 5
x6, 5
x7, 5
x8, 5



6
x1, 6
x2, 6
x3, 6
x4, 6
x5, 6
x6, 6
x7, 6
x8, 6



7
x1, 7
x2, 7
x3, 7
x4, 7
x5, 7
x6, 7
x7, 7
x8, 7



8
x1, 8
x2, 8
x3, 8
x4, 8
x5, 8
x6, 8
x7, 8
x8, 8



9
x1, 9
x2, 9
x3, 9
x4, 9
x5, 9
x6, 9
x7, 9
x8, 9



10 
x1, 10
x2, 10
x3, 10
x4, 10
x5, 10
x6, 10
x7, 10
x8, 10



Fi, j = Σj=1nxi, j
F1, j
F2, j
F3, j
F4, j
F5, j
F6, j
F7, j
F8, j









This constraint term F is represented by the following formula.





Σj=1nxi,j=Fiε{0,1} F=Σi=1m(Fi(Fi−1))=0  [Mathematical Formula 25]


By formulating the constraint term as the constraint term F, it is guaranteed that there is at most one bit that is 1 in a certain ionic species column, and it can be interpreted that the bit represents a composition ratio of the ionic species.


Moreover, as a constraint term, a constraint term that the total number of cations at A site and B site is a predetermined value is added to the overall energy function.


This constraint term G is represented by the following formula.





Σi=1mΣj=1nj·xi,j=(p+q+ . . . )+(r+s+ . . . )=n+n=2n  [Mathematical Formula 26]






G=((Σi=1mΣj=1ni·xi,j)−2n)2=0


By formulating the constraint term as the constraint term G, it is guaranteed that the total number of cations at A site and B site is the number of cations determined by a perovskite type crystal structure.


Moreover, as a constraint term, a constraint term that the number of cations at A site and the number of cations at B site illustrated in Table 7 below are the same as each other is added to the overall energy function.










TABLE 7








Hi, j










A site
B site
















Li
Na
K
Ag
Nb
Sb
Ta
Bi









i















j
1
2
3
4
5
6
7
8


















1
1
1
1
1
−1
−1
−1
−1


2
2
2
2
2
−2
−2
−2
−2


3
3
3
3
3
−3
−3
−3
−3


4
4
4
4
4
−4
−4
−4
−4


5
5
5
5
5
−5
−5
−5
−5


6
6
6
6
6
−6
−6
−6
−6


7
7
7
7
7
−7
−7
−7
−7


8
8
8
8
8
−8
−8
−8
−8


9
9
9
9
9
−9
−9
−9
−9


10
10
10
10
10
−10
−10
−10
−10









This constraint term H is represented by the following formula.






H=(Σi=1mΣj=1nHij·xij)2=0  [Mathematical Formula 27]


Although the total number of cations is guaranteed by the constraint term G, it is not guaranteed that the number of cations at each of A site and B site is the number of cations determined by a perovskite type crystal structure. By adding the constraint term H, it is guaranteed that the number of cations at A site is the same as the number of cations at B site.


Here, as illustrated in Table 7, by using a numerical table in which the signs of the numbers representing the compositions at A site and B site are reversed to each other, an ionic species in which xij is simply 1 and a total sum of the compositions are determined. When the total sum is 0, it is possible to guarantee that a condition that the number of cations at A site is the same as the number of cations at B site is satisfied.


The above-described objective function and constraint term are summarized as follows.










Objective





function







D
=



(




i
=
1

m






j
=
1

n




D
ij

·

x
ij




)

2


0








Constraint





term







{




F
=





i
=
1

m



(


F
i



(


F
i

-
1

)


)


=
0






F
i

=




j
=
1

n



x

i
,
j









G
=



(


(




i
=
1

m






j
=
1

n



j
·

x

i
,
j





)

-

2

n


)

2

=
0












H
=



(




i
=
1

m






j
=
1

n




H
ij

·

x
ij




)

2

=
0















[

Mathematical





Formula





28

]







Note that the closer the objective function is to 0, the better. Furthermore, the constraint term is 0.


Then, the overall energy function (E) is represented as follows.





Overall energy function E=αD+βF+γG+δH  [Mathematical Formula 29]


Since all the terms D, F, G, and H each are 0 or more, E is a value of 0 or more.


Here, α, β, γ, and δ are parameters that adjust a balance between the constraint term and the objective function, and are set appropriately.


Then, by determining a bit pattern of a matrix in Table 4 in which E is from a minimum value to 0 by annealing, it is possible to design ionic species that achieve a perovskite type oxide having a stable crystal structure containing Li, Na, K, Ag, or any combination thereof, and Nb, Sb, Ta, Bi, or any combination thereof, and a combination of compositions thereof at a high speed.


Note that as a prerequisite in a specific example, a structure to be determined is an ABO3 type perovskite type oxide, and is moreover, a combination of A+ and B5+. Therefore, as a prerequisite in the above specific example, the charge is neutral.


Meanwhile, in a case where the charge does not become neutral only by the prerequisite, a constraint term that the charge becomes neutral is added to the overall energy function (E).


An annealing machine may be a quantum annealing machine, a semiconductor annealing machine using semiconductor technology, or simulated annealing executed by software using a central processing unit (CPU) or a graphics processing unit (GPU) as long as being a computer that adopts an annealing method that performs ground state search for an energy function represented by an Ising model.


Examples of the annealing method and the annealing machine will be described below.


The annealing method (simulated annealing method, SA method) is a kind of Monte Carlo method, and is a method for probabilistically determining a solution using a random number value. The following describes a problem of minimizing a value of an evaluation function to be optimized as an example. The value of the evaluation function is referred to as energy. For maximization, the sign of the evaluation function only needs to be changed.


A process is started from an initial state in which one of discrete values is assigned to each variable. With respect to a current state (combination of variable values), a state close to the current state (for example, a state in which only one variable is changed) is selected, and a state transition therebetween is considered. An energy change with respect to the state transition is calculated. Depending on the value, it is probabilistically determined whether to adopt the state transition to change the state or not to adopt the state transition to keep the original state. In a case where an adoption probability when the energy goes down is selected to be larger than that when the energy goes up, it can be expected that a state change will occur in a direction that the energy goes down on average, and that a state transition will occur to a more appropriate state over time. Then, finally, there is a possibility that an optimal solution or an approximate solution that gives energy close to the optimal value can be obtained. If this is adopted when the energy goes down deterministically and is not adopted when the energy goes up, the energy change decreases monotonically in a broad sense with respect to time, but no further change occurs when a local solution is reached. As described above, since there are a very a large number of local solutions in the discrete optimization problem, a state is almost certainly caught in a local solution that is not so close to an optimum value. Therefore, it is important to determine probabilistically whether to adopt a state transition.


In the annealing method, it has been proved that by determining an adoption (permissible) probability of a state transition as follows, a state reaches an optimum solution in the limit of infinite time (iteration count).


(A) For an energy change (energy reduction) value (−ΔE) due to a state transition, a permissible probability p of the state transition is determined by any one of the following functions f ( ).









[

Mathematical





Formula





30

]












p


(


Δ





E

,
T

)


=

f


(


-
Δ







E
/
T


)






Formula






(

A


-


1

)







[

Mathematical





Formula





31

]














f
metro



(
x
)


-

min


(

1
,

e
x


)









(

Metropolis





method

)





Formula






(

A


-


2

)







[

Mathematical





Formula





32

]














f
Gibbs



(
x
)


=

1

1
+

e

-
x











(

Gibbs





method

)





Formula






(

A


-


3

)








Here, T is a parameter called a temperature value and is changed as follows.


(B) The temperature value T is logarithmically reduced with respect to an iteration count t as represented by the following formula.









[

Mathematical





Formula





33

]











T
=



T
0



log


(
c
)




log


(

t
+
c

)







Formula






(
B
)








Here, T0 is an initial temperature value, and is desirably a sufficiently large value depending on a problem.


In a case where the permissible probability represented by the formula described in (A) is used, if a steady state is reached after sufficient iterations, an occupation probability of each state follows a Boltzmann distribution for a thermal equilibrium state in thermodynamics. Then, when the temperature is gradually lowered from a high temperature, an occupation probability of a low energy state increases. Therefore, the low energy state may be obtained when the temperature is sufficiently lowered. Since this state is very similar to a state change caused when a material is annealed, this method is referred to as an annealing method (or pseudo-annealing method). At this time, probabilistic occurrence of a state transition that increases energy corresponds to thermal excitation in physics.



FIG. 4 illustrates a conceptual configuration of an optimizing device (arithmetic unit 18) that performs the annealing method. However, in the following description, a case of generating a plurality of state transition candidates is also described, but an original basic annealing method generates one transition candidate at a time.


First, an optimizing device 100 includes a state holding unit 111 that holds a current state S (a plurality of state variable values). Furthermore, the optimizing device 100 includes an energy calculation unit 112 that calculates an energy change value {−ΔEi} of each state transition when a state transition from the current state S occurs due to a change in any one of the plurality of state variable values. In addition, the optimizing device 100 includes a temperature control unit 113 that controls a temperature value T and a transition control unit 114 that controls a state change.


The transition control unit 114 probabilistically determines whether to accept or not any one of a plurality of state transitions according to a relative relationship between an energy change value {−ΔEi} and thermal excitation energy on the basis of a temperature value T, the energy change value {−ΔEi}, and a random value.


When the transition control unit 114 is further subdivided, the transition control unit 114 includes a candidate generation unit 114a that generates a state transition candidate, and a propriety determination unit 114b for probabilistically determining whether or not to permit a state transition for each candidate on the basis of an energy change value {−ΔEi} and a temperature value T. Moreover, the transition control unit 114 includes a transition determination unit 114c that determines a candidate to be adopted from the candidates that have been permitted, and a random number generation unit 114d that generates a random variable.


Operation in one iteration is as follows. First, the candidate generation unit 114a generates one or more state transition candidates (candidate number {Ni}) from the current state S held in the state holding unit 111 to a next state. The energy calculation unit 112 calculates an energy change value {−ΔEi} for each state transition listed as a candidate using the current state S and the state transition candidates. The propriety determination unit 114b permits a state transition with a permissible probability of the formula described in above (A) according to an energy change value {−ΔEi} of each state transition using the temperature value T generated by the temperature control unit 113 and the random variable (random number value) generated by the random number generation unit 114d. Then, the propriety determination unit 114b outputs propriety {fi} of each state transition. In a case where there is a plurality of permitted state transitions, the transition determination unit 114c randomly selects one of the permitted state transitions using a random number value. Then, the transition determination unit 114c outputs a transition number N of the selected state transition and transition propriety f. In a case where there is a permitted state transition, a state variable value stored in the state holding unit 111 is updated according to the adopted state transition.


Starting from an initial state, the above-described iteration is repeated while the temperature value is lowered by the temperature control unit 113. When a completion determination condition such as reaching a certain iteration count or energy falling below a certain value is satisfied, the operation is completed. An answer output by the optimizing device 110 is a state when the operation is completed.



FIG. 5 is a circuit-level block diagram of a configuration example of a transition control unit in a normal annealing method for generating one candidate at a time, particularly an arithmetic unit for a propriety determination unit.


The transition control unit 114 includes a random number generation circuit 114b1, a selector 114b2, a noise table 114b3, a multiplier 114b4, and a comparator 114b5.


The selector 114b2 selects and outputs a value corresponding to the transition number N which is a random number value generated by the random number generation circuit 114b1 among energy change values {−ΔEi} calculated for each state transition candidates.


The function of the noise table 114b3 will be described later. As the noise table 114b3, for example, a memory such as a random access memory (RAM) or a flash memory can be used.


The multiplier 114b4 outputs a product obtained by multiplying a value output by the noise table 114b3 by a temperature value T (corresponding to the above-described thermal excitation energy).


The comparator 114b5 outputs a comparison result obtained by comparing a multiplication result output by the multiplier 114b4 with −ΔE which is an energy change value selected by the selector 114b2 as transition propriety f.


The transition control unit 114 illustrated in FIG. 5 basically implements the above-described functions as they are. However, a mechanism that permits a state transition with a permissible probability represented by the formula described in (A) has not been described so far, and therefore will be described.


A circuit that outputs 1 at a permissible probability p and outputs 0 at a permissible probability (1−p) can be achieved by inputting a uniform random number that takes the permissible probability p for input A and takes a value of an interval [0, 1) for input B in a comparator that has two inputs A and B, outputs 1 when A>B is satisfied and outputs 0 when A<B is satisfied. Therefore, if a value of a permissible probability p calculated on the basis of the energy change value and the temperature value T using the formula described in (A) is input to input A of this comparator, the above-described function can be achieved.


That is, with a circuit that outputs 1 when f (ΔE/T) is larger than u, in which f is a function used in the formula described in (A), and u is a uniform random number that takes a value of an interval [0, 1), the above-described function can be achieved.


Although it may be left as it is, the same function can be achieved also by the following modification. Applying the same monotonically increasing function to two numbers does not change the magnitude relationship. Therefore, an output is not changed even if the same monotonically increasing function is applied to two inputs of the comparator. If an inverse function f−1 of f is adopted as this monotonically increasing function, it can be found that a circuit that outputs 1 when −ΔE/T is larger than f−1(u) may be sufficient. Moreover, since the temperature value T is positive, a circuit that outputs 1 when −ΔE is larger than Tf−1(u) may be sufficient. The noise table 114b3 in FIG. 5 is a conversion table for achieving this inverse function f−1(u), and is a table that outputs a value of the following function to an input that discretizes the interval [0,1).









[

Mathematical





Formula





34

]













f
metro

-
1




(
u
)


=

log


(
u
)






Formula






(

C


-


1

)







[

Mathematical





Formula





35

]













f
Gibbs

-
1




(
u
)


=

log


(

u

1
-
u


)






Formula






(

C


-


2

)








The transition control unit 114 also includes a latch that holds a determination result and the like, a state machine that generates a timing thereof, and the like, but these are not illustrated in FIG. 5 for simplicity of illustration.



FIG. 6 is an operation flow of the transition control unit 114. The operation flow includes a step of selecting one state transition as a candidate (S0001), a step of determining propriety of the state transition by comparing an energy change value for the state transition with a product of a temperature value and a random number value (S0002), and a step of adopting the state transition if the state transition is permitted, and not adopting the state transition if the state transition is not permitted (S0003).


A program can be created using various known programming languages according to the configuration of a computer system used, the kind and version of an operating system, and the like.


The program may be recorded on a recording medium such as an internal hard disk or an external hard disk, or may be recorded on a recording medium such as a compact disc read only memory (CD-ROM), a digital versatile disk read only memory (DVD-ROM), a magneto-optical (MO) disk, or a universal serial bus (USB) memory [USB flash drive], for example. In a case where the program is recorded on a recording medium such as a CD-ROM, a DVD-ROM, an MO disk, or a USB memory, the program can be directly used through a recording medium reader included in the computer system, or be installed into a hard disk and be then used, as needed. Alternatively, the program can be recorded in an external storage area (another computer or the like) that is accessible from the computer system through an information communication network, and this program can be directly used from the external storage area through an information communication network, or be installed into a hard disk and then be used, as needed.


The program may be divided into respective arbitrary processes, and be recorded on a plurality of recording media.


(Recoding Medium)


A recording medium disclosed in the present case records the design program disclosed in the present case.


The recording medium is computer-readable.


The recording medium disclosed in the present case is not particularly limited, and can be appropriately selected according to a purpose. Examples of the recording medium include an internal hard disk, an external hard disk, a CD-ROM, a DVD-ROM, an MO disk, and a USB memory.


Furthermore, the recording medium disclosed in the present case may be a plurality of recording media on which the design program disclosed in the present case is divided into respective arbitrary processes, and is recorded.


The recording medium may be transitory or non-transitory.


(Design Device)


The disclosed design device includes at least an execution unit, and further includes another unit as needed.


The disclosed design device designs a composition of a perovskite type crystal structure.


The execution unit determines a combination of Ai and Bi in formula (2) created by taking a logarithm of a formula of a tolerance factor (t) represented by formula (1), in which log t is 0 or close to 0, by executing ground state search by an annealing method using an Ising model or QUBO.



FIG. 7 illustrates a configuration example of the disclosed design device.


A design device 10 includes a CPU 11, a memory 12, a storage unit 13, a display unit 14, an input unit 15, an output unit 16, an I/O interface unit 17, and the like that are connected to each other via a system bus 18, for example.


The CPU 11 performs arithmetic operations (such as four arithmetic operations and comparison operations), hardware and software operation control, and the like.


The memory 12 is a memory such as a random access memory (RAM) or a read only memory (ROM). The RAM stores an operating system (OS), an application program, and the like read from the ROM and the storage unit 13, and functions as a main memory and a work area of the CPU 11.


The storage unit 13 is a device that stores various kinds of programs and data, and may be a hard disk, for example. The storage unit 13 stores a program to be executed by the CPU 11, data to be used in executing the program, an OS, and the like.


A program is stored in the storage unit 13, is loaded into the RAM (main memory) of the memory 12, and is executed by the CPU 11.


The display unit 14 is a display device, and may be a display device such as a CRT monitor or a liquid crystal panel, for example.


The input unit 15 is an input device for various kinds of data, and may be a keyboard, a pointing device (such as a mouse), or the like, for example.


The output unit 16 is an output device for various kinds of data, and may be a printer, for example.


The I/O interface unit 17 is an interface for connecting various external devices. For example, the I/O interface unit 17 enables inputting/outputting of data into/from a CD-ROM, a DVD-ROM, an MO disk, a USB memory, or the like.



FIG. 8 illustrates another configuration example of the disclosed design device.


The configuration example in FIG. 8 is a cloud type configuration example, in which the CPU 11 is independent of the storage unit 13 and the like. In this configuration example, a computer 30 that includes the storage unit 13 and the like is connected to a computer 40 that includes the CPU 11 via network interface units 19 and 20.


The network interface units 19 and 20 are hardware that performs communication using the Internet.



FIG. 9 illustrates another configuration example of the disclosed design device.


The configuration example in FIG. 9 is a cloud type configuration example, in which the storage unit 13 is independent of the CPU 11 and the like. In this configuration example, a computer 30 that includes the CPU 11 and the like is connected to a computer 40 that includes the storage unit 13 via the network interface units 19 and 20.


All examples and conditional language provided herein are intended for the pedagogical purposes of aiding the reader in understanding the invention and the concepts contributed by the inventor to further the art, and are not to be construed as limitations to such specifically recited examples and conditions, nor does the organization of such examples in the specification relate to a showing of the superiority and inferiority of the invention. Although one or more embodiments of the present invention have been described in detail, it should be understood that the various changes, substitutions, and alterations could be made hereto without departing from the spirit and scope of the invention.

Claims
  • 1. A non-transitory computer-readable recording medium having stored therein a design program for causing a computer to execute a process for designing a composition of a perovskite type crystal structure, the design program comprising causing a computer to determine a combination of A and B in the following formula (2) created by taking a logarithm of a formula of a tolerance factor (t) represented by the following formula (1), in which log t is 0 or close to 0, by executing ground state search by an annealing method using an Ising model or QUBO,
  • 2. The non-transitory computer-readable recording medium having stored therein a design program according to claim 1, wherein the kind of ion at the A site and the kind of ion at the B site are set to one or more specific ions, and the ground state search is executed.
  • 3. The non-transitory computer-readable recording medium having stored therein a design program according to claim 2, wherein the ABX is represented by ABO3−yNy (in which y represents an integer of 0 to 3).
  • 4. A design method for designing a composition of a perovskite type crystal structure using a computer, the design method comprising determining a combination of A and B in the following formula (2) created by taking a logarithm of a formula of a tolerance factor (t) represented by the following formula (1), in which log t is 0 or close to 0, by executing ground state search by an annealing method using an Ising model or QUBO,
  • 5. The design method according to claim 4, wherein the kind of ion at the A site and the kind of ion at the B site are set to one or more specific ions, and the ground state search is executed.
  • 6. The design method according to claim 4, wherein the ABX is represented by ABO3−yNy (in which y represents an integer of 0 to 3).
Priority Claims (1)
Number Date Country Kind
2019-154807 Aug 2019 JP national