Skip to main content

Showing 1–50 of 67 results for author: Yamada, A

  1. arXiv:2409.19832  [pdf, ps, other

    cond-mat.str-el

    $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

    Submitted 29 September, 2024; originally announced September 2024.

    Comments: 6 pages, 5 figures

  2. arXiv:2409.12570  [pdf, other

    cond-mat.mes-hall cond-mat.mtrl-sci physics.app-ph

    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

    Submitted 19 September, 2024; originally announced September 2024.

  3. arXiv:2409.06734  [pdf, other

    cs.DC

    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

    Submitted 8 September, 2024; originally announced September 2024.

    Comments: Under Review

  4. arXiv:2402.16228  [pdf, ps, other

    math.FA

    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.

    Submitted 25 February, 2024; originally announced February 2024.

    MSC Class: 15A45 (Primary); 46E22 (Secondary)

  5. arXiv:2401.13417  [pdf, other

    physics.optics

    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

    Submitted 24 January, 2024; originally announced January 2024.

    Comments: 17 pages, 6 figures

  6. arXiv:2401.00496  [pdf, other

    cs.CV cs.AI cs.LG

    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

    Submitted 23 January, 2024; v1 submitted 31 December, 2023; originally announced January 2024.

  7. 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

    Submitted 15 February, 2024; v1 submitted 10 October, 2023; originally announced October 2023.

    Comments: 11 pages, 7 figures

    Journal ref: npj Quantum Materials 9,12 (2024)

  8. arXiv:2308.09536  [pdf, other

    cs.LO

    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).

    Submitted 15 August, 2023; originally announced August 2023.

  9. arXiv:2307.00763  [pdf, ps, other

    cond-mat.mes-hall cond-mat.mtrl-sci

    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

    Submitted 3 July, 2023; originally announced July 2023.

  10. arXiv:2305.11695  [pdf, other

    hep-ph hep-ex nucl-th quant-ph

    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

    Submitted 31 May, 2023; v1 submitted 19 May, 2023; originally announced May 2023.

    Comments: 10 pages, 5 figures

    Report number: KEK-TH-2526, J-PARC-TH-0287, RIKEN-iTHEMS-Report-23

  11. 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

    Submitted 17 March, 2023; v1 submitted 30 January, 2023; originally announced January 2023.

    Comments: 32 pages, 5 figures, 2 tables; v2: matches version published in JHEP

    Report number: IPMU23-0002, KEK-TH-2494

    Journal ref: JHEP 03 (2023) 150

  12. 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

    Submitted 5 July, 2022; originally announced July 2022.

    Comments: 33 pages, 18 figures, 1 table. Accepted for publication in IEEE Transactions on Intelligent Vehicles

    ACM Class: I.2.9; F.4.1

  13. 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

    Submitted 31 March, 2022; originally announced March 2022.

    Comments: 7 pages, 7 figures

    Report number: KEK-TH-2408, J-PARC-TH-0271

  14. arXiv:2112.04400  [pdf, other

    cond-mat.mes-hall cond-mat.mtrl-sci

    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

    Submitted 8 December, 2021; originally announced December 2021.

  15. arXiv:2111.00690  [pdf, other

    cond-mat.mtrl-sci physics.optics

    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

    Submitted 1 November, 2021; originally announced November 2021.

    Comments: arXiv admin note: text overlap with arXiv:2110.06433

    Journal ref: Appl. Phys. Lett. 120, 051108 (2022)

  16. arXiv:2110.06433  [pdf, other

    physics.optics cond-mat.mtrl-sci

    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

    Submitted 12 October, 2021; originally announced October 2021.

    Journal ref: Phys. Rev. B 105, 115403 (2022)

  17. 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

    Submitted 8 August, 2022; v1 submitted 15 September, 2021; originally announced September 2021.

    Comments: Accepted to Phys. Rev. B

  18. 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

    Submitted 26 August, 2021; originally announced August 2021.

    Comments: 13 pages, 7 pdf figures

    Report number: KEK-TH-2344, J-PARC-TH-0248, RIKEN-iTHEMS-Report-21

  19. 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

    Submitted 22 July, 2021; originally announced July 2021.

    Comments: 17 pages, 6 figures, author version of the manuscript of the same name published in the proceedings of the 15th International Conference on Tests and Proofs (TAP 2021)

    ACM Class: D.2.5

    Journal ref: Lecture Notes in Computer Science book series (LNCS, volume 12740), 2021, pp 22-38

  20. arXiv:2107.10407  [pdf, other

    cs.CR cs.DB

    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

    Submitted 5 September, 2022; v1 submitted 21 July, 2021; originally announced July 2021.

    Comments: Accepted at PoPETs (Proceedings on Privacy Enhancing Technologies) 2023

  21. arXiv:2107.07074  [pdf, ps, other

    hep-ph cond-mat.str-el hep-th

    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

    Submitted 30 September, 2021; v1 submitted 14 July, 2021; originally announced July 2021.

    Comments: 7 pages; v2: added discussion of Weyl/Dirac semimetals, typos fixed, published version

    Journal ref: Phys. Rev. D 104, 054041 (2021)

  22. 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

    Submitted 12 July, 2021; v1 submitted 10 March, 2021; originally announced March 2021.

    Comments: 24 pages, prepared for submission to PTEP, accepted for publication in PTEP

  23. arXiv:2010.07077  [pdf, ps, other

    cond-mat.mes-hall cond-mat.mtrl-sci

    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

    Submitted 14 October, 2020; originally announced October 2020.

    Comments: 6 pages, 5 figures

    Journal ref: Phys. Rev. B 103, 125148 (2021)

  24. 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

    Submitted 3 February, 2022; v1 submitted 28 September, 2020; originally announced September 2020.

    Journal ref: Logical Methods in Computer Science, Volume 18, Issue 1 (February 4, 2022) lmcs:6809

  25. arXiv:2004.09069  [pdf, ps, other

    physics.optics cond-mat.mes-hall

    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

    Submitted 20 April, 2020; originally announced April 2020.

    Journal ref: Phys. Rev. B 101, 214313 (2020)

  26. arXiv:2001.01364  [pdf, ps, other

    cond-mat.mes-hall cond-mat.other

    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

    Submitted 23 March, 2021; v1 submitted 5 January, 2020; originally announced January 2020.

    Comments: 10 pages 13 figures

    Journal ref: J. Phys. Soc. Jpn. 90, 024703 (2021) [10 Pages]

  27. 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

    Submitted 1 March, 2020; v1 submitted 24 August, 2019; originally announced August 2019.

    Comments: 23 pages. Accepted for publication in JHEP

    Report number: IPMU19-0104

    Journal ref: JHEP 02 (2020) 193

  28. arXiv:1904.10595  [pdf, other

    cs.CR

    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

    Submitted 26 January, 2020; v1 submitted 23 April, 2019; originally announced April 2019.

  29. arXiv:1903.00153  [pdf, other

    cs.LO

    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

    Submitted 12 March, 2020; v1 submitted 28 February, 2019; originally announced March 2019.

  30. arXiv:1810.06168  [pdf, ps, other

    physics.comp-ph cond-mat.mtrl-sci

    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

    Submitted 14 October, 2018; originally announced October 2018.

    Journal ref: Phys. Rev. B 99, 245103 (2019)

  31. 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

    Submitted 7 July, 2018; originally announced July 2018.

  32. arXiv:1804.01404  [pdf, other

    physics.comp-ph cond-mat.mes-hall physics.optics

    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

    Submitted 4 April, 2018; originally announced April 2018.

  33. arXiv:1802.09774  [pdf, ps, other

    cs.SC

    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

    Submitted 27 February, 2018; originally announced February 2018.

    Comments: Technical Report of our FLOPS'18 paper

  34. arXiv:1802.06119  [pdf, ps, other

    cond-mat.supr-con cond-mat.str-el

    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

    Submitted 16 February, 2018; originally announced February 2018.

    Comments: 5 pages, 5 figures. To appear in J. Phys. Soc. Jpn

    Journal ref: J. Phys. Soc. Jpn. 87, 033707 (2018)

  35. arXiv:1709.08899  [pdf

    cond-mat.supr-con

    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

    Submitted 1 November, 2017; v1 submitted 26 September, 2017; originally announced September 2017.

    Comments: 12 pages, 1 table, 3 figures

    Journal ref: J. Phys. Soc. Jpn. 86, 123701 (2017)

  36. 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

    Submitted 9 June, 2017; originally announced June 2017.

    Journal ref: Phys. Rev. B 96, 085102 (2017)

  37. arXiv:1608.01470  [pdf

    cond-mat.supr-con cond-mat.mtrl-sci

    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

    Submitted 6 August, 2016; v1 submitted 4 August, 2016; originally announced August 2016.

    Comments: 23 pages, 16 figures (including 10 supplemental materials), 2 tables as supplemental materials

    Journal ref: J. Phys. Soc. Jpn. 85, 124708 (2016)

  38. arXiv:1607.05474  [pdf

    cond-mat.supr-con cond-mat.mtrl-sci

    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

    Submitted 19 July, 2016; originally announced July 2016.

    Comments: 11 pages, 5 figures

    Journal ref: J. Phys. Soc. Jpn. 85, 103701 (2016)

  39. 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

    Submitted 26 May, 2015; v1 submitted 26 May, 2015; originally announced May 2015.

    Comments: 4 pages, 3 figures, typo corrected

    Journal ref: International Journal of Modern Physics B Vol. 30, No. 23 (2016) 1650158

  40. 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

    Submitted 21 August, 2014; originally announced August 2014.

    Comments: 4 pages, 4gigures

    Journal ref: Physical Review B 90, 245139 (2014)

  41. 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

    Submitted 19 June, 2014; originally announced June 2014.

    Comments: 6 pages, 5 figures

    Journal ref: Physical Review B 90, 235138 (2014)

  42. arXiv:1404.6626  [pdf, ps, other

    cs.LO

    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

    Submitted 26 April, 2014; originally announced April 2014.

    Comments: 12 pages, 1 figure, full version of the paper which is to appear in RTA/TLCA 2014

  43. arXiv:1404.6245  [pdf, ps, other

    cs.LO

    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

    Submitted 24 April, 2014; originally announced April 2014.

    Comments: 38 pages, revised version submitted to SCP

  44. 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

    Submitted 21 March, 2015; v1 submitted 3 March, 2014; originally announced March 2014.

    Comments: 31 pages, To appear in Theory and Practice of Logic Programming (TPLP) special issue for the 12th International Symposium on Functional and Logic Programming (FLOPS 2014)

    Journal ref: Theory and Practice of Logic Programming 16 (2016) 163-188

  45. 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

    Submitted 16 April, 2014; v1 submitted 24 January, 2014; originally announced January 2014.

    Comments: 10 pages, 10 figures.8

    Journal ref: Physical Review B 89, 195108 (2014)

  46. 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

    Submitted 17 April, 2013; originally announced April 2013.

    Comments: 12 pages, 13 figures

    Journal ref: Physical Review B 88, 075114 (2013)

  47. 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

    Submitted 30 September, 2012; v1 submitted 21 April, 2012; originally announced April 2012.

    Comments: 5 pages, 1 table, 3 figures

  48. 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

    Submitted 5 May, 2011; originally announced May 2011.

    Comments: 18 pages, 12 figures, accepted for publication in PASJ 63, SP2 (Subaru special issue)

    Journal ref: Ebizuka, N., et al. 2011, PASJ, 63, S613-S622

  49. 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

    Submitted 16 April, 2013; v1 submitted 19 January, 2011; originally announced January 2011.

    Comments: 5 pages, 6 figures

    Journal ref: Physical Review B 83, 195127 (2011)

  50. arXiv:0910.1767  [pdf, ps, other

    cond-mat.mtrl-sci cond-mat.other

    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

    Submitted 25 November, 2009; v1 submitted 9 October, 2009; originally announced October 2009.

    Comments: 9 pages, 5 figures, 3 tables, accepted for publication in J. Phys. Soc. Jpn

    Journal ref: J. Phys. Soc. Jpn. 79, 024001 (2010)