Showing 51–100 of 121 results for author: Tsuchiya, T

A robust discontinuous Galerkin scheme on anisotropic meshes

Authors: Takahito Kashiwabara, Takuya Tsuchiya

Abstract: Discontinuous Galerkin (DG) methods are extensions of the usual Galerkin finite element methods. Although there are vast amount of studies on DG methods, most of them have assumed shape-regularity conditions on meshes for both theoretical error analysis and practical computations. In this paper, we present a new symmetric interior penalty DG scheme with a modified penalty term. We show that, witho… ▽ More Discontinuous Galerkin (DG) methods are extensions of the usual Galerkin finite element methods. Although there are vast amount of studies on DG methods, most of them have assumed shape-regularity conditions on meshes for both theoretical error analysis and practical computations. In this paper, we present a new symmetric interior penalty DG scheme with a modified penalty term. We show that, without imposing the shape-regularity condition on the meshes, the new DG scheme inherits all of the good properties of standard DG methods, and is thus robust on anisotropic meshes. Numerical experiments confirm the theoretical error estimates obtained. △ Less

Submitted 17 May, 2021; v1 submitted 19 October, 2020; originally announced October 2020.

Comments: to appear in Japan Journal of Industrial and Applied Mathematics

MSC Class: 65N30; 65N50

Lattice Softening in Metastable bcc CoxMn100-x(001) Ferromagnetic Layers for a Strain-Less Magnetic Tunnel Junction

Authors: Kelvin Elphick, Kenta Yoshida, Tufan Roy, Tomohiro Ichinose, Kazuma Kunimatsu, Tomoki Tsuchiya, Masahito Tsujikawa, Yasuyoshi Nagai, Shigemi Mizukami, Masafumi Shirai, Atsufumi Hirohata

Abstract: In spintronics, one of the long standing questions is why the MgO-based magnetic tunnel junction (MTJ) is almost the only option to achieve a large tunnelling magnetoresistance (TMR) ratio at room temperature (RT) but not as large as the theoretical prediction. This study focuses on the development of an almost strain-free MTJ using metastable bcc CoxMn100-x ferromagnetic films. We have investigat… ▽ More In spintronics, one of the long standing questions is why the MgO-based magnetic tunnel junction (MTJ) is almost the only option to achieve a large tunnelling magnetoresistance (TMR) ratio at room temperature (RT) but not as large as the theoretical prediction. This study focuses on the development of an almost strain-free MTJ using metastable bcc CoxMn100-x ferromagnetic films. We have investigated the degree of crystallisation in MTJ consisting of CoxMn100-x/MgO/CoxMn100-x (x = 66, 75, 83 and 86) in relation to their TMR ratios. Cross-sectional high resolution transmission electron microscopy (HRTEM) reveals that almost consistent lattice constants of these layers for 66 < x < 83 with maintaining large TMR ratios of 229% at RT, confirming the soft nature of the CoxMn100-x layer with some dislocations at the MgO/Co75Mn25 interfaces. For x = 86, on the other hand, the TMR ratio is found to be reduced to 142% at RT, which is partially attributed to the increased number of the dislocations at the MgO/Co86Mn14 interfaces and amorphous grains identified in the MgO barrier. Ab-initio calculations confirm the crystalline deformation stability across a broad compositional range in CoMn, proving the advantage of a strain-free interface for much larger TMR ratios. △ Less

Submitted 9 October, 2020; originally announced October 2020.

Structural and magnetic properties of epitaxial films of CoIrMnAl equiatomic quaternary Heusler alloy designed from first-principles calculation

Authors: Ren Monma, Tufan Roy, Kazuya Suzuki, Tomoki Tsuchiya, Masahito Tsujikawa, Shigemi Mizukami, Masafumi Shirai

Abstract: MgO-barrier magnetic tunnel junctions with half-metallic Heusler alloy electrodes attracted much attentions for spintronics applications. However, a couples of issues related to materials still remain to be resolved for practical uses. Recently, quarterly equiatomic Heusler alloys attracted attentions as advanced Heusler alloys. CoIrMnZ (Z = Al, Si, Ga, and Ge) half-metallic Heusler alloys were de… ▽ More MgO-barrier magnetic tunnel junctions with half-metallic Heusler alloy electrodes attracted much attentions for spintronics applications. However, a couples of issues related to materials still remain to be resolved for practical uses. Recently, quarterly equiatomic Heusler alloys attracted attentions as advanced Heusler alloys. CoIrMnZ (Z = Al, Si, Ga, and Ge) half-metallic Heusler alloys were designed and predicted to have moderate Curie temperatures and to be a lattice-matched with the MgO barrier, being advantageous to traditional Co2 Heusler alloys [T. Roy et al., J. Magn. Magn. Mater. 498, 166092 (2020)]. Here we experimentally investigated structure and magnetic properties for thin films of one of those alloys, CoIrMnAl with a sputtering deposition. We successfully obtained the films with the B2 chemical ordering even with no post-annealing process. The lattice constant for the films annealed at 500-600$^\circ$C approximates the predicted values. The magnetization at 10 K was near 500 kA/m and the Curie temperature was approximately 400 K were observed, which were about 70% of the values predicted for the fully ordered structure. The magnetic properties observed in those B2 ordered films were well explained by ferrimagnetism appeared in B2 ordered CoIrMnAl with full-swap disorders of Co-Ir and Mn-Al and almost full-swap disorder of Co-Mn, predicted from the first-principles calculations. △ Less

Submitted 9 October, 2020; originally announced October 2020.

Comments: 20 pages, 7 figures

High tunnel magnetoresistance and magnetism in metastable bcc Co$_{1-x}$Mn$_x$-based magnetic tunnel junctions

Authors: Kazuma Kunimatsu, Tufan Roy, Jun Okabayashi, Kelvin Elphick, Tomoki Tsuchiya, Tomohiro Ichinose, Masahito Tsujikawa, Atsufumi Hirohata, Masafumi Shirai, Shigemi Mizukami

Abstract: Co-rich Co$_{1-x}$Mn$_x$ alloys have hcp or fcc disordered phases and those ferromagnetic orderings are significantly deteriorated with increasing Mn concentration $x$ in bulk. On the other hand, those metastable bcc phases show properties attractive to spintronics, e.g., high tunnel magnetoresistance (TMR) ratio of more than 200% (600%) at 300 K (10 K) in magnetic tunnel junctions (MTJs) with the… ▽ More Co-rich Co$_{1-x}$Mn$_x$ alloys have hcp or fcc disordered phases and those ferromagnetic orderings are significantly deteriorated with increasing Mn concentration $x$ in bulk. On the other hand, those metastable bcc phases show properties attractive to spintronics, e.g., high tunnel magnetoresistance (TMR) ratio of more than 200% (600%) at 300 K (10 K) in magnetic tunnel junctions (MTJs) with the $x$ = 0.25 bcc alloy electrodes [Kunimatsu et al., Appl. Phys. Express 13, 083007 (2020)]. Here, we report systematic study of structure and magnetism for epitaxial thin films as well as the TMR effect in MgO(001)-barrier MTJs with electrodes comprising those bcc films. The single phase bcc Co$_{1-x}$Mn$_x$(001) films were pseudomorphically grown on Cr(001) for 0.14 < $x$ < 0.50 with a sputtering technique. The magnetization was larger than that of pure Co for $x$ = 0.14-0.25 and deceased with further increasing $x$. This behavior mainly stemmed from the composition dependence of magnetic moment of Mn that exceeded 2 $μ_B$ at the maximum, unveiled by X-ray magnetic circular dichroism. Correspondingly, within the range of 0.25 < $x$ < 0.37, the TMR ratio decreased from 620% (229%) to 450% (194%) at 10 K (300 K) as $x$ increased. We discussed the relationship between the magnetism and high TMR ratio with different $x$ with the aid of the ab-initio band structure calculations. △ Less

Submitted 8 October, 2020; originally announced October 2020.

Comments: 21 pages, 10 figures

Spin transport in a lateral spin valve with a suspended Cu channel

Authors: Kenjiro Matsuki, Ryo Ohshima, Livio Leiva, Yuichiro Ando, Teruya Shinjo, Toshiyuki Tsuchiya, Masashi Shiraishi

Abstract: We study spin transport through a suspended Cu channel by an electrical non-local 4-terminal measurement for future spin mechanics applications. A magnetoresistance due to spin transport through the suspended Cu channel is observed, and its magnitude is comparable to that of a conventional fixed Cu lateral spin valve. The spin diffusion length in the suspended Cu channel is estimated to be 340 nm… ▽ More We study spin transport through a suspended Cu channel by an electrical non-local 4-terminal measurement for future spin mechanics applications. A magnetoresistance due to spin transport through the suspended Cu channel is observed, and its magnitude is comparable to that of a conventional fixed Cu lateral spin valve. The spin diffusion length in the suspended Cu channel is estimated to be 340 nm at room temperature from the spin signal dependence on the distance between the ferromagnetic injector and detector electrodes. This value is found to be slightly shorter than in a fixed Cu. The decrease in the spin diffusion length in the suspended Cu channel is attributed to an increase in spin scattering originating from naturally oxidized Cu at the bottom of the Cu channel. △ Less

Submitted 22 June, 2020; originally announced June 2020.

Comments: 12 pages, 3 figures (To appear in Scientific Reports)

Analysis and Design of Thompson Sampling for Stochastic Partial Monitoring

Authors: Taira Tsuchiya, Junya Honda, Masashi Sugiyama

Abstract: We investigate finite stochastic partial monitoring, which is a general model for sequential learning with limited feedback. While Thompson sampling is one of the most promising algorithms on a variety of online decision-making problems, its properties for stochastic partial monitoring have not been theoretically investigated, and the existing algorithm relies on a heuristic approximation of the p… ▽ More We investigate finite stochastic partial monitoring, which is a general model for sequential learning with limited feedback. While Thompson sampling is one of the most promising algorithms on a variety of online decision-making problems, its properties for stochastic partial monitoring have not been theoretically investigated, and the existing algorithm relies on a heuristic approximation of the posterior distribution. To mitigate these problems, we present a novel Thompson-sampling-based algorithm, which enables us to exactly sample the target parameter from the posterior distribution. Besides, we prove that the new algorithm achieves the logarithmic problem-dependent expected pseudo-regret $\mathrm{O}(\log T)$ for a linearized variant of the problem with local observability. This result is the first regret bound of Thompson sampling for partial monitoring, which also becomes the first logarithmic regret bound of Thompson sampling for linear bandits. △ Less

Submitted 10 June, 2021; v1 submitted 17 June, 2020; originally announced June 2020.

Comments: Published version in NeurIPS 2020 (https://proceedings.neurips.cc/paper/2020/hash/649d45bf179296e31731adfd4df25588-Abstract.html), 39 pages, 4 figures

Crouzeix-Raviart and Raviart-Thomas finite-element error analysis on anisotropic meshes violating the maximum-angle condition

Authors: Hiroki Ishizaka, Kenta Kobayashi, Takuya Tsuchiya

Abstract: We investigate the piecewise linear nonconforming Crouzeix-Raviar and the lowest order Raviart-Thomas finite-element methods for the Poisson problem on three-dimensional anisotropic meshes. We first give error estimates of the Crouzeix-Raviart and the Raviart-Thomas finite-element approximate problems. We next present the equivalence between the Raviart-Thomas finite-element method and the enriche… ▽ More We investigate the piecewise linear nonconforming Crouzeix-Raviar and the lowest order Raviart-Thomas finite-element methods for the Poisson problem on three-dimensional anisotropic meshes. We first give error estimates of the Crouzeix-Raviart and the Raviart-Thomas finite-element approximate problems. We next present the equivalence between the Raviart-Thomas finite-element method and the enriched Crouzeix-Raviart finite-element method. We emphasise that we do not impose either shape-regular or maximum-angle condition during mesh partitioning. Numerical results confirm the results that we obtained. △ Less

Submitted 6 October, 2020; v1 submitted 31 May, 2020; originally announced June 2020.

Comments: 29 pages, 3 figures

Robustness of football passing networks against continuous node and link removals

Authors: Genki Ichinose, Tomohiro Tsuchiya, Shunsuke Watanabe

Abstract: We can construct passing networks when we regard a player as a node and a pass as a link in football games. Thus, we can analyze the networks by using tools developed in network science. Among various metrics characterizing a network, centrality metrics have often been used to identify key players in a passing network. However, a tolerance to players being marked or passes being blocked in a passi… ▽ More We can construct passing networks when we regard a player as a node and a pass as a link in football games. Thus, we can analyze the networks by using tools developed in network science. Among various metrics characterizing a network, centrality metrics have often been used to identify key players in a passing network. However, a tolerance to players being marked or passes being blocked in a passing network, namely the robustness of the network, has been poorly understood so far. Because the robustness of a passing network can be connected to the increase of ball possession, it would be deeply related to the outcome of a game. Here, we developed position-dependent passing networks of 45 matches by 18 teams belonging to the Japan Professional Football League. Then, nodes or links were continuously removed from the passing networks by two removal methods so that we could evaluate the robustness of these networks against the removals. The results show that these passing networks commonly contain hubs (key players making passes). Then, we analyzed the most robust networks in detail and found that their full backs increase the robustness by often invoking a heavier emphasis on attack. Moreover, we showed that the robustness of the passing networks and the team performance have a positive correlation. △ Less

Submitted 27 October, 2020; v1 submitted 27 March, 2020; originally announced March 2020.

Comments: 18 pages, 9 figures

MSC Class: 05C82; 91D30

Journal ref: Chaos, Solitons & Fractals 147, 110973, 2021

General theory of interpolation error estimates on anisotropic meshes

Authors: Hiroki Ishizaka, Kenta Kobayashi, Takuya Tsuchiya

Abstract: We propose a general theory of estimating interpolation error for smooth functions in two and three dimensions. In our theory, the error of interpolation is bound in terms of the diameter of a simplex and a geometric parameter. In the two-dimensional case, our geometric parameter is equivalent to the circumradius of a triangle. In the three-dimensional case, our geometric parameter also represents… ▽ More We propose a general theory of estimating interpolation error for smooth functions in two and three dimensions. In our theory, the error of interpolation is bound in terms of the diameter of a simplex and a geometric parameter. In the two-dimensional case, our geometric parameter is equivalent to the circumradius of a triangle. In the three-dimensional case, our geometric parameter also represents the flatness of a tetrahedron. Through the introduction of the geometric parameter, the error estimates newly obtained can be applied to cases that violate the maximum-angle condition. △ Less

Submitted 9 June, 2021; v1 submitted 22 February, 2020; originally announced February 2020.

Comments: 29 pages, 2 figures. In "General theory of interpolation error estimates on anisotropic meshes" (Japan Journal of Industrial and Applied Mathematics, 38 (2021) 163-191), Theorem 2 has been found to be incorrect and misleading. Corrections to an error are given in "General theory of interpolation error estimates on anisotropic meshes, part II", arXiv:2106.03339

Locating arrays with mixed alphabet sizes

Authors: Ce Shi, Hao **, Tatsuhiro Tsuchiya

Abstract: Locating arrays (LAs) can be used to detect and identify interaction faults among factors in a component-based system. The optimality and constructions of LAs with a single fault have been investigated extensively under the assumption that all the factors have the same values. However, in real life, different factors in a system have different numbers of possible values. Thus, it is necessary for… ▽ More Locating arrays (LAs) can be used to detect and identify interaction faults among factors in a component-based system. The optimality and constructions of LAs with a single fault have been investigated extensively under the assumption that all the factors have the same values. However, in real life, different factors in a system have different numbers of possible values. Thus, it is necessary for LAs to satisfy such requirements. We herein establish a general lower bound on the size of mixed-level $(\bar{1},t)$-locating arrays. Some methods for constructing LAs including direct and recursive constructions are provided. In particular, constructions that produce optimal LAs satisfying the lower bound are described. Additionally, some series of optimal LAs satisfying the lower bound are presented. △ Less

Submitted 31 January, 2020; originally announced January 2020.

MSC Class: 05B15; 05B20; 94C12; 62K15

A Limiting Analysis on Regularization of Singular SDP and its Implication to Infeasible Interior-point Algorithms

Authors: Takashi Tsuchiya, Bruno F. Lourenco, Masakazu Muramatsu, Takayuki Okuno

Abstract: We consider primal-dual pairs of semidefinite programs and assume that they are ill-posed, i.e., both primal and dual are either weakly feasible or weakly infeasible. Under such circumstances, strong duality may break down and the primal and dual might have a nonzero duality gap. Nevertheless, there are arbitrary small perturbations to the problem data which makes the perturbed primal-dual pair st… ▽ More We consider primal-dual pairs of semidefinite programs and assume that they are ill-posed, i.e., both primal and dual are either weakly feasible or weakly infeasible. Under such circumstances, strong duality may break down and the primal and dual might have a nonzero duality gap. Nevertheless, there are arbitrary small perturbations to the problem data which makes the perturbed primal-dual pair strongly feasible thus zeroing the duality gap. In this paper, we conduct an asymptotic analysis of the optimal value as the perturbation is driven to zero. Specifically, we fix two positive definite matrices (typically the identity matrices), and shift the associated affine spaces of the primal and dual slightly in the direction of the two positive definite matrices possibly in a different proportion so that the perturbed problems have interior feasible solutions, and analyze the behavior of the optimal value of the perturbed problem when the perturbation is reduced to zero kee** the proportion. A key feature of our analysis is that no further assumptions such as compactness or constraint qualifications are ever made. It will be shown that the optimal value of the perturbed problem converges to a value between the primal and dual optimal values of the original problem. Finally, the analysis leads us to the relatively surprising consequence that the infeasible interior-point algorithms for SDP generates a sequence converging to a number between the primal and dual optimal values, even in the presence of a nonzero duality gap. We expect that this property might be particularly useful in solving mixed integer SDPs with infeasible interior-point methods. △ Less

Submitted 24 October, 2022; v1 submitted 20 December, 2019; originally announced December 2019.

Comments: This is a thoroughly revised version to improve readability. A detailed analysis on interior-point algorithms is added, though the main results are unchanged

Using simulated annealing for locating array construction

Authors: Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya

Abstract: Context: Combinatorial interaction testing is known to be an efficient testing strategy for computing and information systems. Locating arrays are mathematical objects that are useful for this testing strategy, as they can be used as a test suite that enables fault localization as well as fault detection. In this application, each row of an array is used as an individual test. Objective: This pa… ▽ More Context: Combinatorial interaction testing is known to be an efficient testing strategy for computing and information systems. Locating arrays are mathematical objects that are useful for this testing strategy, as they can be used as a test suite that enables fault localization as well as fault detection. In this application, each row of an array is used as an individual test. Objective: This paper proposes an algorithm for constructing locating arrays with a small number of rows. Testing cost increases as the number of tests increases; thus the problem of finding locating arrays of small sizes is of practical importance. Method: The proposed algorithm uses simulation annealing, a meta-heuristic algorithm, to find locating array of a given size. The whole algorithm repeatedly executes the simulated annealing algorithm by dynamically varying the input array size. Results: Experimental results show 1) that the proposed algorithm is able to construct locating arrays for problem instances of large sizes and 2) that, for problem instances for which nontrivial locating arrays are known, the algorithm is often able to generate locating arrays that are smaller than or at least equal to the known arrays. Conclusion: Based on the results, it is concluded that the proposed algorithm can produce small locating arrays and scale to practical problems. △ Less

Submitted 28 September, 2019; originally announced September 2019.

MSC Class: 94C12; 05B30; 68R05;

Lectures on error analysis of interpolation on simplicial triangulations without the shape-regularity assumption Part 1: Lagrange interpolation on triangles

Authors: Kenta Kobayashi, Takuya Tsuchiya

Abstract: In the error analysis of finite element methods, the shape regularity assumption on triangulations is typically imposed to obtain a priori error estimations. In practical computations, however, very thin or degenerated elements that violate the shape regularity assumption may appear when we use adaptive mesh refinement. In this manuscript, we attempt to establish an error analysis approach without… ▽ More In the error analysis of finite element methods, the shape regularity assumption on triangulations is typically imposed to obtain a priori error estimations. In practical computations, however, very thin or degenerated elements that violate the shape regularity assumption may appear when we use adaptive mesh refinement. In this manuscript, we attempt to establish an error analysis approach without the shape regularity assumption on triangulations. We have presented several papers on the error analysis of finite element methods on non-shape regular triangulations. The main points in these papers are that, in the error estimates of finite element methods, the circumradius of the triangles is one of the most important factors. The purpose of this manuscript is to provide a simple and plain explanation of the results to researchers and, in particular, graduate students who are interested in the subject. Therefore, this manuscript is not intended to be a research paper. We hope that, in the future, it will be merged into a textbook on the mathematical theory of the finite element methods. △ Less

Submitted 2 February, 2022; v1 submitted 11 August, 2019; originally announced August 2019.

Journal ref: Memoirs of the Faculty of Science, Ehime University, vol.24, pp.9--42, (2022)

Using binary decision diagrams for constraint handling in combinatorial interaction testing

Authors: Tatsuhiro Tsuchiya

Abstract: Constraints among test parameters often have substantial effects on the performance of test case generation for combinatorial interaction testing. This paper investigates the effectiveness of the use of Binary Decision Diagrams (BDDs) for constraint handling. BDDs are a data structure used to represent and manipulate Boolean functions. The core role of a constraint handler is to perform a check to… ▽ More Constraints among test parameters often have substantial effects on the performance of test case generation for combinatorial interaction testing. This paper investigates the effectiveness of the use of Binary Decision Diagrams (BDDs) for constraint handling. BDDs are a data structure used to represent and manipulate Boolean functions. The core role of a constraint handler is to perform a check to determine if a partial test case with unspecified parameter values satisfies the constraints. In the course of generating a test suite, this check is executed a number of times; thus the efficiency of the check significantly affects the overall time required for test case generation. In the paper, we study two different approaches. The first approach performs this check by computing the logical AND of Boolean functions that represent all constraint-satisfying full test cases and a given partial test case. The second approach uses a new technique to construct a BDD that represents all constraint-satisfying partial test cases. With this BDD, the check can be performed by simply traversing the BDD from the root to a sink. We developed a program that incorporates both approaches into IPOG, a well-known test case generation algorithm. Using this program, we empirically evaluate the performance of these BDD-based constraint handling approaches using a total of 62 problem instances. In the evaluation, the two approaches are compared with three different constraint handling approaches, namely, those based on Boolean satisfiability (SAT) solving, Minimum Forbidden Tuples (MFTs), and Constraint Satisfiction Problem (CSP) solving. The results of the evaluation show that the two BDD-based approaches usually outperform the other constraint handling techniques and that the BDD-based approach using the new technique exhibits best performance. △ Less

Submitted 3 July, 2019; originally announced July 2019.

MSC Class: 68M15; 68N30

On the numerical experiments of the Cauchy problem for semi-linear Klein-Gordon equations in the de Sitter spacetime

Authors: Takuya Tsuchiya, Makoto Nakamura

Abstract: The computational analysis of the Cauchy problem for semi-linear Klein-Gordon equations in the de Sitter spacetime is considered. Several simulations are performed to show the time-global behaviors of the solutions of the equations in the spacetime based on the structure-preserving scheme. It is remarked that the sufficiently large Hubble constant yields the strong diffusion-effect which gives the… ▽ More The computational analysis of the Cauchy problem for semi-linear Klein-Gordon equations in the de Sitter spacetime is considered. Several simulations are performed to show the time-global behaviors of the solutions of the equations in the spacetime based on the structure-preserving scheme. It is remarked that the sufficiently large Hubble constant yields the strong diffusion-effect which gives the long and stable simulations for the defocusing semi-linear terms. The reliability of the simulations is confirmed by the preservation of the numerically modified Hamiltonian of the equations. △ Less

Submitted 21 May, 2019; originally announced May 2019.

Comments: 25 pages, 18 figures

Journal ref: Journal of Computational and Applied Mathematics, Volume 361, 1 December 2019, Pages 396-412

Magnetic tunnel junctions with a B2-ordered CoFeCrAl equiatomic Heusler alloy

Authors: Tomoki Tsuchiya, Tufan Roy, Kelvin Elphick, Jun Okabayashi, Lakhan Bainsla, Tomohiro Ichinose, Kazuya Suzuki, Masahito Tsujikawa, Masafumi Shirai, Atsufumi Hirohata, Shigemi Mizukami

Abstract: The equiatomic quaternary Heusler alloy CoFeCrAl is a candidate material for spin-gapless semiconductors (SGSs). However, to date, there have been no experimental attempts at fabricating a junction device. This paper reports a fully epitaxial (001)-oriented MgO barrier magnetic tunnel junction (MTJ) with CoFeCrAl electrodes grown on a Cr buffer. X-ray and electron diffraction measurements show tha… ▽ More The equiatomic quaternary Heusler alloy CoFeCrAl is a candidate material for spin-gapless semiconductors (SGSs). However, to date, there have been no experimental attempts at fabricating a junction device. This paper reports a fully epitaxial (001)-oriented MgO barrier magnetic tunnel junction (MTJ) with CoFeCrAl electrodes grown on a Cr buffer. X-ray and electron diffraction measurements show that the (001) CoFeCrAl electrode films with atomically flat surfaces have a $B2$-ordered phase. The saturation magnetization is 380 emu/cm$^3$, almost the same as the value given by the Slater--Pauling--like rule, and the maximum tunnel magnetoresistance ratios at 300 K and 10 K are 87% and 165%, respectively. Cross-sectional electron diffraction analysis shows that the MTJs have MgO interfaces with fewer dislocations. The temperature- and bias-voltage-dependence of the transport measurements indicates magnon-induced inelastic electron tunneling overlap** with the coherent electron tunneling. X-ray magnetic circular dichroism (XMCD) measurements show a ferromagnetic arrangement of the Co and Fe magnetic moments of $B2$-ordered CoFeCrAl, in contrast to the ferrimagnetic arrangement predicted for the $Y$-ordered state possessing SGS characteristics. Ab-initio calculations taking account of the Cr-Fe swap disorder qualitatively explain the XMCD results. Finally, the effect of the Cr-Fe swap disorder on the ability for electronic states to allow coherent electron tunneling is discussed. △ Less

Submitted 10 May, 2019; originally announced May 2019.

Journal ref: Phys. Rev. Materials 3, 084403 (2019)

Finding minimum locating arrays using a CSP solver

Authors: Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya

Abstract: Combinatorial interaction testing is an efficient software testing strategy. If all interactions among test parameters or factors needed to be covered, the size of a required test suite would be prohibitively large. In contrast, this strategy only requires covering $t$-wise interactions where $t$ is typically very small. As a result, it becomes possible to significantly reduce test suite size. Loc… ▽ More Combinatorial interaction testing is an efficient software testing strategy. If all interactions among test parameters or factors needed to be covered, the size of a required test suite would be prohibitively large. In contrast, this strategy only requires covering $t$-wise interactions where $t$ is typically very small. As a result, it becomes possible to significantly reduce test suite size. Locating arrays aim to enhance the ability of combinatorial interaction testing. In particular, $(\overline{1}, t)$-locating arrays can not only execute all $t$-way interactions but also identify, if any, which of the interactions causes a failure. In spite of this useful property, there is only limited research either on how to generate locating arrays or on their minimum sizes. In this paper, we propose an approach to generating minimum locating arrays. In the approach, the problem of finding a locating array consisting of $N$ tests is represented as a Constraint Satisfaction Problem (CSP) instance, which is in turn solved by a modern CSP solver. The results of using the proposed approach reveal many $(\overline{1}, t)$-locating arrays that are smallest known so far. In addition, some of these arrays are proved to be minimum. △ Less

Submitted 16 April, 2019; originally announced April 2019.

Comments: 16 pages

MSC Class: 94C12; 05B30; 68R05

Semi-Supervised Ordinal Regression Based on Empirical Risk Minimization

Authors: Taira Tsuchiya, Nontawat Charoenphakdee, Issei Sato, Masashi Sugiyama

Abstract: Ordinal regression is aimed at predicting an ordinal class label. In this paper, we consider its semi-supervised formulation, in which we have unlabeled data along with ordinal-labeled data to train an ordinal regressor. There are several metrics to evaluate the performance of ordinal regression, such as the mean absolute error, mean zero-one error, and mean squared error. However, the existing st… ▽ More Ordinal regression is aimed at predicting an ordinal class label. In this paper, we consider its semi-supervised formulation, in which we have unlabeled data along with ordinal-labeled data to train an ordinal regressor. There are several metrics to evaluate the performance of ordinal regression, such as the mean absolute error, mean zero-one error, and mean squared error. However, the existing studies do not take the evaluation metric into account, have a restriction on the model choice, and have no theoretical guarantee. To overcome these problems, we propose a novel generic framework for semi-supervised ordinal regression based on the empirical risk minimization principle that is applicable to optimizing all of the metrics mentioned above. Besides, our framework has flexible choices of models, surrogate losses, and optimization algorithms without the common geometric assumption on unlabeled data such as the cluster assumption or manifold assumption. We further provide an estimation error bound to show that our risk estimator is consistent. Finally, we conduct experiments to show the usefulness of our framework. △ Less

Submitted 10 June, 2021; v1 submitted 31 January, 2019; originally announced January 2019.

Comments: 38 pages, 9 figures

An oracle-based projection and rescaling algorithm for linear semi-infinite feasibility problems and its application to SDP and SOCP

Authors: Masakazu Muramatsu, Tomonari Kitahara, Bruno F. Lourenço, Takayuki Okuno, Takashi Tsuchiya

Abstract: We point out that Chubanov's oracle-based algorithm for linear programming [5] can be applied almost as it is to linear semi-infinite programming (LSIP). In this note, we describe the details and prove the polynomial complexity of the algorithm based on the real computation model proposed by Blum, Shub and Smale (the BSS model) which is more suitable for floating point computation in modern comput… ▽ More We point out that Chubanov's oracle-based algorithm for linear programming [5] can be applied almost as it is to linear semi-infinite programming (LSIP). In this note, we describe the details and prove the polynomial complexity of the algorithm based on the real computation model proposed by Blum, Shub and Smale (the BSS model) which is more suitable for floating point computation in modern computers. The adoption of the BBS model makes our description and analysis much simpler than the original one by Chubanov [5]. Then we reformulate semidefinite programming (SDP) and second-order cone programming (SOCP) into LSIP, and apply our algorithm to obtain new complexity results for computing interior feasible solutions of homogeneous SDP and SOCP. △ Less

Submitted 27 September, 2018; originally announced September 2018.

Comments: 17 pages

Newton-Kantorovitch method for decoupled forward-backward stochastic differential equations

Authors: Dai Taguchi, Takahiro Tsuchiya

Abstract: We present and prove a Newton-Kantorovitch method for solving decoupled forward-backward stochastic differential equations (FBSDEs) involving smooth coefficients with uniformly bounded derivatives. As Newton's method is required a suitable initial condition to converge, we show that such initial conditions are solutions of a linear backward stochastic differential equation. In addition, we show th… ▽ More We present and prove a Newton-Kantorovitch method for solving decoupled forward-backward stochastic differential equations (FBSDEs) involving smooth coefficients with uniformly bounded derivatives. As Newton's method is required a suitable initial condition to converge, we show that such initial conditions are solutions of a linear backward stochastic differential equation. In addition, we show that converges linearly to the solution. △ Less

Submitted 5 June, 2018; originally announced June 2018.

Comments: 16 pages

MSC Class: 49M15

Constrained locating arrays for combinatorial interaction testing

Authors: Hao **, Tatsuhiro Tsuchiya

Abstract: This paper introduces the notion of Constrained Locating Arrays (CLAs), mathematical objects which can be used for fault localization in software testing. CLAs extend ordinary locating arrays to make them applicable to testing of systems that have constraints on test parameters. Such constraints are common in real-world systems; thus CLA enhances the applicability of locating arrays to practical t… ▽ More This paper introduces the notion of Constrained Locating Arrays (CLAs), mathematical objects which can be used for fault localization in software testing. CLAs extend ordinary locating arrays to make them applicable to testing of systems that have constraints on test parameters. Such constraints are common in real-world systems; thus CLA enhances the applicability of locating arrays to practical testing problems. The paper also proposes an algorithm for constructing CLAs. Experimental results show that the proposed algorithm scales to problems of practical sizes. △ Less

Submitted 31 May, 2019; v1 submitted 5 December, 2017; originally announced January 2018.

MSC Class: 94C12; 05B30; 68R05

Error analysis of Crouzeix-Raviart and Raviart-Thomas finite element methods

Authors: Kenta Kobayashi, Takuya Tsuchiya

Abstract: We discuss the error analysis of the lowest degree Crouzeix-Raviart and Raviart-Thomas finite element methods applied to a two-dimensional Poisson equation. To obtain error estimations, we use the techniques developed by Babuška-Aziz and the authors. We present error estimates in terms of the circumradius and the diameter of triangles in which the constants are independent of the geometric propert… ▽ More We discuss the error analysis of the lowest degree Crouzeix-Raviart and Raviart-Thomas finite element methods applied to a two-dimensional Poisson equation. To obtain error estimations, we use the techniques developed by Babuška-Aziz and the authors. We present error estimates in terms of the circumradius and the diameter of triangles in which the constants are independent of the geometric properties of the triangulations. Numerical experiments confirm the results obtained. △ Less

Submitted 30 August, 2018; v1 submitted 17 December, 2017; originally announced December 2017.

Comments: To appear in Japan Journal of Industrial and Applied Mathematics

MSC Class: 65D05; 65N30

Journal ref: Japan Journal of Industrial and Applied Mathematics, 35(3) (2018) 1191 -- 1211

Global Sensitivity Analysis via Multi-Fidelity Polynomial Chaos Expansion

Authors: Pramudita Satria Palar, Lavi Rizki Zuhal, Koji Shimoyama, Takeshi Tsuchiya

Abstract: The presence of uncertainties are inevitable in engineering design and analysis, where failure in understanding their effects might lead to the structural or functional failure of the systems. The role of global sensitivity analysis in this aspect is to quantify and rank the effects of input random variables and their combinations to the variance of the random output. In problems where the use of… ▽ More The presence of uncertainties are inevitable in engineering design and analysis, where failure in understanding their effects might lead to the structural or functional failure of the systems. The role of global sensitivity analysis in this aspect is to quantify and rank the effects of input random variables and their combinations to the variance of the random output. In problems where the use of expensive computer simulations are required, metamodels are widely used to speed up the process of global sensitivity analysis. In this paper, a multi-fidelity framework for global sensitivity analysis using polynomial chaos expansion (PCE) is presented. The goal is to accelerate the computation of Sobol sensitivity indices when the deterministic simulation is expensive and simulations with multiple levels of fidelity are available. This is especially useful in cases where a partial differential equation solver computer code is utilized to solve engineering problems. The multi-fidelity PCE is constructed by combining the low-fidelity and correction PCE. Following this step, the Sobol indices are computed using this combined PCE. The PCE coefficients for both low-fidelity and correction PCE are computed with spectral projection technique and sparse grid integration. In order to demonstrate the capability of the proposed method for sensitivity analysis, several simulations are conducted. On the aerodynamic example, the multi-fidelity approach is able to obtain an accurate value of Sobol indices with 36.66% computational cost compared to the standard single-fidelity PCE for a nearly similar accuracy. △ Less

Submitted 22 October, 2017; originally announced October 2017.

Mn$_2$VAl Heusler alloy thin films: Appearance of antiferromagnetism and an exchange bias in a layered structure with Fe

Authors: Tomoki Tsuchiya, Ryota Kobayashi, Takahide Kubota, Kotaro Saito, Kanta Ono, Takashi Ohhara, Akiko Nakao, Koki Takanashi

Abstract: Mn$_2$VAl Heusler alloy films were epitaxially grown on MgO(100) single crystal substrates by means of ultra-high-vacuum magnetron sputtering. A2 and L2$_1$ type Mn$_2$VAl order was controlled by the deposition temperatures. A2-type Mn$_2$VAl films showed no spontaneous magnetization and L2$_1$-type Mn$_2$VAl films showed ferrimagnetic behavior with a maximum saturation magnetization of 220 emu/cm… ▽ More Mn$_2$VAl Heusler alloy films were epitaxially grown on MgO(100) single crystal substrates by means of ultra-high-vacuum magnetron sputtering. A2 and L2$_1$ type Mn$_2$VAl order was controlled by the deposition temperatures. A2-type Mn$_2$VAl films showed no spontaneous magnetization and L2$_1$-type Mn$_2$VAl films showed ferrimagnetic behavior with a maximum saturation magnetization of 220 emu/cm$^3$ at room temperature. An antiferromagnetic reflection was observed with neutron diffraction at room temperature for an A2-type Mn$_2$VAl film deposited at 400$^\circ$C. A bilayer sample of the antiferromagnetic A2 Mn$_2$VAl and Fe showed an exchange bias of 120 Oe at 10 K. △ Less

Submitted 20 July, 2017; originally announced July 2017.

Finite element approximations of minimal surfaces: algorithms and mesh refinement

Authors: Aymeric Grodet, Takuya Tsuchiya

Abstract: Finite element approximations of minimal surface are not always precise. They can even sometimes completely collapse. In this paper, we provide a simple and inexpensive method, in terms of computational cost, to improve finite element approximations of minimal surfaces by local boundary mesh refinements. By highlighting the fact that a collapse is simply the limit case of a locally bad approximati… ▽ More Finite element approximations of minimal surface are not always precise. They can even sometimes completely collapse. In this paper, we provide a simple and inexpensive method, in terms of computational cost, to improve finite element approximations of minimal surfaces by local boundary mesh refinements. By highlighting the fact that a collapse is simply the limit case of a locally bad approximation, we show that our method can also be used to avoid the collapse of finite element approximations. We also extend the study of such approximations to partially free boundary problems and give a theorem for their convergence. Numerical examples showing improvements induced by the method are given throughout the paper. △ Less

Submitted 14 January, 2018; v1 submitted 29 June, 2017; originally announced June 2017.

MSC Class: 49Q05; 65N30

An extension of Chubanov's algorithm to symmetric cones

Authors: Bruno F. Lourenço, Tomonari Kitahara, Masakazu Muramatsu, Takashi Tsuchiya

Abstract: In this work we present an extension of Chubanov's algorithm to the case of homogeneous feasibility problems over a symmetric cone K. As in Chubanov's method for linear feasibility problems, the algorithm consists of a basic procedure and a step where the solutions are confined to the intersection of a half-space and K. Following an earlier work by Kitahara and Tsuchiya on second order cone feasib… ▽ More In this work we present an extension of Chubanov's algorithm to the case of homogeneous feasibility problems over a symmetric cone K. As in Chubanov's method for linear feasibility problems, the algorithm consists of a basic procedure and a step where the solutions are confined to the intersection of a half-space and K. Following an earlier work by Kitahara and Tsuchiya on second order cone feasibility problems, progress is measured through the volumes of those intersections: when they become sufficiently small, we know it is time to stop. We never have to explicitly compute the volumes, it is only necessary to keep track of the reductions between iterations. We show this is enough to obtain concrete upper bounds to the minimum eigenvalues of a scaled version of the original feasibility problem. Another distinguishing feature of our approach is the usage of a spectral norm that takes into account the way that K is decomposed as simple cones. In several key cases, including semidefinite programming and second order cone programming, these norms make it possible to obtain better complexity bounds for the basic procedure when compared to a recent approach by Peña and Soheili. Finally, in the appendix, we present a translation of the algorithm to the homogeneous feasibility problem in semidefinite programming. △ Less

Submitted 25 September, 2017; v1 submitted 5 February, 2017; originally announced February 2017.

Comments: 26 pages, 1 figure. More typo fixes. An alternative stop** criterion is discussed at the end of Section 4. There is also a discussion on analytic center cutting plane methods on Section 6. Comments are welcome

MSC Class: 90C22; 90C25

Automatic Generation of Typographic Font from a Small Font Subset

Authors: Tomo Miyazaki, Tatsunori Tsuchiya, Yoshihiro Sugaya, Shinichiro Omachi, Masakazu Iwamura, Seiichi Uchida, Koichi Kise

Abstract: This paper addresses the automatic generation of a typographic font from a subset of characters. Specifically, we use a subset of a typographic font to extrapolate additional characters. Consequently, we obtain a complete font containing a number of characters sufficient for daily use. The automated generation of Japanese fonts is in high demand because a Japanese font requires over 1,000 characte… ▽ More This paper addresses the automatic generation of a typographic font from a subset of characters. Specifically, we use a subset of a typographic font to extrapolate additional characters. Consequently, we obtain a complete font containing a number of characters sufficient for daily use. The automated generation of Japanese fonts is in high demand because a Japanese font requires over 1,000 characters. Unfortunately, professional typographers create most fonts, resulting in significant financial and time investments for font generation. The proposed method can be a great aid for font creation because designers do not need to create the majority of the characters for a new font. The proposed method uses strokes from given samples for font generation. The strokes, from which we construct characters, are extracted by exploiting a character skeleton dataset. This study makes three main contributions: a novel method of extracting strokes from characters, which is applicable to both standard fonts and their variations; a fully automated approach for constructing characters; and a selection method for sample characters. We demonstrate our proposed method by generating 2,965 characters in 47 fonts. Objective and subjective evaluations verify that the generated characters are similar to handmade characters. △ Less

Submitted 20 January, 2017; originally announced January 2017.

Comments: 12 pages, 17 figures

Journal ref: IEEE Computer Graphics and Applications, 2019

The linear stability of the post-Newtonian triangular equilibrium in the three-body problem

Authors: Kei Yamada, Takuya Tsuchiya

Abstract: Continuing work initiated in an earlier publication [Yamada, Tsuchiya, and Asada, Phys. Rev. D 91, 124016 (2015)], we reexamine the linear stability of the triangular solution in the relativistic three-body problem for general masses by the standard linear algebraic analysis. In this paper, we start with the Einstein-Infeld-Hoffman form of equations of motion for $N$-body systems in the uniformly… ▽ More Continuing work initiated in an earlier publication [Yamada, Tsuchiya, and Asada, Phys. Rev. D 91, 124016 (2015)], we reexamine the linear stability of the triangular solution in the relativistic three-body problem for general masses by the standard linear algebraic analysis. In this paper, we start with the Einstein-Infeld-Hoffman form of equations of motion for $N$-body systems in the uniformly rotating frame. As an extension of the previous work, we consider general perturbations to the equilibrium, i.e. we take account of perturbations orthogonal to the orbital plane, as well as perturbations lying on it. It is found that the orthogonal perturbations depend on each other by the first post-Newtonian (1PN) three-body interactions, though these are independent of the lying ones likewise the Newtonian case. We also show that the orthogonal perturbations do not affect the condition of stability. This is because these always precess with two frequency modes; the same with the orbital frequency and the slightly different one by the 1PN effect. The same condition of stability with the previous one, which is valid even for the general perturbations, is obtained from the lying perturbations. △ Less

Submitted 6 November, 2017; v1 submitted 26 December, 2016; originally announced December 2016.

Comments: 21 pages, 2 figures

Journal ref: Celest Mech Dyn Astr (2017) 129: 487

An Extension of Chubanov's Polynomial-Time Linear Programming Algorithm to Second-Order Cone Programming

Authors: Tomonari Kitahara, Takashi Tsuchiya

Abstract: Recently, Chubanov proposed an interesting new polynomial-time algorithm for linear program. In this paper, we extend his algorithm to second-order cone programming. Recently, Chubanov proposed an interesting new polynomial-time algorithm for linear program. In this paper, we extend his algorithm to second-order cone programming. △ Less

Submitted 1 January, 2017; v1 submitted 7 November, 2016; originally announced November 2016.

Comments: See "Note added at the Second Revision (January 2017)" and "Note added at the First Revision (December 2016)" in the end of Introduction for the contents of revision

MSC Class: 65K10

Approximating surface areas by interpolations on triangulations

Authors: Kenta Kobayashi, Takuya Tsuchiya

Abstract: We consider surface area approximations by Lagrange and Crouzeix--Raviart interpolations on triangulations. For Lagrange interpolation, we give an alternative proof for Young's classical result that claims the areas of inscribed polygonal surfaces converge to the area of the original surface under the maximum angle condition on the triangulation. For Crouzeix--Raviart interpolation we show that th… ▽ More We consider surface area approximations by Lagrange and Crouzeix--Raviart interpolations on triangulations. For Lagrange interpolation, we give an alternative proof for Young's classical result that claims the areas of inscribed polygonal surfaces converge to the area of the original surface under the maximum angle condition on the triangulation. For Crouzeix--Raviart interpolation we show that the approximated surface areas converge to the area of the original surface without any geometric conditions on the triangulation. △ Less

Submitted 6 June, 2017; v1 submitted 18 October, 2016; originally announced October 2016.

Comments: To appear in Japan Journal of Industrial and Applied Mathematics

MSC Class: 65D05; 26B15

Journal ref: Japan Journal of Industrial and Applied Mathematics, 34(2) 509--530 (2017)

Constructing of constraint preserving scheme for Einstein equations

Authors: Takuya Tsuchiya, Gen Yoneda

Abstract: We propose a new numerical scheme of evolution for the Einstein equations using the discrete variational derivative method (DVDM). We derive the discrete evolution equation of the constraint using this scheme and show the constraint preserves in the discrete level. In addition, to confirm the numerical stability using this scheme, we perform some numerical simulations by discretized equations with… ▽ More We propose a new numerical scheme of evolution for the Einstein equations using the discrete variational derivative method (DVDM). We derive the discrete evolution equation of the constraint using this scheme and show the constraint preserves in the discrete level. In addition, to confirm the numerical stability using this scheme, we perform some numerical simulations by discretized equations with the Crank-Nicolson scheme and with the new scheme, and we find that the new discretized equations have better stability than that of the Crank-Nicolson scheme. △ Less

Submitted 14 July, 2017; v1 submitted 14 October, 2016; originally announced October 2016.

Comments: 8 pages, 1 figure

Journal ref: JSIAM Letters Vol. 9 (2017) p. 57-60

Constraint-Preserving Scheme for Maxwell's Equations

Authors: Takuya Tsuchiya, Gen Yoneda

Abstract: We derive the discretized Maxwell's equations using the discrete variational derivative method (DVDM), calculate the evolution equation of the constraint, and confirm that the equation is satisfied at the discrete level. Numerical simulations showed that the results obtained by the DVDM are superior to those obtained by the Crank-Nicolson scheme. In addition, we study the two types of the discreti… ▽ More We derive the discretized Maxwell's equations using the discrete variational derivative method (DVDM), calculate the evolution equation of the constraint, and confirm that the equation is satisfied at the discrete level. Numerical simulations showed that the results obtained by the DVDM are superior to those obtained by the Crank-Nicolson scheme. In addition, we study the two types of the discretized Maxwell's equations by the DVDM and conclude that if the evolution equation of the constraint is not conserved at the discrete level, then the numerical results are also unstable. △ Less

Submitted 26 October, 2016; v1 submitted 14 October, 2016; originally announced October 2016.

Comments: 18 pages, 9 figures

Transport mechanism through metal-cobaltite interfaces

Authors: C. Acha, A. Schulman, M. Boudard, K. Daoudi, T. Tsuchiya

Abstract: The resistive switching (RS) properties as a function of temperature were studied for Ag/La$_{1-x}$Sr$_x$CoO$_3$ (LSCO) interfaces. The LSCO is a fully-relaxed 100 nm film grown by metal organic deposition on a LaAlO$_3$ substrate. Both low and a high resistance states were set at room temperature and the temperature dependence of their current-voltage (IV) characteristics was mea- sured taking ca… ▽ More The resistive switching (RS) properties as a function of temperature were studied for Ag/La$_{1-x}$Sr$_x$CoO$_3$ (LSCO) interfaces. The LSCO is a fully-relaxed 100 nm film grown by metal organic deposition on a LaAlO$_3$ substrate. Both low and a high resistance states were set at room temperature and the temperature dependence of their current-voltage (IV) characteristics was mea- sured taking care to avoid a significant change of the resistance state. The obtained non-trivial IV curves of each state were well reproduced by a circuit model which includes a Poole-Frenkel element and two ohmic resistances. A microscopic description of the changes produced by the RS is given, which enables to envision a picture of the interface as an area where conductive and insulating phases are mixed, producing Maxwell-Wagner contributions to the dielectric properties. △ Less

Submitted 25 June, 2016; originally announced June 2016.

Comments: 13 pages, 5 figures, to be published in APL. Corresponding author: C. Acha ([email protected])

Error Analysis of Lagrange Interpolation on Tetrahedrons

Authors: Kenta Kobayashi, Takuya Tsuchiya

Abstract: This paper describes the analysis of Lagrange interpolation errors on tetrahedrons. In many textbooks, the error analysis of Lagrange interpolation is conducted under geometric assumptions such as shape regularity or the (generalized) maximum angle condition. In this paper, we present a new estimation in which the error is bounded in terms of the diameter and projected circumradius of the tetrahed… ▽ More This paper describes the analysis of Lagrange interpolation errors on tetrahedrons. In many textbooks, the error analysis of Lagrange interpolation is conducted under geometric assumptions such as shape regularity or the (generalized) maximum angle condition. In this paper, we present a new estimation in which the error is bounded in terms of the diameter and projected circumradius of the tetrahedron. Because we do not impose any geometric restrictions on the tetrahedron itself, our error estimation may be applied to any tetrahedralizations of domains including very thin tetrahedrons. △ Less

Submitted 19 September, 2019; v1 submitted 13 June, 2016; originally announced June 2016.

Comments: To appear in Journal of Approximation Theory

MSC Class: 65D05; 65N30

Implementation of Interior-point Methods for LP based on Krylov Subspace Iterative Solvers with Inner-iteration Preconditioning

Authors: Yiran Cui, Keiichi Morikuni, Takashi Tsuchiya, Ken Hayami

Abstract: We apply novel inner-iteration preconditioned Krylov subspace methods to the interior-point algorithm for linear programming (LP). Inner-iteration preconditioners recently proposed by Morikuni and Hayami enable us to overcome the severe ill-conditioning of linear equations solved in the final phase of interior-point iterations. The Krylov subspace methods do not suffer from rank-deficiency and the… ▽ More We apply novel inner-iteration preconditioned Krylov subspace methods to the interior-point algorithm for linear programming (LP). Inner-iteration preconditioners recently proposed by Morikuni and Hayami enable us to overcome the severe ill-conditioning of linear equations solved in the final phase of interior-point iterations. The Krylov subspace methods do not suffer from rank-deficiency and therefore no preprocessing is necessary even if rows of the constraint matrix are not linearly independent. By means of these methods, a new interior-point recurrence is proposed in order to omit one matrix-vector product at each step. Extensive numerical experiments are conducted over diverse instances of 138 LP problems including the Netlib, QAPLIB, Mittelmann and Atomizer Basis Pursuit collections. The largest problem has 434,580 unknowns. It turns out that our implementation is more robust than the standard public domain solvers SeDuMi (Self-Dual Minimization), SDPT3 (Semidefinite Programming Toh-Todd-Tütüncü) and the LSMR iterative solver in PDCO (Primal-Dual Barrier Method for Convex Objectives) without increasing CPU time. The proposed interior-point method based on iterative solvers succeeds in solving a fairly large number of LP instances from benchmark libraries under the standard stop** criteria. The work also presents a fairly extensive benchmark test for several renowned solvers including direct and iterative solvers. △ Less

Submitted 8 April, 2019; v1 submitted 25 April, 2016; originally announced April 2016.

Comments: 30 pages, 14 figures

MSC Class: 90C51; 90C05; 65F10 ACM Class: G.1.6

Journal ref: Computational Optimization and Applications, Volume 74, Issue 1, pp. 143-176, June 6, 2019

Stability problems for Cantor stochastic differential equations

Authors: Hiroya Hashimoto, Takahiro Tsuchiya

Abstract: We consider driftless stochastic differential equations and the diffusions starting from the positive half line. It is shown that the Feller test for explosions gives a necessary and sufficient condition to hold pathwise uniqueness for diffusion coefficients that are positive and monotonically increasing or decreasing on the positive half line and the value at the origin is zero. Then, stability p… ▽ More We consider driftless stochastic differential equations and the diffusions starting from the positive half line. It is shown that the Feller test for explosions gives a necessary and sufficient condition to hold pathwise uniqueness for diffusion coefficients that are positive and monotonically increasing or decreasing on the positive half line and the value at the origin is zero. Then, stability problems are studied from the aspect of Hölder-continuity and a generalized Nakao-Le Gall condition. Comparing the convergence rate of Hölder-continuous case, the sharpness and stability of the Nakao-Le Gall condition on Cantor stochastic differential equations is confirmed.Furthermore, using the Malliavin calculus, we construct a smooth solution to degenerate second order Fokker-Planck equations under weak conditions on the coefficients. △ Less

Submitted 20 December, 2016; v1 submitted 22 April, 2016; originally announced April 2016.

Comments: 18 pages

MSC Class: 60J55

Facial Reduction and Partial Polyhedrality

Authors: Bruno F. Lourenço, Masakazu Muramatsu, Takashi Tsuchiya

Abstract: We present FRA-Poly, a facial reduction algorithm (FRA) for conic linear programs that is sensitive to the presence of polyhedral faces in the cone. The main goals of FRA and FRA-Poly are the same, i.e., finding the minimal face containing the feasible region and detecting infeasibility, but FRA-Poly treats polyhedral constraints separately. This idea enables us to reduce the number of iterations… ▽ More We present FRA-Poly, a facial reduction algorithm (FRA) for conic linear programs that is sensitive to the presence of polyhedral faces in the cone. The main goals of FRA and FRA-Poly are the same, i.e., finding the minimal face containing the feasible region and detecting infeasibility, but FRA-Poly treats polyhedral constraints separately. This idea enables us to reduce the number of iterations drastically when there are many linear inequality constraints. The worst case number of iterations for FRA-poly is written in the terms of a "distance to polyhedrality" quantity and provides better bounds than FRA under mild conditions. In particular, in the case of the doubly nonnegative cone, FRA-Poly gives a worst case bound of $n$ whereas the classical FRA is $\mathcal{O}(n^2)$. Of possible independent interest, we prove a variant of Gordan-Stiemke's Theorem and a proper separation theorem that takes into account partial polyhedrality. We provide a discussion on the optimal facial reduction strategy and an instance that forces FRAs to perform many steps. We also present a few applications. In particular, we will use FRA-poly to improve the bounds recently obtained by Liu and Pataki on the dimension of certain affine subspaces which appear in weakly infeasible problems. △ Less

Submitted 14 May, 2018; v1 submitted 8 December, 2015; originally announced December 2015.

Comments: A few typo corrections. The proof of Lemma 3 was rewritten. To appear in the SIAM Journal on Optimization. Comments are welcome

MSC Class: 90C46; 49N15

Journal ref: SIAM Journal on Optimization, Volume 28 (3), 2018

Reorganizing topologies of Steiner trees to accelerate their elimination

Authors: Aymeric Grodet, Takuya Tsuchiya

Abstract: We describe a technique to reorganize topologies of Steiner trees by exchanging neighbors of adjacent Steiner points. We explain how to use the systematic way of building trees, and therefore topologies, to find the correct topology after nodes have been exchanged. Topology reorganizations can be inserted into the enumeration scheme commonly used by exact algorithms for the Euclidean Steiner tree… ▽ More We describe a technique to reorganize topologies of Steiner trees by exchanging neighbors of adjacent Steiner points. We explain how to use the systematic way of building trees, and therefore topologies, to find the correct topology after nodes have been exchanged. Topology reorganizations can be inserted into the enumeration scheme commonly used by exact algorithms for the Euclidean Steiner tree problem in $d$-space, providing a method of improvement different than the usual approaches. As an example, we show how topology reorganizations can be used to dynamically change the exploration of the usual branch-and-bound tree when two Steiner points collide during the optimization process. We also turn our attention to the erroneous use of a pre-optimization lower bound in the original algorithm and give an example to confirm its usage is incorrect. In order to provide numerical results on correct solutions, we use planar equilateral points to quickly compute this lower bound, even in dimensions higher than two. Finally, we describe planar twin trees, identical trees yielded by different topologies, whose generalization to higher dimensions could open a new way of building Steiner trees. △ Less

Submitted 12 March, 2018; v1 submitted 11 November, 2015; originally announced November 2015.

MSC Class: 90C35; 05C05; 90C57

Weak Infeasibility in Second Order Cone Programming

Authors: Bruno F. Lourenço, Masakazu Muramatsu, Takashi Tsuchiya

Abstract: The objective of this work is to study weak infeasibility in second order cone programming. For this purpose, we consider a relaxation sequence of feasibility problems that mostly preserve the feasibility status of the original problem. This is used to show that for a given weakly infeasible problem at most $m$ directions are needed to approach the cone, where $m$ is the number of Lorentz cones. W… ▽ More The objective of this work is to study weak infeasibility in second order cone programming. For this purpose, we consider a relaxation sequence of feasibility problems that mostly preserve the feasibility status of the original problem. This is used to show that for a given weakly infeasible problem at most $m$ directions are needed to approach the cone, where $m$ is the number of Lorentz cones. We also tackle a closely related question and show that given a bounded optimization problem satisfying Slater's condition, we may transform it into another problem that has the same optimal value but it is ensured to attain it. From solutions to the new problem, we discuss how to obtain solution to the original problem which are arbitrarily close to optimality. Finally, we discuss how to obtain finite certificate of weak infeasibility by combining our own techniques with facial reduction. The analysis is similar in spirit to previous work by the authors on SDPs, but a different approach is required to obtain tighter bounds. △ Less

Submitted 17 September, 2015; originally announced September 2015.

Comments: 10 pages

Extenting of Babuška-Aziz's theorem to higher-order Lagrange interpolation

Authors: Kenta Kobayashi, Takuya Tsuchiya

Abstract: We consider the error analysis of Lagrange interpolation on triangles and tetrahedrons. For Lagrange interpolation of order one, Babuška and Aziz showed that squeezing a right isosceles triangle perpendicularly does not deteriorate the optimal approximation order. We extend their technique and result to higher-order Lagrange interpolation on both triangles and tetrahedrons. To this end, we make us… ▽ More We consider the error analysis of Lagrange interpolation on triangles and tetrahedrons. For Lagrange interpolation of order one, Babuška and Aziz showed that squeezing a right isosceles triangle perpendicularly does not deteriorate the optimal approximation order. We extend their technique and result to higher-order Lagrange interpolation on both triangles and tetrahedrons. To this end, we make use of difference quotients of functions with two or three variables. Then, the error estimates on squeezed triangles and tetrahedrons are proved by a method that is a straightforward extension of the original given by Babuška-Aziz. △ Less

Submitted 10 March, 2016; v1 submitted 1 August, 2015; originally announced August 2015.

Comments: 13 pages, 1 figures

MSC Class: 65D05; 65N30

Journal ref: Applications of Mathematics, 61 (2016), 121-133

Solving SDP Completely with an Interior Point Oracle

Authors: Bruno F. Lourenço, Masakazu Muramatsu, Takashi Tsuchiya

Abstract: We suppose the existence of an oracle which solves any semidefinite programming (SDP) problem satisfying Slater's condition simultaneously at its primal and dual sides. We note that such an oracle might not be able to directly solve general SDPs even after certain regularization schemes are applied. In this work we fill this gap and show how to use such an oracle to "completely solve" an arbitrary… ▽ More We suppose the existence of an oracle which solves any semidefinite programming (SDP) problem satisfying Slater's condition simultaneously at its primal and dual sides. We note that such an oracle might not be able to directly solve general SDPs even after certain regularization schemes are applied. In this work we fill this gap and show how to use such an oracle to "completely solve" an arbitrary SDP. Completely solving an SDP, includes, for example, distinguishing between weak/strong feasibility/infeasibility and detecting when the optimal value is attained or not. We will employ several tools, including a variant of facial reduction where all auxiliary problems are ensured to satisfy Slater's condition at all sides. Our main technical innovation, however, is an analysis of double facial reduction, which is the process of applying facial reduction twice: first to the original problem and then once more to the dual of the regularized problem obtained during the first run. Although our discussion is focused on semidefinite programming, the majority of the results are proved for general convex cones △ Less

Submitted 11 November, 2020; v1 submitted 29 July, 2015; originally announced July 2015.

Comments: 39 pages. Minor fixes and a new appendix with an example. To appear in Optimization Methods and Software

Journal ref: Optimization Methods and Software, 36:2-3, 425-471, 2021

A structural geometrical analysis of weakly infeasible SDPs

Authors: Bruno F. Lourenço, Masakazu Muramatsu, Takashi Tsuchiya

Abstract: In this article, we present a geometric theoretical analysis of semidefinite feasibility problems (SDFPs). This is done by decomposing a SDFP into smaller problems, in a way that preserves most feasibility properties of the original problem. With this technique, we develop a detailed analysis of weakly infeasible SDFPs to understand clearly and systematically how weak infeasibility arises in semid… ▽ More In this article, we present a geometric theoretical analysis of semidefinite feasibility problems (SDFPs). This is done by decomposing a SDFP into smaller problems, in a way that preserves most feasibility properties of the original problem. With this technique, we develop a detailed analysis of weakly infeasible SDFPs to understand clearly and systematically how weak infeasibility arises in semidefinite programming. In particular, we show that for a weakly infeasible problem over $n\times n$ matrices, at most $n-1$ directions are required to approach the positive semidefinite cone. We also present a discussion on feasibility certificates for SDFPs and related complexity results. △ Less

Submitted 28 July, 2015; v1 submitted 24 July, 2015; originally announced July 2015.

Comments: This version contains a shorter and more focused discussion. Proposition 19 and Theorem 23 in the previous version now correspond to Proposition 6 and Theorem 10. We also tried to contextualize some of the results in the BSS model. The first version will stay available at http://www.optimization-online.org/DB_HTML/2013/11/4137.html as well. 14 pages

Post-Newtonian effects on the stability of the triangular solution in the three-body problem for general masses

Authors: Kei Yamada, Takuya Tsuchiya, Hideki Asada

Abstract: Continuing work initiated in earlier publications [Ichita, Yamada and Asada, Phys. Rev. D {\bf 83}, 084026 (2011); Yamada and Asada, Phys. Rev. D {\bf 86}, 124029 (2012)], we examine the post-Newtonian (PN) effects on the stability of the triangular solution in the relativistic three-body problem for general masses. For three finite masses, a condition for stability of the triangular solution is o… ▽ More Continuing work initiated in earlier publications [Ichita, Yamada and Asada, Phys. Rev. D {\bf 83}, 084026 (2011); Yamada and Asada, Phys. Rev. D {\bf 86}, 124029 (2012)], we examine the post-Newtonian (PN) effects on the stability of the triangular solution in the relativistic three-body problem for general masses. For three finite masses, a condition for stability of the triangular solution is obtained at the first post-Newtonian (1PN) order, and it recovers previous results for the PN restricted three-body problem when one mass goes to zero. The stability regions still exist even at the 1PN order, though the PN triangular configuration for general masses is less stable than the PN restricted three-body case as well as the Newtonian one. △ Less

Submitted 18 May, 2015; originally announced May 2015.

Comments: 23 pages, 4 figures; accepted by PRD

Journal ref: Phys. Rev. D 91 : 124016 (2015)

Efficient Control of the Rashba Effective Magnetic Field Using Acceptor Doped Quantum Wells

Authors: Daichi Yamamoto, Takuma Tsuchiya

Abstract: To induce a strong Rashba effective magnetic field and enhance its sensitivity to an external electric field, we propose acceptor do** in quantum wells. The acceptors are doped at the center of the well, and donors are doped in the barrier layers to compensate the acceptors and induce conduction electrons. In strongly doped wells, the electric field on these conduction electrons is easily change… ▽ More To induce a strong Rashba effective magnetic field and enhance its sensitivity to an external electric field, we propose acceptor do** in quantum wells. The acceptors are doped at the center of the well, and donors are doped in the barrier layers to compensate the acceptors and induce conduction electrons. In strongly doped wells, the electric field on these conduction electrons is easily changed by a weak external electric field, by virtue of the strong internal electric field between the acceptors and donors and the resulting high triangle potential barrier induced in the well. As a result, the Rashba effective magnetic field, proportional to the electric field on the electrons, is quite sensitive to the external electric field. Numerical calculations demonstrate that the sensitivity of the Rashba field is larger by two orders of magnitude than that in undoped wells. △ Less

Submitted 5 November, 2014; v1 submitted 29 August, 2014; originally announced August 2014.

Comments: 24 pages, 6 figures, 2 tables

Journal ref: J. Phys. Soc. Jpn., 83, 124701 (2014)

Melting and metallization of silica in the cores of gas giants, ice giants and super Earths

Authors: S. Mazevet, T. Tsuchiya, T. Taniuchi, A. Benuzzi-Mounaix, F. Guyot

Abstract: The physical state and properties of silicates at conditions encountered in the cores of gas giants, ice giants and of Earth like exoplanets now discovered with masses up to several times the mass of the Earth remains mostly unknown. Here, we report on theoretical predictions of the properties of silica, SiO$_2$, up to 4 TPa and about 20,000K using first principle molecular dynamics simulations ba… ▽ More The physical state and properties of silicates at conditions encountered in the cores of gas giants, ice giants and of Earth like exoplanets now discovered with masses up to several times the mass of the Earth remains mostly unknown. Here, we report on theoretical predictions of the properties of silica, SiO$_2$, up to 4 TPa and about 20,000K using first principle molecular dynamics simulations based on density functional theory. For conditions found in the Super-Earths and in ice giants, we show that silica remains a poor electrical conductor up to 10 Mbar due to an increase in the Si-O coordination with pressure. For Jupiter and Saturn cores, we find that MgSiO$_3$ silicate has not only dissociated into MgO and SiO$_2$, as shown in previous studies, but that these two phases have likely differentiated to lead to a core made of liquid SiO$_2$ and solid (Mg,Fe)O. △ Less

Submitted 17 August, 2014; originally announced August 2014.

Comments: 5 pages, 4 figures

A priori error estimates for Lagrange interpolation on triangles

Authors: Kenta Kobayashi, Takuya Tsuchiya

Abstract: We present the error analysis of Lagrange interpolation on triangles. A new \textit{a priori} error estimate is derived in which the bound is expressed in terms of the diameter and circumradius of a triangle. No geometric conditions on triangles are imposed in order to get this type of error estimates. We present the error analysis of Lagrange interpolation on triangles. A new \textit{a priori} error estimate is derived in which the bound is expressed in terms of the diameter and circumradius of a triangle. No geometric conditions on triangles are imposed in order to get this type of error estimates. △ Less

Submitted 10 July, 2015; v1 submitted 9 August, 2014; originally announced August 2014.

Comments: 15 pages, 2 figures To appear in Applications of Mathematics

MSC Class: 65D05; 65N30

Journal ref: Applications of Mathematics, 60 (2015) 485--499

Convergence rate of stability problems of SDEs with (dis-)continuous coefficients

Authors: Hashimoto Hashimoto, Takahiro Tsuchiya

Abstract: We consider the stability problems of one dimensional SDEs when the diffusion coefficients satisfy the so called Nakao-Le Gall condition. The explicit rate of convergence of the stability problems are given by the Yamada-Watanabe method without the drifts. We also discuss the convergence rate for the SDEs driven by the symmetric $α$ stable process. These stability rate problems are extended to the… ▽ More We consider the stability problems of one dimensional SDEs when the diffusion coefficients satisfy the so called Nakao-Le Gall condition. The explicit rate of convergence of the stability problems are given by the Yamada-Watanabe method without the drifts. We also discuss the convergence rate for the SDEs driven by the symmetric $α$ stable process. These stability rate problems are extended to the case where the drift coefficients are bounded and in $L^1$. It is shown that the convergence rate is invariant under the removal of drift method for the SDEs driven by the Wiener process. △ Less

Submitted 1 April, 2014; v1 submitted 18 January, 2014; originally announced January 2014.

Comments: Revised argument in $L^p$-estimation

MSC Class: 60H35; 41A25; 60H10

Logistic Growth for the Nuzi Cuneiform Tablets: Analyzing Family Networks in Ancient Mesopotamia

Authors: Sumie Ueda, Kumi Makino, Yoshiaki Itoh, Takashi Tsuchiya

Abstract: We reconstruct the year of publication of each cuneiform tablet of the Nuzi society in ancient Mesopotamia. The tablets, are on land transaction, marriage, loan, slavery contracts etc. The number of tablets seem to increase by logistic growth until saturation. It may show the dynamics of concentration of lands or other properties into few powerful families in a period of about twenty years. We rec… ▽ More We reconstruct the year of publication of each cuneiform tablet of the Nuzi society in ancient Mesopotamia. The tablets, are on land transaction, marriage, loan, slavery contracts etc. The number of tablets seem to increase by logistic growth until saturation. It may show the dynamics of concentration of lands or other properties into few powerful families in a period of about twenty years. We reconstruct family trees and social networks of Nuzi and estimate the publication years of cuneiform tablets consistently with the trees and networks, formulating least squares problems with linear inequality constraints. △ Less

Submitted 31 August, 2013; originally announced September 2013.

On the circumradius condition for piecewise linear triangular elements

Authors: Kenta Kobayashi, Takuya Tsuchiya

Abstract: We discuss the error analysis of linear interpolation on triangular elements. We claim that the circumradius condition is more essential then the well-known maximum angle condition for convergence of the finite element method. Numerical experiments show that this condition is the best possible. We also point out that the circumradius condition is closely related to the definition of surface area… ▽ More We discuss the error analysis of linear interpolation on triangular elements. We claim that the circumradius condition is more essential then the well-known maximum angle condition for convergence of the finite element method. Numerical experiments show that this condition is the best possible. We also point out that the circumradius condition is closely related to the definition of surface area. △ Less

Submitted 21 December, 2014; v1 submitted 9 August, 2013; originally announced August 2013.

Comments: To appear in Japan Journal of Industrial and Applied Mathematics

MSC Class: 65D05; 65D30; 26B15

Journal ref: Japan Journal of Industrial and Applied Mathematics, 32 (2015) 65--76

A Babuška-Aziz type proof of the circumradius condition

Authors: Kenta Kobayashi, Takuya Tsuchiya

Abstract: In this paper the error of polynomial interpolation of degree 1 on triangles is considered. The circumradius condition, which is more general than the maximum angle condition, is explained and proved by the technique given by Babuška-Aziz. In this paper the error of polynomial interpolation of degree 1 on triangles is considered. The circumradius condition, which is more general than the maximum angle condition, is explained and proved by the technique given by Babuška-Aziz. △ Less

Submitted 18 September, 2013; v1 submitted 9 June, 2013; originally announced June 2013.

Comments: English language was polished and typos were corrected. To appear in Japan Journal of Industrial and Applied Mathematics

MSC Class: 65D05; 65N30

Journal ref: Japan Journal of Industrial and Applied Mathematics, 31 (2014) 193--210