-
$d$-wave Superconductivity in the Hubbard model on the isotropic triangular lattice and a possibility of the chiral $d+id$ pairing as a quasi-stable state
Authors:
A. Yamada
Abstract:
We study $d$-wave superconductivity(SC) in the Hubbard model on the isotropic triangular lattice described by the hopping parameter $t$ and on-site Coulomb repulsion $U$ at zero temperature and half-filling using the variational cluster approximation. We found that the $d_{xy}$ SC is the ground state below the Mott insulator phase $U/t \lesssim 6$, and the energy of chiral $d+id$ SC is slightly hi…
▽ More
We study $d$-wave superconductivity(SC) in the Hubbard model on the isotropic triangular lattice described by the hopping parameter $t$ and on-site Coulomb repulsion $U$ at zero temperature and half-filling using the variational cluster approximation. We found that the $d_{xy}$ SC is the ground state below the Mott insulator phase $U/t \lesssim 6$, and the energy of chiral $d+id$ SC is slightly higher than the $d_{xy}$ SC. The energy difference between the normal and $d_{xy}$ states is about $0.02t \sim 0.06t$ for $U/t \simeq 5$. This result is semi-quantitatively consistent with the SC transition temperature $T_K=3.9$ K of $κ$-(BEDT-TTF)$_2$Cu$_2$(CN)$_3$, where $t$ is estimated to be about $0.06$ eV, and the predicted pairing symmetry $d_{xy}$ agrees with the STM observations. The energy difference between the $d+id$ and $d_{xy}$ is about $0.01t\sim 0.03t$ for $U/t \simeq 5$ so the transition from $d+id$ to $d_{xy}$, or some effects of $d+id$ in $d_{xy}$ phase may be observed in experiments for $κ$-(BEDT-TTF)$_2$Cu$_2$(CN)$_3$.
△ Less
Submitted 29 September, 2024;
originally announced September 2024.
-
Extremely high-density ($>10^{14}$cm$^{-2}$) with very low sheet resistance 2D electron gases in N-polar AlGaN/GaN heterostructures with GaN/AlN superlattice back barriers grown on sapphire substrates
Authors:
Maciej Matys,
Atsushi Yamada,
Toshihiro Ohki
Abstract:
We report on the realization of extremely high-density ($>10^{14}$cm$^{-2}$) 2D electron gases in N-polar AlGaN/GaN heterostructures grown on sapphire substrates. By introduction the GaN/AlN superlattice (SL) back barrier between GaN buffer layer and AlGaN barrier layer we observed a giant enhancement of the 2D electron gas density at the GaN/Al$_{0.3}$Ga$_{0.7}$N interface from $3\times10^{13}$cm…
▽ More
We report on the realization of extremely high-density ($>10^{14}$cm$^{-2}$) 2D electron gases in N-polar AlGaN/GaN heterostructures grown on sapphire substrates. By introduction the GaN/AlN superlattice (SL) back barrier between GaN buffer layer and AlGaN barrier layer we observed a giant enhancement of the 2D electron gas density at the GaN/Al$_{0.3}$Ga$_{0.7}$N interface from $3\times10^{13}$cm$^{-2}$ (without SL) to $1.4\times10^{14}$cm$^{-2}$ (with SL back barrier) that is only an order of magnitude below the intrinsic crystal limit of $\approx10^{15}$cm$^{-2}$. We found that the changes of 2D electron gas density with SL correlated well with changes of the wafer warp parameter which suggested the strain-induced 2D electron gas density. Simultaneously, the room temperature electron mobility was as high as 169 cm$^2$/Vs, which with the electron density of $1.4\times10^{14}$cm$^{-2}$ gives a very low sheet resistance of 264 $Ω$/sq (one of the lowest reported so far for the N-polar 2D electron gas channel). The finding of the very high-density 2D electron gas with very low sheet resistance in N-polar III-nitride heterostructures can push the power performance N-polar GaN HEMTs into a new level which is unreachable by the conventional N-polar GaN HEMTs.
△ Less
Submitted 19 September, 2024;
originally announced September 2024.
-
ARIM-mdx Data System: Towards a Nationwide Data Platform for Materials Science
Authors:
Masatoshi Hanai,
Ryo Ishikawa,
Mitsuaki Kawamura,
Masato Ohnishi,
Norio Takenaka,
Kou Nakamura,
Daiju Matsumura,
Seiji Fujikawa,
Hiroki Sakamoto,
Yukinori Ochiai,
Tetsuo Okane,
Shin-Ichiro Kuroki,
Atsuo Yamada,
Toyotaro Suzumura,
Junichiro Shiomi,
Kenjiro Taura,
Yoshio Mita,
Naoya Shibata,
Yuichi Ikuhara
Abstract:
In modern materials science, effective and high-volume data management across leading-edge experimental facilities and world-class supercomputers is indispensable for cutting-edge research. Such facilities and supercomputers are typically utilized by a wide range of researchers across different fields and organizations in academia and industry. However, existing integrated systems that handle data…
▽ More
In modern materials science, effective and high-volume data management across leading-edge experimental facilities and world-class supercomputers is indispensable for cutting-edge research. Such facilities and supercomputers are typically utilized by a wide range of researchers across different fields and organizations in academia and industry. However, existing integrated systems that handle data from these resources have primarily focused just on smaller-scale cross-institutional or single-domain operations. As a result, they often lack the scalability, efficiency, agility, and interdisciplinarity, needed for handling substantial volumes of data from various researchers.
In this paper, we introduce ARIM-mdx data system, a nationwide data platform for materials science in Japan. The platform involves 8 universities and institutes all over Japan through the governmental materials science project. Currently in its trial phase, the ARIM-mdx data system is utilized by over 800 researchers from around 140 organizations in academia and industry, being intended to gradually expand its reach. The system employs a hybrid architecture, combining a peta-scale dedicated storage system for security and stability with a high-performance academic cloud for efficiency and scalability. Through direct network connections between them, the system achieves 4.7x latency reduction compared to a conventional approach, resulting in near real-time interactive data analysis. It also utilizes specialized IoT devices for secure data transfer from equipment computers and connects to multiple supercomputers via an academic ultra-fast network, achieving 4x faster data transfer compared to the public Internet. The ARIM-mdx data system, as a pioneering nationwide data platform, has the potential to contribute to the creation of new research communities and accelerates innovations.
△ Less
Submitted 8 September, 2024;
originally announced September 2024.
-
Oppenheim-Schur's inequality and RKHS
Authors:
Akira Yamada
Abstract:
In 2012, we obtained Oppenheim's inequality for positive semidefinite matrices and its equality condition by the reproducing kernel method. In this paper, as a continuation, we give a reproducing kernel proof of the block matrix version of the Oppenheim-Schur's inequality and its equality condition in the positive definite case.
In 2012, we obtained Oppenheim's inequality for positive semidefinite matrices and its equality condition by the reproducing kernel method. In this paper, as a continuation, we give a reproducing kernel proof of the block matrix version of the Oppenheim-Schur's inequality and its equality condition in the positive definite case.
△ Less
Submitted 25 February, 2024;
originally announced February 2024.
-
Interaction of intense ultrashort laser pulses with solid targets: A systematic analysis using first-principles calculations
Authors:
Atsushi Yamada,
Kazuhiro Yabana
Abstract:
Intense ultrashort laser pulse irradiation of solid targets was systematically investigated at the first-principles level, both theoretically and computationally. In the method, the propagation of a pulsed light through a thin film is described by a one-dimensional Maxwell's equation, and the microscopic electronic motion at different positions in the film is described by employing first-principle…
▽ More
Intense ultrashort laser pulse irradiation of solid targets was systematically investigated at the first-principles level, both theoretically and computationally. In the method, the propagation of a pulsed light through a thin film is described by a one-dimensional Maxwell's equation, and the microscopic electronic motion at different positions in the film is described by employing first-principles time-dependent density functional theory (TDDFT). The method uses a coarse-graining approximation to couple light propagation and electronic motion, and is termed the multiscale Maxwell-TDDFT method. The reflectance, transmittance, and absorbance of pulsed light incident normally on thin films of 50-200 nm thickness were calculated for materials with different optical properties, such as aluminum (simple metal), graphite (semi-metal), silicon (small-gap dielectric), and quartz (wide-gap dielectric). Optical response transitions were explored as the light intensity shifted from the linear regime, represented by the dielectric function for weak light, to the extremely nonlinear regime, represented by plasma reflection under intense light conditions. Numerous mechanisms that depend on the laser pulse intensity and material type were found to contribute to these changes. These include multiphoton absorption, saturable absorption, sign change of the effective dielectric constant, and transition from quantum occupation to classical Boltzmann distribution. Thus, the calculations provide a unified understanding of the interaction of intense pulsed light with solids, occurring on an extremely short time scale.
△ Less
Submitted 24 January, 2024;
originally announced January 2024.
-
SAR-RARP50: Segmentation of surgical instrumentation and Action Recognition on Robot-Assisted Radical Prostatectomy Challenge
Authors:
Dimitrios Psychogyios,
Emanuele Colleoni,
Beatrice Van Amsterdam,
Chih-Yang Li,
Shu-Yu Huang,
Yuchong Li,
Fucang Jia,
Baosheng Zou,
Guotai Wang,
Yang Liu,
Maxence Boels,
Jiayu Huo,
Rachel Sparks,
Prokar Dasgupta,
Alejandro Granados,
Sebastien Ourselin,
Mengya Xu,
An Wang,
Yanan Wu,
Long Bai,
Hongliang Ren,
Atsushi Yamada,
Yuriko Harai,
Yuto Ishikawa,
Kazuyuki Hayashi
, et al. (25 additional authors not shown)
Abstract:
Surgical tool segmentation and action recognition are fundamental building blocks in many computer-assisted intervention applications, ranging from surgical skills assessment to decision support systems. Nowadays, learning-based action recognition and segmentation approaches outperform classical methods, relying, however, on large, annotated datasets. Furthermore, action recognition and tool segme…
▽ More
Surgical tool segmentation and action recognition are fundamental building blocks in many computer-assisted intervention applications, ranging from surgical skills assessment to decision support systems. Nowadays, learning-based action recognition and segmentation approaches outperform classical methods, relying, however, on large, annotated datasets. Furthermore, action recognition and tool segmentation algorithms are often trained and make predictions in isolation from each other, without exploiting potential cross-task relationships. With the EndoVis 2022 SAR-RARP50 challenge, we release the first multimodal, publicly available, in-vivo, dataset for surgical action recognition and semantic instrumentation segmentation, containing 50 suturing video segments of Robotic Assisted Radical Prostatectomy (RARP). The aim of the challenge is twofold. First, to enable researchers to leverage the scale of the provided dataset and develop robust and highly accurate single-task action recognition and tool segmentation approaches in the surgical domain. Second, to further explore the potential of multitask-based learning approaches and determine their comparative advantage against their single-task counterparts. A total of 12 teams participated in the challenge, contributing 7 action recognition methods, 9 instrument segmentation techniques, and 4 multitask approaches that integrated both action recognition and instrument segmentation. The complete SAR-RARP50 dataset is available at: https://rdr.ucl.ac.uk/projects/SARRARP50_Segmentation_of_surgical_instrumentation_and_Action_Recognition_on_Robot-Assisted_Radical_Prostatectomy_Challenge/191091
△ Less
Submitted 23 January, 2024; v1 submitted 31 December, 2023;
originally announced January 2024.
-
High-field immiscibility of electrons belonging to adjacent twinned bismuth crystals
Authors:
Yuhao Ye,
Akiyoshi Yamada,
Yuto Kinoshita,
Jinhua Wang,
Pan Nie,
Liangcai Xu,
Huakun Zuo,
Masashi Tokunaga,
Neil Harrison,
Ross D. McDonald,
Alexey V. Suslov,
Arzhang Ardavan,
Moon-Sun Nam,
David LeBoeuf,
Cyril Proust,
Benoît Fauqué,
Yuki Fuseya,
Zengwei Zhu,
Kamran Behnia
Abstract:
Bulk bismuth has a complex Landau spectrum. The small effective masses and the large g-factors are anisotropic. The chemical potential drifts at high magnetic fields. Moreover, twin boundaries further complexify the interpretation of the data by producing extra anomalies in the extreme quantum limit. Here, we present a study of angle dependence of magnetoresistance up to 65 T in bismuth complement…
▽ More
Bulk bismuth has a complex Landau spectrum. The small effective masses and the large g-factors are anisotropic. The chemical potential drifts at high magnetic fields. Moreover, twin boundaries further complexify the interpretation of the data by producing extra anomalies in the extreme quantum limit. Here, we present a study of angle dependence of magnetoresistance up to 65 T in bismuth complemented with Nernst, ultrasound, and magneto-optic data. All observed anomalies can be explained in a single-particle picture of a sample consisting of two twinned crystals tilted by 108$^{\circ}$ and with two adjacent crystals keeping their own chemical potentials despite a shift between chemical potentials as large as 68 meV at 65 T. This implies an energy barrier between adjacent twinned crystals reminiscent of a metal-semiconductor Schottky barrier or a p-n junction. We argue that this barrier is built by accumulating charge carriers of opposite signs across a twin boundary.
△ Less
Submitted 15 February, 2024; v1 submitted 10 October, 2023;
originally announced October 2023.
-
The 19th International Workshop on Termination (WST 2023): Preface, Invited Talk Abstract, and Tool Descriptions
Authors:
Akihisa Yamada,
Benjamin Lucien Kaminski,
Dieter Hofbauer,
Fred Mesnard,
Étienne Payet
Abstract:
This report contains the proceedings of the 19th International Workshop on Termination (WST 2023), which was held in Obergurgl during August 24--25 as part of Obergurgl Summer on Rewriting (OSR 2023).
This report contains the proceedings of the 19th International Workshop on Termination (WST 2023), which was held in Obergurgl during August 24--25 as part of Obergurgl Summer on Rewriting (OSR 2023).
△ Less
Submitted 15 August, 2023;
originally announced August 2023.
-
Quantum--classical correspondence and dissipative to dissipationless crossover in magnetotransport phenomena
Authors:
Akiyoshi Yamada,
Yuki Fuseya
Abstract:
The three-dimensional magneto-conductivity tensor was derived in a gauge invariant form based on the Kubo formula considering the quantum effect under a magnetic field, such as the Landau quantization and the quantum oscillations. We analytically demonstrated that the quantum formula of the magneto-conductivity can be obtained by adding a quantum oscillation factor to the classical formula. This r…
▽ More
The three-dimensional magneto-conductivity tensor was derived in a gauge invariant form based on the Kubo formula considering the quantum effect under a magnetic field, such as the Landau quantization and the quantum oscillations. We analytically demonstrated that the quantum formula of the magneto-conductivity can be obtained by adding a quantum oscillation factor to the classical formula. This result establishes the quantum--classical correspondence, which has long been missing in magnetotransport phenomena. Moreover, we found dissipative-to-dissipationless crossover in the Hall conductivity by paying special attention to the analytic properties of thermal Green's function. Finally, by calculating the magnetoresistance of semimetals, we identified a phase shift in quantum oscillation originating from the dissipationless transport predominant at high fields.
△ Less
Submitted 3 July, 2023;
originally announced July 2023.
-
Survival Probability of Unstable States in Coupled-Channels -- nonexponential decay of "threshold-cusp"
Authors:
Wren A. Yamada,
Osamu Morimatsu,
Toru Sato,
Koichi Yazaki
Abstract:
We investigate the survival probability of unstable states, the time-dependence of an initial state, in coupled channels. First, we extend the formulation of the survival probability from single channel to coupled channels (two channels). We derive an exact general expression of the two-channel survival probability using uniformization, a method which makes the coupled-channel S matrix single-valu…
▽ More
We investigate the survival probability of unstable states, the time-dependence of an initial state, in coupled channels. First, we extend the formulation of the survival probability from single channel to coupled channels (two channels). We derive an exact general expression of the two-channel survival probability using uniformization, a method which makes the coupled-channel S matrix single-valued, and the Mittag-Leffler expansion, i.e. a pole expansion. Second, we calculate the time dependence of the two-channel survival probability by employing the derived expression. It is the minimal distance between the pole and the physical region in the complex energy plane, not the imaginary part of the pole energy, which determines not only the energy spectrum of the Green's function but also the survival probability. The survival probability of the "threshold-cusp" caused by a pole on the unusual complex-energy Riemann sheet is shown to decay, not grow in time though the imaginary part of the pole energy is positive. We also show that the decay of the "threshold-cusp" is non-exponential. Thus, the "threshold-cusp" is shown to be a new type of unstable mode, which is found only in coupled channels.
△ Less
Submitted 31 May, 2023; v1 submitted 19 May, 2023;
originally announced May 2023.
-
Novel loop-diagrammatic approach to QCD $θ$ parameter and application to the left-right model
Authors:
Junji Hisano,
Teppei Kitahara,
Naohiro Osamura,
Atsuyuki Yamada
Abstract:
When the QCD axion is absent in full theory, the strong $CP$ problem has to be explained by an additional mechanism, e.g., the left-right symmetry. Even though tree-level QCD $\barθ$ parameter is restricted by the mechanism, radiative corrections to $\barθ$ are mostly generated, which leads to a dangerous neutron electric dipole moment (EDM). The ordinary method for calculating the radiative…
▽ More
When the QCD axion is absent in full theory, the strong $CP$ problem has to be explained by an additional mechanism, e.g., the left-right symmetry. Even though tree-level QCD $\barθ$ parameter is restricted by the mechanism, radiative corrections to $\barθ$ are mostly generated, which leads to a dangerous neutron electric dipole moment (EDM). The ordinary method for calculating the radiative $\barθ$ utilizes an equation $\bar θ= - \text{arg}\, \text{det}\, m_q^{\rm loop}$ based on the chiral rotations of complex quark masses. In this paper, we point out that when full theory includes extra heavy quarks, the ordinary method is unsettled for the extra quark contributions and does not contain its full radiative corrections. We formulate a novel method to calculate the radiative corrections to $\barθ$ through a direct loop-diagrammatic approach, which should be more robust than the ordinary one. As an application, we investigate the radiative $\barθ$ in the minimal left-right symmetric model. We first confirm a seminal result that two-loop level radiative $\barθ$ completely vanishes (corresponding to one-loop corrections to the quark mass matrices). Furthermore, we estimate the size of a non-vanishing radiative $\barθ$ at three-loop level. It is found that the resultant induced neutron EDM is comparable to the current experimental bound, and the expected size is restricted by the perturbative unitarity bound in the minimal left-right model.
△ Less
Submitted 17 March, 2023; v1 submitted 30 January, 2023;
originally announced January 2023.
-
Goal-Aware RSS for Complex Scenarios via Program Logic
Authors:
Ichiro Hasuo,
Clovis Eberhart,
James Haydon,
Jérémy Dubut,
Rose Bohrer,
Tsutomu Kobayashi,
Sasinee Pruekprasert,
Xiao-Yi Zhang,
Erik André Pallas,
Akihisa Yamada,
Kohei Suenaga,
Fuyuki Ishikawa,
Kenji Kamijo,
Yoshiyuki Shinya,
Takamasa Suetomi
Abstract:
We introduce a goal-aware extension of responsibility-sensitive safety (RSS), a recent methodology for rule-based safety guarantee for automated driving systems (ADS). Making RSS rules guarantee goal achievement -- in addition to collision avoidance as in the original RSS -- requires complex planning over long sequences of manoeuvres. To deal with the complexity, we introduce a compositional reaso…
▽ More
We introduce a goal-aware extension of responsibility-sensitive safety (RSS), a recent methodology for rule-based safety guarantee for automated driving systems (ADS). Making RSS rules guarantee goal achievement -- in addition to collision avoidance as in the original RSS -- requires complex planning over long sequences of manoeuvres. To deal with the complexity, we introduce a compositional reasoning framework based on program logic, in which one can systematically develop RSS rules for smaller subscenarios and combine them to obtain RSS rules for bigger scenarios. As the basis of the framework, we introduce a program logic dFHL that accommodates continuous dynamics and safety conditions. Our framework presents a dFHL-based workflow for deriving goal-aware RSS rules; we discuss its software support, too. We conducted experimental evaluation using RSS rules in a safety architecture. Its results show that goal-aware RSS is indeed effective in realising both collision avoidance and goal achievement.
△ Less
Submitted 5 July, 2022;
originally announced July 2022.
-
Analytic Map of Three-Channel S Matrix -Generalized Uniformization and Mittag-Leffler Expansion-
Authors:
Wren A. Yamada,
Osamu Morimatsu,
Toru Sato
Abstract:
We explore the analytic structure of the three-channel $S$ matrix by generalizing uniformization and making a single-valued map for the three-channel $S$ matrix. First, by means of the inverse Jacobi's elliptic function we construct a transformation from eight Riemann sheets of the center-of-mass energy squared complex plane onto a torus, on which the three-channel $S$ matrix is represented single…
▽ More
We explore the analytic structure of the three-channel $S$ matrix by generalizing uniformization and making a single-valued map for the three-channel $S$ matrix. First, by means of the inverse Jacobi's elliptic function we construct a transformation from eight Riemann sheets of the center-of-mass energy squared complex plane onto a torus, on which the three-channel $S$ matrix is represented single-valued. Secondly, we show that the Mittag-Leffler expansion, a pole expansion, of the three-channel scattering amplitude includes not only topologically trivial but also nontrivial contributions and is given by the Weierstrass zeta function. Finally, we examine the obtained formula in the context of a simple three-channel model. Taking a simple non-relativistic effective field theory with contact interaction for the $S=-2$, $I=0$, $J^P = 0^+$, $ΛΛ-NΞ-ΣΣ$ coupled-channel scattering, we demonstrate that the scattering amplitude as a function of the uniformization variable is, in fact, given by the Mittag-Leffler expansion with the Weierstrass zeta function and that it is dominated by contributions from neighboring poles.
△ Less
Submitted 31 March, 2022;
originally announced March 2022.
-
Negative magnetoresistance and sign change of the planar Hall effect due to the negative off-diagonal effective-mass in Weyl semimetals
Authors:
Akiyoshi Yamada,
Yuki Fuseya
Abstract:
We theoretically investigated the magnetoresistance (MR) and planar Hall effect (PHE) in Weyl semimetals based on the semiclassical Boltzmann theory, focusing on the fine structure of the band dispersion. We identified that the negative longitudinal MR and sign change in the PHE occur because of the negative off-diagonal effective-mass with no topological effects or chiral anomaly physics. Our res…
▽ More
We theoretically investigated the magnetoresistance (MR) and planar Hall effect (PHE) in Weyl semimetals based on the semiclassical Boltzmann theory, focusing on the fine structure of the band dispersion. We identified that the negative longitudinal MR and sign change in the PHE occur because of the negative off-diagonal effective-mass with no topological effects or chiral anomaly physics. Our results highlight the crucial role of the off-diagonal effective-mass, which can cause anomalous galvanomagnetic effects. We propose that the PHE creates a dip in their temperature dependence, which enables the experimental detection of the Weyl point.
△ Less
Submitted 8 December, 2021;
originally announced December 2021.
-
Nonlinear dynamics of electromagnetic field and valley polarization in WSe$_{2}$ monolayer
Authors:
Arqum Hashmi,
Shunsuke Yamada,
Atsushi Yamada,
Kazuhiro Yabana,
Tomohito Otobe
Abstract:
Linear and nonlinear optical response of WSe$_{2}$ monolayer is investigated by two-dimensional Maxwell plus time-dependent density functional theory with spin-orbit interaction. By applying the chiral resonant pulses, the electron dynamics along with high harmonic generation are examined at weak and strong laser fields. WSe$_{2}$ monolayer shows the linear optical response at the intensity I = 10…
▽ More
Linear and nonlinear optical response of WSe$_{2}$ monolayer is investigated by two-dimensional Maxwell plus time-dependent density functional theory with spin-orbit interaction. By applying the chiral resonant pulses, the electron dynamics along with high harmonic generation are examined at weak and strong laser fields. WSe$_{2}$ monolayer shows the linear optical response at the intensity I = 10$^{10}$~W/cm$^{2}$ while a complex nonlinear behavior is observed at I = 10$^{12}$~W/cm$^{2}$. The nonlinear response of WSe$_{2}$ monolayer in terms of saturable absorption is observed at strong laser field. By changing the chirality of the resonant light, a strong circular dichroic effect is observed in the excited state population. A relatively weak laser field shows effective valley polarization while strong field induces spin-polarized carrier peak between $K$($K'$) and $\mathitΓ$-point via nonlinear process. On the other hand, the strong laser field shows high harmonics up to the 11th order. Our results demonstrate that circularly polarized resonant pulse generate high harmonics in WSe$_{2}$ monolayer of order 3n$\pm1$.
△ Less
Submitted 1 November, 2021;
originally announced November 2021.
-
Valley polarization control in WSe2 monolayer by a single-cycle laser pulse
Authors:
Arqum Hashmi,
Shunsuke Yamada,
Atsushi Yamada,
Kazuhiro Yabana,
Tomohito Otobe
Abstract:
Abstract The valley degree of freedom in two-dimensional materials provides an opportunity to extend the functionalities of valleytronics devices. Very short valley lifetimes demand the ultrafast control of valley pseudospin. Here, we theoretically demonstrate the control of valley pseudospin in WSe2 monolayer by single-cycle linearly polarized laser pulse. We use the asymmetric electric field con…
▽ More
Abstract The valley degree of freedom in two-dimensional materials provides an opportunity to extend the functionalities of valleytronics devices. Very short valley lifetimes demand the ultrafast control of valley pseudospin. Here, we theoretically demonstrate the control of valley pseudospin in WSe2 monolayer by single-cycle linearly polarized laser pulse. We use the asymmetric electric field controlled by the carrier-envelope phase (CEP) to make the valley polarization between K and K'-point in the Brillouin zone (BZ). Time-dependent density functional theory with spin-orbit interaction reveals that no valley asymmetry and its CEP dependence is observed within the linear-optical limit. In the nonlinear-optical regime, linearly polarized pulse induces a high degree of valley polarization and this polarization is robust against the field strength. Valley polarization strongly depends and oscillates as a function of CEP. The carrier density distribution forms nodes as the laser intensity increases, our results indicate that the position of the carrier density in the BZ can be controlled by the laser intensity. From the analysis by the massive Dirac Hamiltonian model, the nodes of the carrier density can be attributed to the Landau-Zener-Stückelberg interference of wave packets of the electron wave function.
△ Less
Submitted 12 October, 2021;
originally announced October 2021.
-
High order harmonic generation in semiconductors driven at near- and mid-IR wavelengths
Authors:
David Freeman,
Shunsuke Yamada,
Atsushi Yamada,
Kazuhiro Yabana,
Anatoli Kheifets
Abstract:
We study high order harmonics generation (HHG) in crystalline silicon and diamond subjected to near and mid-infrared laser pulses. We employ time-dependent density functional theory and solve the time-dependent Kohn-Sham equation in the single-cell geometry. We demonstrate that clear and clean HHG spectra can be generated with careful selection of the pulse duration. In addition, we simulate depha…
▽ More
We study high order harmonics generation (HHG) in crystalline silicon and diamond subjected to near and mid-infrared laser pulses. We employ time-dependent density functional theory and solve the time-dependent Kohn-Sham equation in the single-cell geometry. We demonstrate that clear and clean HHG spectra can be generated with careful selection of the pulse duration. In addition, we simulate dephasing effects in a large silicon super-cell through displacement of atomic positions prepared by a molecular dynamics simulation. We compare our results with the previous calculations by Floss et al. [arXiv:1705.10707] [Phys. Rev. A 97, 011401(R) (2018)] on Diamond at 800 nm and by Tancogne-Dejean et al. [arXiv:1609.09298] [Phys. Rev. Lett. 118, 087403 (2017)] on Si at 3000 nm.
△ Less
Submitted 8 August, 2022; v1 submitted 15 September, 2021;
originally announced September 2021.
-
Near-threshold Spectrum from Uniformized Mittag-Leffler Expansion -Pole Structure of $Z(3900)$-
Authors:
Wren A. Yamada,
Osamu Morimatsu,
Toru Sato,
Koichi Yazaki
Abstract:
We demonstrate how S-matrix poles manifest themselves as the physical spectrum near the upper threshold in the context of the two-channel uniformized Mittag-Leffler expansion, an expression written as a sum of pole terms under an appropriate variable where the S-matrix is made single-valued (uniformization). We show that the transition of the spectrum is continuous as a S-matrix pole moves across…
▽ More
We demonstrate how S-matrix poles manifest themselves as the physical spectrum near the upper threshold in the context of the two-channel uniformized Mittag-Leffler expansion, an expression written as a sum of pole terms under an appropriate variable where the S-matrix is made single-valued (uniformization). We show that the transition of the spectrum is continuous as a S-matrix pole moves across the boundaries of the complex energy Riemann sheets and that the physical spectrum peaks at or near the upper threshold when the S-matrix pole is positioned sufficiently close to it on the uniformized plane. There is no essential difference on which sheet the pole is positioned. What is important is the existence of a pole near the upper threshold and the distance between the pole and the physical region, not on which complex energy sheet the pole is positioned. We also point out that when the pole is close to the upper threshold, the complex pole does not have the usual meaning of the resonance. Neither the real part represents the peak energy, nor the imaginary part represents the half width. Subsequently, we try to understand the current status of $Z(3900)$ from the viewpoint of the uniformized Mittag-Leffler expansion reflecting in particular, Phys.Rev.Lett.117, 242001 (2016) in which they concluded that $Z(3900)$ is not a conventional resonance but a threshold cusp. We point out that their results turn out to indicate the existence of S-matrix poles near the $\bar D D^*$ threshold, which is most likely the origin of the peak found in their calculation of the near-threshold spectrum. In order to support our argument, we set up a separable potential model which shares common behavior of poles near the $\bar D D^*$ threshold to the above-mentioned reference and show in our model that the structures near the $\bar D D^*$ threshold are indeed caused by these near-threshold poles.
△ Less
Submitted 26 August, 2021;
originally announced August 2021.
-
Architecture-Guided Test Resource Allocation Via Logic
Authors:
Clovis Eberhart,
Akihisa Yamada,
Stefan Klikovits,
Shin-ya Katsumata,
Tsutomu Kobayashi,
Ichiro Hasuo,
Fuyuki Ishikawa
Abstract:
We introduce a new logic named Quantitative Confidence Logic (QCL) that quantifies the level of confidence one has in the conclusion of a proof. By translating a fault tree representing a system's architecture to a proof, we show how to use QCL to give a solution to the test resource allocation problem that takes the given architecture into account. We implemented a tool called Astrahl and compare…
▽ More
We introduce a new logic named Quantitative Confidence Logic (QCL) that quantifies the level of confidence one has in the conclusion of a proof. By translating a fault tree representing a system's architecture to a proof, we show how to use QCL to give a solution to the test resource allocation problem that takes the given architecture into account. We implemented a tool called Astrahl and compared our results to other testing resource allocation strategies.
△ Less
Submitted 22 July, 2021;
originally announced July 2021.
-
Designing a Location Trace Anonymization Contest
Authors:
Takao Murakami,
Hiromi Arai,
Koki Hamada,
Takuma Hatano,
Makoto Iguchi,
Hiroaki Kikuchi,
Atsushi Kuromasa,
Hiroshi Nakagawa,
Yuichi Nakamura,
Kenshiro Nishiyama,
Ryo Nojima,
Hidenobu Oguri,
Chiemi Watanabe,
Akira Yamada,
Takayasu Yamaguchi,
Yuji Yamaoka
Abstract:
For a better understanding of anonymization methods for location traces, we have designed and held a location trace anonymization contest that deals with a long trace (400 events per user) and fine-grained locations (1024 regions). In our contest, each team anonymizes her original traces, and then the other teams perform privacy attacks against the anonymized traces. In other words, both defense a…
▽ More
For a better understanding of anonymization methods for location traces, we have designed and held a location trace anonymization contest that deals with a long trace (400 events per user) and fine-grained locations (1024 regions). In our contest, each team anonymizes her original traces, and then the other teams perform privacy attacks against the anonymized traces. In other words, both defense and attack compete together, which is close to what happens in real life. Prior to our contest, we show that re-identification alone is insufficient as a privacy risk and that trace inference should be added as an additional risk. Specifically, we show an example of anonymization that is perfectly secure against re-identification and is not secure against trace inference. Based on this, our contest evaluates both the re-identification risk and trace inference risk and analyzes their relationship. Through our contest, we show several findings in a situation where both defense and attack compete together. In particular, we show that an anonymization method secure against trace inference is also secure against re-identification under the presence of appropriate pseudonymization. We also report defense and attack algorithms that won first place, and analyze the utility of anonymized traces submitted by teams in various applications such as POI recommendation and geo-data analysis.
△ Less
Submitted 5 September, 2022; v1 submitted 21 July, 2021;
originally announced July 2021.
-
Floquet vacuum engineering: Laser-driven chiral soliton lattice in the QCD vacuum
Authors:
Akihiro Yamada,
Naoki Yamamoto
Abstract:
What happens to the QCD vacuum when a time-periodic circularly polarized laser field with a sufficiently large intensity and frequency is applied? Based on the Floquet formalism for periodically driven systems and the systematic low-energy effective theory of QCD, we show that for a sufficiently large frequency and above a critical intensity, the QCD vacuum is unstable against the chiral soliton l…
▽ More
What happens to the QCD vacuum when a time-periodic circularly polarized laser field with a sufficiently large intensity and frequency is applied? Based on the Floquet formalism for periodically driven systems and the systematic low-energy effective theory of QCD, we show that for a sufficiently large frequency and above a critical intensity, the QCD vacuum is unstable against the chiral soliton lattice of pions; a crystalline structure of topological solitons that spontaneously breaks parity and continuous translational symmetries. Our work would pave the way for novel "Floquet vacuum engineering."
△ Less
Submitted 30 September, 2021; v1 submitted 14 July, 2021;
originally announced July 2021.
-
The UV sensitivity of the Higgs potential in Gauge-Higgs Unification
Authors:
Atsuyuki Yamada
Abstract:
In this paper, we discuss the UV sensitivity of the Higgs effective potential in a Gauge-Higgs Unification (GHU) model. We consider an $SU(\mathcal N)$ GHU on $\mathbf M^4\times S^1$ spacetime with a massless Dirac fermion. In this model, we evaluate the four-Fermi diagrams at the two-loop level and find them to be logarithmically divergent in the dimensional regularization scheme. Moreover, we co…
▽ More
In this paper, we discuss the UV sensitivity of the Higgs effective potential in a Gauge-Higgs Unification (GHU) model. We consider an $SU(\mathcal N)$ GHU on $\mathbf M^4\times S^1$ spacetime with a massless Dirac fermion. In this model, we evaluate the four-Fermi diagrams at the two-loop level and find them to be logarithmically divergent in the dimensional regularization scheme. Moreover, we confirm that their counter terms contribute to the Higgs effective potential at the four-loop level. This result means that the Higgs effective potential in the GHU depends on UV theories as well as in other non-renormalizable theories.
△ Less
Submitted 12 July, 2021; v1 submitted 10 March, 2021;
originally announced March 2021.
-
Angular dependence of magnetoresistance and planar Hall effect in semimetals in strong magnetic fields
Authors:
Akiyoshi Yamada,
Yuki Fuseya
Abstract:
The semiclassical transport theory is especially powerful for investigating galvanomagnetic effects. Generally, the semiclassical theory is applicable only in weak fields because it does not consider Landau quantization. Herein, we extend the conventional semiclassical theory by considering Landau quantization through the field dependence of carrier density in semimetals. The extended semiclassica…
▽ More
The semiclassical transport theory is especially powerful for investigating galvanomagnetic effects. Generally, the semiclassical theory is applicable only in weak fields because it does not consider Landau quantization. Herein, we extend the conventional semiclassical theory by considering Landau quantization through the field dependence of carrier density in semimetals. The extended semiclassical theory is applicable even in strong fields, where Landau quantization is noticeable. Using this new approach, we explain the qualitative change in the angular dependence of transverse magnetoresistance (TMR), anisotropic magnetoresistance (AMR), and planar Hall effect (PHE) in bismuth with an increase in the magnetic field. This unveils the puzzle of nontrivial field-induced changes in TMR, AMR, and PHE observed recently in semimetal bismuth.
△ Less
Submitted 14 October, 2020;
originally announced October 2020.
-
Fixed Points Theorems for Non-Transitive Relations
Authors:
Jérémy Dubut,
Akihisa Yamada
Abstract:
In this paper, we develop an Isabelle/HOL library of order-theoretic fixed-point theorems. We keep our formalization as general as possible: we reprove several well-known results about complete orders, often with only antisymmetry or attractivity, a mild condition implied by either antisymmetry or transitivity. In particular, we generalize various theorems ensuring the existence of a quasi-fixed p…
▽ More
In this paper, we develop an Isabelle/HOL library of order-theoretic fixed-point theorems. We keep our formalization as general as possible: we reprove several well-known results about complete orders, often with only antisymmetry or attractivity, a mild condition implied by either antisymmetry or transitivity. In particular, we generalize various theorems ensuring the existence of a quasi-fixed point of monotone maps over complete relations, and show that the set of (quasi-)fixed points is itself complete. This result generalizes and strengthens theorems of Knaster-Tarski, Bourbaki-Witt, Kleene, Markowsky, Pataraia, Mashburn, Bhatta-George, and Stouti-Maaden.
△ Less
Submitted 3 February, 2022; v1 submitted 28 September, 2020;
originally announced September 2020.
-
Modulation of probe signal in coherent phonon detection revisited: Analytical and first-principles computational analyses
Authors:
Atsushi Yamada,
Kazuhiro Yabana
Abstract:
Modulation of probe signal in pump-probe measurements of coherent phonons in dielectrics, with and without spectral resolution, are investigated theoretically taking diamond as an example. Analytical investigation as well as first-principles calculations based on time-dependent density functional theory is utilized to clarify the mechanism of the modulation of the probe signals. Boundary and bulk…
▽ More
Modulation of probe signal in pump-probe measurements of coherent phonons in dielectrics, with and without spectral resolution, are investigated theoretically taking diamond as an example. Analytical investigation as well as first-principles calculations based on time-dependent density functional theory is utilized to clarify the mechanism of the modulation of the probe signals. Boundary and bulk effects are investigated systematically, putting emphasis on the phase relation between the modulation and the atomic motion of the coherent phonon. They are summarized as follows: Modulation by the boundary effect is in phase with the coherent phonon amplitude, while that by the bulk effect shows $π/2$ phase difference. Strong frequency dependence appears in the modulation by the bulk effect, while no frequency dependence by the boundary effect. First-principles calculations support the reliability of the analytical result.
△ Less
Submitted 20 April, 2020;
originally announced April 2020.
-
Merged Four Dirac Points at the Critical Interlayer Distance in Commensurately Twisted Bilayer Graphene: the Origin of the Zero Velocity
Authors:
Aya Yamada,
Yasumasa Hasegawa
Abstract:
We study the commensurately-tilted bilayer graphene in the tight-binding model with changing the interlayer distance, which can be tuned by pressure. We find that at the commensurately-tilted bilayer graphene with moderate rotating angles, when the energy gap at K point is not negligible, the other Dirac points within the upper two bands move along the $Γ$-K-M line in the bilayer Brillouzone, when…
▽ More
We study the commensurately-tilted bilayer graphene in the tight-binding model with changing the interlayer distance, which can be tuned by pressure. We find that at the commensurately-tilted bilayer graphene with moderate rotating angles, when the energy gap at K point is not negligible, the other Dirac points within the upper two bands move along the $Γ$-K-M line in the bilayer Brillouzone, when the interlayer distance is changed. The velocity at K point becomes zero due to the merging of the four Dirac points within upper two bands. This mechanism of zero velocity at K point is expected to be the origin of the magic angle with flat band at ambient pressure, at which the upper two bands are almost degenerate and the band gap at K can be neglected.
△ Less
Submitted 23 March, 2021; v1 submitted 5 January, 2020;
originally announced January 2020.
-
To be, or not to be finite? The Higgs potential in Gauge-Higgs Unification
Authors:
Junji Hisano,
Yutaro Shoji,
Atsuyuki Yamada
Abstract:
In this paper, we investigate the finiteness of the Higgs effective potential in an ${\rm SU}(\mathcal N)$ Gauge-Higgs Unification (GHU) model defined on ${\bf M}^4\times S^1$. We obtain the Higgs effective potential at the two-loop level and find that it is finite. We also discuss that the Higgs effective potential is generically divergent for three- or higher-loop levels. As an example, we consi…
▽ More
In this paper, we investigate the finiteness of the Higgs effective potential in an ${\rm SU}(\mathcal N)$ Gauge-Higgs Unification (GHU) model defined on ${\bf M}^4\times S^1$. We obtain the Higgs effective potential at the two-loop level and find that it is finite. We also discuss that the Higgs effective potential is generically divergent for three- or higher-loop levels. As an example, we consider an ${\rm SU}(\mathcal N)$ gauge theory on ${\bf M}^5\times S^1$, where the one-loop corrections to the four-Fermi operators are divergent. We find that the Higgs effective potential depends on their counter terms at the three-loop level.
△ Less
Submitted 1 March, 2020; v1 submitted 24 August, 2019;
originally announced August 2019.
-
Influences of Human Demographics, Brand Familiarity and Security Backgrounds on Homograph Recognition
Authors:
Tran Phuong Thao,
Yukiko Sawaya,
Hoang-Quoc Nguyen-Son,
Akira Yamada,
Ayumu Kubota,
Tran Van Sang,
Rie Shigetomi Yamaguchi
Abstract:
Homograph attack is a way that attackers deceive victims about which website domain name they are communicating with by exploiting the fact that many characters look alike. The attack becomes serious and is raising broad attention when recently many brand domains have been attacked such as Apple Inc., Adobe Inc., Lloyds Bank, etc. We first design a survey of human demographics, brand familiarity,…
▽ More
Homograph attack is a way that attackers deceive victims about which website domain name they are communicating with by exploiting the fact that many characters look alike. The attack becomes serious and is raising broad attention when recently many brand domains have been attacked such as Apple Inc., Adobe Inc., Lloyds Bank, etc. We first design a survey of human demographics, brand familiarity, and security backgrounds and apply it to 2,067 participants. We build a regression model to study which factors affect participants' ability in recognizing homograph domains. We find that for different levels of visual similarity, the participants exhibit different abilities. 13.95% of participants can recognize non-homographs while 16.60% of participants can recognize homographs whose the visual similarity with the target brand domains is under 99.9%; but when the similarity increases to 99.9%, the number of participants who can recognize homographs significantly drops down to only 0.19%; and for the homographs with 100% of visual similarity, there is no way for the participants to recognize. We also find that female participants tend to recognize homographs better the male but male participants tend to able to recognize non-homographs better than females. Security knowledge is a significant factor affecting both homographs and non-homographs; surprisingly, people who have strong security knowledge tend to be able to recognize homographs but not non-homographs. Furthermore, people who work or are educated in computer science or computer engineering do not appear as a factor affecting the ability in recognizing homographs; however, interestingly, right after they are explained about the homograph attack, people who work or are educated in computer science or computer engineering are the ones who can capture the situation the most quickly.
△ Less
Submitted 26 January, 2020; v1 submitted 23 April, 2019;
originally announced April 2019.
-
Relational Differential Dynamic Logic
Authors:
Juraj Kolčák,
Ichiro Hasuo,
Jérémy Dubut,
Shin-ya Katsumata,
David Sprunger,
Akihisa Yamada
Abstract:
In the field of quality assurance of hybrid systems (that combine continuous physical dynamics and discrete digital control), Platzer's differential dynamic logic (dL) is widely recognized as a deductive verification method with solid mathematical foundations and sophisticated tool support. Motivated by benchmarks provided by our industry partner, we study a relational extension of dL, aiming to f…
▽ More
In the field of quality assurance of hybrid systems (that combine continuous physical dynamics and discrete digital control), Platzer's differential dynamic logic (dL) is widely recognized as a deductive verification method with solid mathematical foundations and sophisticated tool support. Motivated by benchmarks provided by our industry partner, we study a relational extension of dL, aiming to formally prove statements such as "an earlier deployment of the emergency brake decreases the collision speed." A main technical challenge here is to relate two states of two dynamics at different time points. Our main contribution is a theory of suitable simulations (a relational extension of differential invariants that are central proof methods in dL), and a derived technique of time stretching. The latter features particularly high applicability, since the user does not have to synthesize a simulation out of the air. We derive new inference rules for dL from these notions, and demonstrate their use over a couple of automotive case studies.
△ Less
Submitted 12 March, 2020; v1 submitted 28 February, 2019;
originally announced March 2019.
-
Time-dependent density functional theory for a unified description of ultrafast dynamics: pulsed light, electrons, and atoms in crystalline solids
Authors:
Atsushi Yamada,
Kazuhiro Yabana
Abstract:
We have developed a novel multiscale computational scheme to describe coupled dynamics of light electromagnetic field with electrons and atoms in crystalline solids, where first-principles molecular dynamics based on time-dependent density functional theory is used to describe the microscopic dynamics. The method is applicable to wide phenomena in nonlinear and ultrafast optics. To show usefulness…
▽ More
We have developed a novel multiscale computational scheme to describe coupled dynamics of light electromagnetic field with electrons and atoms in crystalline solids, where first-principles molecular dynamics based on time-dependent density functional theory is used to describe the microscopic dynamics. The method is applicable to wide phenomena in nonlinear and ultrafast optics. To show usefulness of the method, we apply it to a pump-probe measurement of coherent phonon in diamond where a Raman amplification takes place during the propagation of the probe pulse.
△ Less
Submitted 14 October, 2018;
originally announced October 2018.
-
Energy transfer from intense laser pulse to dielectrics in time-dependent density functional theory
Authors:
Atsushi Yamada,
Kazuhiro Yabana
Abstract:
Energy transfer processes from a high-intensity ultrashort laser pulse to electrons in simple dielectrics, silicon, diamond, and $α$-quartz are theoretically investigated by first-principles calculations based on time-dependent density functional theory (TDDFT). Dependences on frequency as well as intensity of the laser pulse are examined in detail, making a comparison with the Keldysh theory. Alt…
▽ More
Energy transfer processes from a high-intensity ultrashort laser pulse to electrons in simple dielectrics, silicon, diamond, and $α$-quartz are theoretically investigated by first-principles calculations based on time-dependent density functional theory (TDDFT). Dependences on frequency as well as intensity of the laser pulse are examined in detail, making a comparison with the Keldysh theory. Although the Keldysh theory reliably reproduces the main features of the TDDFT calculation, we find some deviations between results by the two theories. The origin of the differences is examined in detail.
△ Less
Submitted 7 July, 2018;
originally announced July 2018.
-
SALMON: Scalable Ab-initio Light-Matter simulator for Optics and Nanoscience
Authors:
Masashi Noda,
Shunsuke A. Sato,
Yuta Hirokawa,
Mitsuharu Uemoto,
Takashi Takeuchi,
Shunsuke Yamada,
Atsushi Yamada,
Yasushi Shinohara,
Maiku Yamaguchi,
Kenji Iida,
Isabella Floss,
Tomohito Otobe,
Kyung-Min Lee,
Kazuya Ishimura,
Taisuke Boku,
George F. Bertsch,
Katsuyuki Nobusada,
Kazuhiro Yabana
Abstract:
SALMON (Scalable Ab-initio Light-Matter simulator for Optics and Nanoscience, http://salmon-tddft.jp) is a software package for the simulation of electron dynamics and optical properties of molecules, nanostructures, and crystalline solids based on first-principles time-dependent density functional theory. The core part of the software is the real-time, real-space calculation of the electron dynam…
▽ More
SALMON (Scalable Ab-initio Light-Matter simulator for Optics and Nanoscience, http://salmon-tddft.jp) is a software package for the simulation of electron dynamics and optical properties of molecules, nanostructures, and crystalline solids based on first-principles time-dependent density functional theory. The core part of the software is the real-time, real-space calculation of the electron dynamics induced in molecules and solids by an external electric field solving the time-dependent Kohn-Sham equation. Using a weak instantaneous perturbing field, linear response properties such as polarizabilities and photoabsorptions in isolated systems and dielectric functions in periodic systems are determined. Using an optical laser pulse, the ultrafast electronic response that may be highly nonlinear in the field strength is investigated in time domain. The propagation of the laser pulse in bulk solids and thin films can also be included in the simulation via coupling the electron dynamics in many microscopic unit cells using Maxwell's equations describing the time evolution of the electromagnetic fields. The code is efficiently parallelized so that it may describe the electron dynamics in large systems including up to a few thousand atoms. The present paper provides an overview of the capabilities of the software package showing several sample calculations.
△ Less
Submitted 4 April, 2018;
originally announced April 2018.
-
On Probabilistic Term Rewriting
Authors:
Martin Avanzini,
Ugo Dal Lago,
Akihisa Yamada
Abstract:
We study the termination problem for probabilistic term rewrite systems. We prove that the interpretation method is sound and complete for a strengthening of positive almost sure termination, when abstract reduction systems and term rewrite systems are considered. Two instances of the interpretation method - polynomial and matrix interpretations - are analyzed and shown to capture interesting and…
▽ More
We study the termination problem for probabilistic term rewrite systems. We prove that the interpretation method is sound and complete for a strengthening of positive almost sure termination, when abstract reduction systems and term rewrite systems are considered. Two instances of the interpretation method - polynomial and matrix interpretations - are analyzed and shown to capture interesting and nontrivial examples when automated. We capture probabilistic computation in a novel way by way of multidistribution reduction sequences, this way accounting for both the nondeterminism in the choice of the redex and the probabilism intrinsic in firing each rule.
△ Less
Submitted 27 February, 2018;
originally announced February 2018.
-
Superconductivity in Cage Compounds La$Tr_{2}$Al$_{20}$ with $Tr$ = Ti, V, Nb, and Ta
Authors:
Akira Yamada,
Ryuji Higashinaka,
Tatsuma D. Matsuda,
Yuji Aoki
Abstract:
Electrical resistivity, magnetic susceptibility, and specific heat measurements on single crystals of La$Tr_{2}$Al$_{20}$ ($Tr$ = Ti, V, Nb, and Ta) revealed that these four compounds exhibit weak-coupling superconductivity with transition temperatures $T_{\rm c}$ = 0.46, 0.15, 1.05, and 1.03 K, respectively. LaTi$_{2}$Al$_{20}$ is most probably a type-I superconductor, which is quite rare among i…
▽ More
Electrical resistivity, magnetic susceptibility, and specific heat measurements on single crystals of La$Tr_{2}$Al$_{20}$ ($Tr$ = Ti, V, Nb, and Ta) revealed that these four compounds exhibit weak-coupling superconductivity with transition temperatures $T_{\rm c}$ = 0.46, 0.15, 1.05, and 1.03 K, respectively. LaTi$_{2}$Al$_{20}$ is most probably a type-I superconductor, which is quite rare among intermetallic compounds. Single-crystal X-ray diffraction suggests "rattling" anharmonic large-amplitude oscillations of Al ions (16$c$ site) on the Al$_{16}$ cage, while no such feature is suggested for the cage-center La ion. Using a parameter $d_{\rm GFS}$ quantifying the "guest free space" of the cage-center ion, we demonstrate that nonmagnetic $RTr_{2}$Al$_{20}$ superconductors are classified into two groups, i.e., (A) $d_{\rm GFS} \ne 0$ and $T_{\rm c}$ correlates with $d_{\rm GFS}$, and (B) $d_{\rm GFS} \simeq 0$ and $T_{\rm c}$ seems to be governed by other factors.
△ Less
Submitted 16 February, 2018;
originally announced February 2018.
-
SnAs-based layered superconductor NaSn2As2
Authors:
Yosuke Goto,
Akira Yamada,
Tatsuma D. Matsuda,
Yuji Aoki,
Yoshikazu Mizuguchi
Abstract:
Superconductivity with exotic properties has often been discovered in materials with a layered (two-dimensional) crystal structure. The low dimensionality affects the electronic structure of materials, which could realize a high transition temperature (Tc) and/or unconventional pairing mechanisms. Here, we report the superconductivity in a layered tin arsenide NaSn2As2. The crystal structure consi…
▽ More
Superconductivity with exotic properties has often been discovered in materials with a layered (two-dimensional) crystal structure. The low dimensionality affects the electronic structure of materials, which could realize a high transition temperature (Tc) and/or unconventional pairing mechanisms. Here, we report the superconductivity in a layered tin arsenide NaSn2As2. The crystal structure consists of (Sn2As2)2- bilayers, which is bound by van-der-Waals forces, separated by Na+ ions. Measurements of electrical resistivity and specific heat confirm the bulk nature of superconductivity of NaSn2As2 with Tc of 1.3 K. Our results propose that the SnAs layers will be a basic structure providing another universality class of a layered superconducting family, and it provides a new platform for the physics and chemistry of low-dimensional superconductors with lone pair electrons.
△ Less
Submitted 1 November, 2017; v1 submitted 26 September, 2017;
originally announced September 2017.
-
Low Curie-temperature ferromagnetic phase in SmPt2Cd20 possibly accompanied by strong quantum fluctuations
Authors:
Akira Yamada,
Shota Oike,
Ryuji Higashinaka,
Tatsuma D. Matsuda,
Yuji Aoki
Abstract:
Electrical resistivity, magnetization and specific heat have been measured for single crystals of SmPt$_{2}$Cd$_{20}$. It has been found that SmPt$_{2}$Cd$_{20}$ exhibits a ferromagnetic (FM) transition at $T_{\rm C} = 0.64$ K, the lowest among cubic compounds. Specific heat divided by temperature increases with decreasing temperature even below $T_{\rm C}$ and attains 4.5 J/mol K$^{2}$ at 0.26 K,…
▽ More
Electrical resistivity, magnetization and specific heat have been measured for single crystals of SmPt$_{2}$Cd$_{20}$. It has been found that SmPt$_{2}$Cd$_{20}$ exhibits a ferromagnetic (FM) transition at $T_{\rm C} = 0.64$ K, the lowest among cubic compounds. Specific heat divided by temperature increases with decreasing temperature even below $T_{\rm C}$ and attains 4.5 J/mol K$^{2}$ at 0.26 K, implying substantial magnetic quantum fluctuations. An analysis of the magnetic entropy suggests the crystalline-electric-field splitting of the Sm $J = 5/2$ multiplet with a $Γ_{7}$ doublet ground state and a $Γ_8$ quartet excited state (the excitation energy of $\sim30$ K). The electrical resistivity shows a power-law behavior with $T^{0.74}$ below 2 K without showing any noticeable anomaly at $T_{\rm C}$. SmPt$_{2}$Cd$_{20}$ is regarded as a rare cubic system that is located in the vicinity of a FM quantum critical point.
△ Less
Submitted 9 June, 2017;
originally announced June 2017.
-
Bulk Superconductivity Induced by In-plane Chemical Pressure Effect in Eu0.5La0.5FBiS2-xSex
Authors:
Gen Jinno,
Rajveer Jha,
Akira Yamada,
Ryuji Higashinaka,
Tatsuma D. Matsuda,
Yuji Aoki,
Masanori Nagao,
Osuke Miura,
Yoshikazu Mizuguchi
Abstract:
We have investigated Se substitution effect to superconductivity of an optimally-doped BiS2-based superconductor Eu0.5La0.5FBiS2. Eu0.5La0.5FBiS2-xSex samples with x = 0-1 were synthesized. With increasing x, in-plane chemical pressure is enhanced. For x = 0.6, 0.8, and 1, superconducting transitions with a large shielding volume fraction are observed in magnetic susceptibility measurements, and t…
▽ More
We have investigated Se substitution effect to superconductivity of an optimally-doped BiS2-based superconductor Eu0.5La0.5FBiS2. Eu0.5La0.5FBiS2-xSex samples with x = 0-1 were synthesized. With increasing x, in-plane chemical pressure is enhanced. For x = 0.6, 0.8, and 1, superconducting transitions with a large shielding volume fraction are observed in magnetic susceptibility measurements, and the highest Tc is 3.8 K for x = 0.8. From low-temperature electrical resistivity measurements, a zero-resistivity state is observed for all the samples, and the highest Tc is observed for x = 0.8. With increasing Se concentration, characteristics of electrical resistivity changes from semiconducting-like to metallic, suggesting that the emergence of bulk superconductivity is linked with the enhanced metallicity. A superconductivity phase diagram of the Eu0.5La0.5FBiS2-xSex superconductor is established. Temperature dependences of electrical resistivity show an anomalous two-step transition under high magnetic fields. Hence, the resistivity data are analyzed with assuming in-plane anisotropy of upper critical field.
△ Less
Submitted 6 August, 2016; v1 submitted 4 August, 2016;
originally announced August 2016.
-
Specific Heat and Electrical Transport Properties of Sn0.8Ag0.2Te Superconductor
Authors:
Yoshikazu Mizuguchi,
Akira Yamada,
Ryuji Higashinaka,
Tatsuma D. Matsuda,
Yuji Aoki,
Osuke Miura,
Masanori Nagao
Abstract:
Sn0.8Ag0.2Te is a new superconductor with Tc ~ 2.4 K. The superconducting properties of Sn0.8Ag0.2Te have been investigated by specific heat measurements under magnetic fields. Bulk nature of superconductivity was confirmed from the amplitude of the specific heat jump at the superconducting transition, and the amplitude is consistent with fully-gapped superconductivity. Upper critical field was es…
▽ More
Sn0.8Ag0.2Te is a new superconductor with Tc ~ 2.4 K. The superconducting properties of Sn0.8Ag0.2Te have been investigated by specific heat measurements under magnetic fields. Bulk nature of superconductivity was confirmed from the amplitude of the specific heat jump at the superconducting transition, and the amplitude is consistent with fully-gapped superconductivity. Upper critical field was estimated from specific heat and electrical resistivity measurements under magnetic fields. The Hall coefficient was positive, suggesting that the Ag acts as a p-type dopant in Sn0.8Ag0.2Te.
△ Less
Submitted 19 July, 2016;
originally announced July 2016.
-
Absence of Spin Liquid in the Hubbard model on the Honeycomb Lattice
Authors:
Atsushi Yamada
Abstract:
The possible emergence of a spin liquid phase in the half-filled Hubbard model on the honeycomb lattice; a simple model of graphene, is studied using the variational cluster approximation. We found that the critical interaction strength of a magnetic transition is slightly lower than that of the non-magnetic metal-to-insulator transition. Thus a semi-metallic state becomes a magnetic insulator as…
▽ More
The possible emergence of a spin liquid phase in the half-filled Hubbard model on the honeycomb lattice; a simple model of graphene, is studied using the variational cluster approximation. We found that the critical interaction strength of a magnetic transition is slightly lower than that of the non-magnetic metal-to-insulator transition. Thus a semi-metallic state becomes a magnetic insulator as the interaction strength increases and a non-magnetic insulating state does not occur. Therefore a spin liquid state characterized by an insulating state without long range order, is not realized in this system.
△ Less
Submitted 26 May, 2015; v1 submitted 26 May, 2015;
originally announced May 2015.
-
Magnetic phase diagram and Mott transition of the half-filled 1/5-depleted Hubbard model with frustration
Authors:
Atsushi Yamada
Abstract:
The magnetic properties and Mott transition of the half-filled Hubbard model on the 1/5 depleted square lattice with frustration is studied at zero temperature by the variational cluster approximation. The $(π,π)$ Néel ordering (AF) is stable in a wide region of the phase diagram and almost completely veils the non-magnetic Mott transition for the unfrustrated case. However, AF is severely suppres…
▽ More
The magnetic properties and Mott transition of the half-filled Hubbard model on the 1/5 depleted square lattice with frustration is studied at zero temperature by the variational cluster approximation. The $(π,π)$ Néel ordering (AF) is stable in a wide region of the phase diagram and almost completely veils the non-magnetic Mott transition for the unfrustrated case. However, AF is severely suppressed by the frustration and even with moderate frustrations the non-magnetic Mott transition takes place in the range where the intra-dimer hoppings are larger than the intra-plaquette hoppings.
△ Less
Submitted 21 August, 2014;
originally announced August 2014.
-
Magnetic properties and Mott transition of the Hubbard model for weakly coupled chains on the anisotropic triangular lattice
Authors:
Atsushi Yamada
Abstract:
We investigate the magnetic properties and Mott transition in the Hubbard model for weakly coupled chains on the anisotropic triangular lattice. Taking into account 120$^\circ$ Néel, and collinear orderings, the magnetic phase diagram is studied at zero temperature and half-filling by the variational cluster approximation. We found that when the on-site Coulomb repulsion $U$ is relatively large, n…
▽ More
We investigate the magnetic properties and Mott transition in the Hubbard model for weakly coupled chains on the anisotropic triangular lattice. Taking into account 120$^\circ$ Néel, and collinear orderings, the magnetic phase diagram is studied at zero temperature and half-filling by the variational cluster approximation. We found that when the on-site Coulomb repulsion $U$ is relatively large, nonmagnetic insulator, which is a candidate of the spin liquid state, is realized for wide range of the interchain hopping from quasi two-dimensional to almost one-dimensional regime. When the interchain hopping is relatively large, this nonmagnetic insulator becomes magnetic states as $U$ decreases. For rather small interchain hopping, it changes to the paramagnetic metal, thus purely paramagnetic metal-insulator transition (Mott transition) takes place. Implications of our results for the Cs$_2$CuBr$_4$ and Cs$_2$CuCl$_4$ are discussed.
△ Less
Submitted 19 June, 2014;
originally announced June 2014.
-
Nagoya Termination Tool
Authors:
Akihisa Yamada,
Keiichirou Kusakari,
Toshiki Sakabe
Abstract:
This paper describes the implementation and techniques of the Nagoya Termination Tool, a termination prover for term rewrite systems. The main features of the tool are: the first implementation of the weighted path order which subsumes most of the existing reduction pairs, and the efficiency due to the strong cooperation with external SMT solvers. We present some new ideas that contribute to the e…
▽ More
This paper describes the implementation and techniques of the Nagoya Termination Tool, a termination prover for term rewrite systems. The main features of the tool are: the first implementation of the weighted path order which subsumes most of the existing reduction pairs, and the efficiency due to the strong cooperation with external SMT solvers. We present some new ideas that contribute to the efficiency and power of the tool.
△ Less
Submitted 26 April, 2014;
originally announced April 2014.
-
A Unified Ordering for Termination Proving
Authors:
Akihisa Yamada,
Keiichirou Kusakari,
Toshiki Sakabe
Abstract:
We introduce a reduction order called the weighted path order (WPO) that subsumes many existing reduction orders. WPO compares weights of terms as in the Knuth-Bendix order (KBO), while WPO allows weights to be computed by a wide class of interpretations. We investigate summations, polynomials and maximums for such interpretations. We show that KBO is a restricted case of WPO induced by summations…
▽ More
We introduce a reduction order called the weighted path order (WPO) that subsumes many existing reduction orders. WPO compares weights of terms as in the Knuth-Bendix order (KBO), while WPO allows weights to be computed by a wide class of interpretations. We investigate summations, polynomials and maximums for such interpretations. We show that KBO is a restricted case of WPO induced by summations, the polynomial order (POLO) is subsumed by WPO induced by polynomials, and the lexicographic path order (LPO) is a restricted case of WPO induced by maximums. By combining these interpretations, we obtain an instance of WPO that unifies KBO, LPO and POLO. In order to fit WPO in the modern dependency pair framework, we further provide a reduction pair based on WPO and partial statuses. As a reduction pair, WPO also subsumes matrix interpretations. We finally present SMT encodings of our techniques, and demonstrate the significance of our work through experiments.
△ Less
Submitted 24 April, 2014;
originally announced April 2014.
-
AC-KBO Revisited
Authors:
Akihisa Yamada,
Sarah Winkler,
Nao Hirokawa,
Aart Middeldorp
Abstract:
Equational theories that contain axioms expressing associativity and commutativity (AC) of certain operators are ubiquitous. Theorem proving methods in such theories rely on well-founded orders that are compatible with the AC axioms. In this paper we consider various definitions of AC-compatible Knuth-Bendix orders. The orders of Steinbach and of Korovin and Voronkov are revisited. The former is e…
▽ More
Equational theories that contain axioms expressing associativity and commutativity (AC) of certain operators are ubiquitous. Theorem proving methods in such theories rely on well-founded orders that are compatible with the AC axioms. In this paper we consider various definitions of AC-compatible Knuth-Bendix orders. The orders of Steinbach and of Korovin and Voronkov are revisited. The former is enhanced to a more powerful version, and we modify the latter to amend its lack of monotonicity on non-ground terms. We further present new complexity results. An extension reflecting the recent proposal of subterm coefficients in standard Knuth-Bendix orders is also given. The various orders are compared on problems in termination and completion.
△ Less
Submitted 21 March, 2015; v1 submitted 3 March, 2014;
originally announced March 2014.
-
Magnetic properties and Mott transition in the Hubbard model on the anisotropic triangular lattice
Authors:
A. Yamada
Abstract:
Magnetic phase diagram and Mott transition are studied in the Hubbard model on the anisotropic triangular lattice at zero temperature and half-filling by the variational cluster approximation, taking into account Néel, 120$^\circ$ Néel, and collinear orderings. Paramagnetic insulator (spin liquid) is realized above the metallic phase around the isotropic point. In general, this spin liquid state,…
▽ More
Magnetic phase diagram and Mott transition are studied in the Hubbard model on the anisotropic triangular lattice at zero temperature and half-filling by the variational cluster approximation, taking into account Néel, 120$^\circ$ Néel, and collinear orderings. Paramagnetic insulator (spin liquid) is realized above the metallic phase around the isotropic point. In general, this spin liquid state, continuously connected with the metallic state, changes to a magnetic state as the on-site Coulomb repulsion $U$ increases, but it persists up to large $U$ limit in a small window between 120$^\circ$ Néel and collinear phases. For very large $U$ another spin liquid state, separated from the metallic state by magnetic states, emerges around a narrow region where both Néel and 120$^\circ$ Néel orderings are highly suppressed due to the frustration and anisotropy. Implications for the $κ$-(BEDT-TTF)$_2$Cu$_2$(CN)$_3$ are discussed. As for the Mott transition, the structure of the self-energy in the spectral representation is studied in detail. As $U$ increases around the Mott transition point, single dispersion evolves in the spectral weights of the self-energy which splits the non-interacting band into the upper and lower Hubbard bands.
△ Less
Submitted 16 April, 2014; v1 submitted 24 January, 2014;
originally announced January 2014.
-
Magnetic properties and Mott transition in the square-lattice Hubbard model with frustration
Authors:
A. Yamada,
K. Seki,
R. Eder,
Y. Ohta
Abstract:
The magnetic properties and Mott transition of the Hubbard model on the square lattice with frustration are studied at half-filling and zero temperature by the variational cluster approximation. When the on-site repulsion $U$ is large, magnetically disordered state is realized in highly frustrated region between the Néel and collinear phases, and no imcommensurate magnetic states are found there.…
▽ More
The magnetic properties and Mott transition of the Hubbard model on the square lattice with frustration are studied at half-filling and zero temperature by the variational cluster approximation. When the on-site repulsion $U$ is large, magnetically disordered state is realized in highly frustrated region between the Néel and collinear phases, and no imcommensurate magnetic states are found there. As for the Mott transition, in addition to the Mott gap and double occupancy, which clarify the nature of the transition, the structure of the self-energy in the spectral representation is studied in detail below and above the Mott transition point. The spectral structure of the self-energy is almost featureless in the metallic phase, but clear single dispersion, leading to the Mott gap, appears in the Mott insulator phase.
△ Less
Submitted 17 April, 2013;
originally announced April 2013.
-
Photoelectron Angular Distributions for Two-photon Ionization of Helium by Ultrashort Extreme Ultraviolet Free Electron Laser Pulses
Authors:
R. Ma,
K. Motomura,
K. L. Ishikawa,
S. Mondal,
H. Fukuzawa,
A. Yamada,
K. Ueda,
K. Nagaya,
S. Yase,
Y. Mizoguchi,
M. Yao,
A. Rouzée,
A. Hundermark,
M. J. J. Vrakking,
P. Johnsson,
M. Nagasono,
K. Tono,
T. Togashi,
Y. Senba,
H. Ohashi,
M. Yabashi,
T. Ishikawa
Abstract:
Phase-shift differences and amplitude ratios of the outgoing $s$ and $d$ continuum wave packets generated by two-photon ionization of helium atoms are determined from the photoelectron angular distributions obtained using velocity map imaging. Helium atoms are ionized with ultrashort extreme-ultraviolet free-electron laser pulses with a photon energy of 20.3, 21.3, 23.0, and 24.3 eV, produced by t…
▽ More
Phase-shift differences and amplitude ratios of the outgoing $s$ and $d$ continuum wave packets generated by two-photon ionization of helium atoms are determined from the photoelectron angular distributions obtained using velocity map imaging. Helium atoms are ionized with ultrashort extreme-ultraviolet free-electron laser pulses with a photon energy of 20.3, 21.3, 23.0, and 24.3 eV, produced by the SPring-8 Compact SASE Source test accelerator. The measured values of the phase-shift differences are distinct from scattering phase-shift differences when the photon energy is tuned to an excited level or Rydberg manifold. The difference stems from the competition between resonant and non-resonant paths in two-photon ionization by ultrashort pulses. Since the competition can be controlled in principle by the pulse shape, the present results illustrate a new way to tailor the continuum wave packet.
△ Less
Submitted 30 September, 2012; v1 submitted 21 April, 2012;
originally announced April 2012.
-
Grisms Developed for FOCAS
Authors:
Noboru Ebizuka,
Koji S. Kawabata,
Keiko Oka,
Akiko Yamada,
Masako Kashiwagi,
Kashiko Kodate,
Takashi Hattori,
Nobunari Kashikawa,
Masanori Iye
Abstract:
Faint Object Camera and Spectrograph (FOCAS) is a versatile common-use optical instrument for the 8.2m Subaru Telescope, offering imaging and spectroscopic observations. FOCAS employs grisms with resolving powers ranging from 280 to 8200 as dispersive optical elements. A grism is a direct-vision grating composed of a transmission grating and prism(s). FOCAS has five grisms with replica surface-rel…
▽ More
Faint Object Camera and Spectrograph (FOCAS) is a versatile common-use optical instrument for the 8.2m Subaru Telescope, offering imaging and spectroscopic observations. FOCAS employs grisms with resolving powers ranging from 280 to 8200 as dispersive optical elements. A grism is a direct-vision grating composed of a transmission grating and prism(s). FOCAS has five grisms with replica surface-relief gratings including an echelle-type grism, and eight grisms with volume-phase holographic (VPH) gratings. The size of these grisms is 110 mm X 106 mm in aperture with a maximum thickness of 110 mm. We employ not only the dichromated gelatin, but also the hologram resin as a recording material for VPH gratings. We discuss the performance of these FOCAS grisms measured in the laboratory, and verify it by test observations, and show examples of astronomical spectroscopic observations.
△ Less
Submitted 5 May, 2011;
originally announced May 2011.
-
Mott transition and ferrimagnetism in the Hubbard model on the anisotropic kagomé lattice
Authors:
A. Yamada,
K. Seki,
R. Eder,
Y. Ohta
Abstract:
Mott transition and ferrimagnetism are studied in the Hubbard model on the anisotropic kagomé lattice using the variational cluster approximation and the phase diagram at zero temperature and half-filling is analyzed. The ferrimagnetic phase rapidly grows as the geometric frustration is relaxed, and the Mott insulator phase disappears in moderately frustrated region, showing that the ferrimagnetic…
▽ More
Mott transition and ferrimagnetism are studied in the Hubbard model on the anisotropic kagomé lattice using the variational cluster approximation and the phase diagram at zero temperature and half-filling is analyzed. The ferrimagnetic phase rapidly grows as the geometric frustration is relaxed, and the Mott insulator phase disappears in moderately frustrated region, showing that the ferrimagnetic fluctuations stemming from the relaxation of the geometric frustration is enhanced by the electron correlations. In metallic phase, heavy fermion behavior is observed and mass enhancement factor is computed. Enhancement of effective spatial anisotropy by the electron correlations is also confirmed in moderately frustrated region, and its effect on heavy fermion behavior is examined.
△ Less
Submitted 16 April, 2013; v1 submitted 19 January, 2011;
originally announced January 2011.
-
Space efficient opposed-anvil high-pressure cell and its application to optical and NMR measurements up to 9 GPa
Authors:
Kentaro Kitagawa,
Hirotada Gotou,
Takehiko Yagi,
Atsushi Yamada,
Takehiko Matsumoto,
Yoshiya Uwatoko,
Masashi Takigawa
Abstract:
We have developed a new type of opposed-anvil high pressure cell with substantially improved space efficiency. The clamp cell and the gasket are made of non-magnetic Ni-Cr-Al alloy. Non-magnetic tungsten carbide (NMWC) is used for the anvils. The assembled cell with the dimension φ29mm \times 41mm is capable of generating pressure up to 9 GPa over a relatively large volume of 7 mm3. Our cell is…
▽ More
We have developed a new type of opposed-anvil high pressure cell with substantially improved space efficiency. The clamp cell and the gasket are made of non-magnetic Ni-Cr-Al alloy. Non-magnetic tungsten carbide (NMWC) is used for the anvils. The assembled cell with the dimension φ29mm \times 41mm is capable of generating pressure up to 9 GPa over a relatively large volume of 7 mm3. Our cell is particularly suitable for those experiments which require large sample space to achieve good signal-to-noise ratio, such as the nuclear magnetic resonance (NMR) experiment. Argon is used as the pressure transmitting medium to obtain good hydrostaticity. The pressure was calibrated in situ by measuring the fluorescence from ruby through a transparent moissanite (6H-SiC) window. We have measured the pressure and temperature dependences of the 63Cu nuclear-quadrupole-resonance (NQR) frequency of Cu2O, the in-plane Knight shift of metallic tin, and the Knight shift of platinum. These quantities can be used as reliable manometers to determine the pressure values in situ during the NMR/NQR experiments up to 9 GPa.
△ Less
Submitted 25 November, 2009; v1 submitted 9 October, 2009;
originally announced October 2009.