Skip to main content

Showing 1–21 of 21 results for author: Akazaki, T

.
  1. arXiv:2112.05384  [pdf, ps, other

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

    Gate tuning of fractional quantum Hall states in InAs two-dimensional electron gas

    Authors: S. Komatsu, H. Irie, T. Akiho, T. Nojima, T. Akazaki, K. Muraki

    Abstract: We report the observation of fractional quantum Hall (FQH) effects in a two-dimensional electron gas (2DEG) confined to an InAs/AlGaSb quantum well, using a dual-gated Hall-bar device allowing for the independent control of the vertical electric field and electron density. At a magnetic field of 24 T, we observe FQH states at several filling factors, namely $ν= 5/3$, $2/3$, and $1/3$, in addition… ▽ More

    Submitted 10 December, 2021; originally announced December 2021.

    Comments: 5 pages, 4 figures

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

  2. Q&A MAESTRO: Q&A Post Recommendation for Fixing Java Runtime Exceptions

    Authors: Yusuke Kimura, Takumi Akazaki, Shinji Kikuchi, Sonal Mahajan, Mukul R. Prasad

    Abstract: Programmers often use Q&A sites (e.g., Stack Overflow) to understand a root cause of program bugs. Runtime exceptions is one of such important class of bugs that is actively discussed on Stack Overflow. However, it may be difficult for beginner programmers to come up with appropriate keywords for search. Moreover, they need to switch their attentions between IDE and browser, and it is time-consumi… ▽ More

    Submitted 23 August, 2021; originally announced August 2021.

  3. Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning

    Authors: Takumi Akazaki, Shuang Liu, Yoriyuki Yamagata, Yihai Duan, Jianye Hao

    Abstract: With the rapid development of software and distributed computing, Cyber-Physical Systems (CPS) are widely adopted in many application areas, e.g., smart grid, autonomous automobile. It is difficult to detect defects in CPS models due to the complexities involved in the software and physical systems. To find defects in CPS models efficiently, robustness guided falsification of CPS is introduced. Ex… ▽ More

    Submitted 1 May, 2018; originally announced May 2018.

    Comments: 9 pages, 1 figure, to be presented at FM2018

    Journal ref: Formal Methods. FM 2018. Lecture Notes in Computer Science, vol 10951. Springer, Cham

  4. arXiv:1709.02555  [pdf, other

    eess.SY cs.AI cs.LG cs.LO

    Causality-Aided Falsification

    Authors: Takumi Akazaki, Yoshihiro Kumazawa, Ichiro Hasuo

    Abstract: Falsification is drawing attention in quality assurance of heterogeneous systems whose complexities are beyond most verification techniques' scalability. In this paper we introduce the idea of causality aid in falsification: by providing a falsification solver -- that relies on stochastic optimization of a certain cost function -- with suitable causal information expressed by a Bayesian network, s… ▽ More

    Submitted 8 September, 2017; originally announced September 2017.

    Comments: In Proceedings FVAV 2017, arXiv:1709.02126

    Journal ref: EPTCS 257, 2017, pp. 3-18

  5. A Boyer-Moore Type Algorithm for Timed Pattern Matching

    Authors: Masaki Waga, Takumi Akazaki, Ichiro Hasuo

    Abstract: The timed pattern matching problem is formulated by Ulus et al. and has been actively studied since, with its evident application in monitoring real-time systems. The problem takes as input a timed word/signal and a timed pattern (specified either by a timed regular expression or by a timed automaton); and it returns the set of those intervals for which the given timed word, when restricted to the… ▽ More

    Submitted 30 June, 2016; v1 submitted 23 June, 2016; originally announced June 2016.

    Journal ref: Formal Modeling and Analysis of Timed Systems. FORMATS 2016. Lecture Notes in Computer Science, vol 9884. Springer, Cham

  6. arXiv:1603.02411  [pdf

    cond-mat.mes-hall cond-mat.supr-con

    Andreev reflection and bound state formation in a ballistic two-dimensional electron gas probed by a quantum point contact

    Authors: Hiroshi Irie, Clemens Todt, Norio Kumada, Yuichi Harada, Hiroki Sugiyama, Tatsushi Akazaki, Koji Muraki

    Abstract: We study coherent transport and bound-state formation of Bogoliubov quasiparticles in a high-mobility In$_{0.75}%$Ga$_{0.25}$As two-dimensional electron gas (2DEG) coupled to a superconducting Nb electrode by means of a quantum point contact (QPC) as a tunable single-mode probe. Below the superconducting critical temperature of Nb, the QPC shows a single-channel conductance greater than the conduc… ▽ More

    Submitted 8 March, 2016; originally announced March 2016.

    Comments: 6 pages, 5 figures

    Journal ref: Phys. Rev. B 94, 155305 (2016)

  7. arXiv:1505.06307  [pdf, other

    eess.SY cs.LO

    Time Robustness in MTL and Expressivity in Hybrid System Falsification (Extended Version)

    Authors: Takumi Akazaki, Ichiro Hasuo

    Abstract: Building on the work by Fainekos and Pappas and the one by Donze and Maler, we introduce AvSTL, an extension of metric interval temporal logic by averaged temporal operators. Its expressivity in capturing both space and time robustness helps solving falsification problems, (i.e. searching for a critical path in hybrid system models); it does so by communicating a designer's intention more faithful… ▽ More

    Submitted 27 May, 2015; v1 submitted 23 May, 2015; originally announced May 2015.

    Comments: 22pages, a long version of the paper accepted in 27th International Conference on Computer Aided Verification (CAV 2015)

  8. Input Synthesis for Sampled Data Systems by Program Logic

    Authors: Takumi Akazaki, Ichiro Hasuo, Kohei Suenaga

    Abstract: Inspired by a concrete industry problem we consider the input synthesis problem for hybrid systems: given a hybrid system that is subject to input from outside (also called disturbance or noise), find an input sequence that steers the system to the desired postcondition. In this paper we focus on sampled data systems--systems in which a digital controller interrupts a physical plant in a periodi… ▽ More

    Submitted 24 January, 2015; originally announced January 2015.

    Comments: In Proceedings HAS 2014, arXiv:1501.05405

    Journal ref: EPTCS 174, 2015, pp. 22-39

  9. arXiv:1404.5390  [pdf, ps, other

    cond-mat.mes-hall

    Josephson coupling through one-dimensional ballistic channel in semiconductor-superconductor hybrid quantum point contacts

    Authors: Hiroshi Irie, Yuichi Harada, Hiroki Sugiyama, Tatsushi Akazaki

    Abstract: We study a superconducting quantum point contact made of a narrow In$_{0.75}% $Ga$_{0.25}$As channel with Nb proximity electrodes. The narrow channel is formed in a gate-fitted constriction of InGaAs/InAlAs/InP heterostructure hosting a two-dimensional electron gas. When the channel opening is varied with the gate, the Josephson critical current exhibits a discretized variation that arises from th… ▽ More

    Submitted 22 April, 2014; originally announced April 2014.

    Comments: 6 pages, 4 figures

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

  10. arXiv:1306.6689  [pdf, ps, other

    cond-mat.mes-hall

    Transmission-phase measurement of the 0.7 anomaly in a quantum point contact

    Authors: Toshiyuki Kobayashi, Shoei Tsuruta, Satoshi Sasaki, Hiroyuki Tamura, Tatsushi Akazaki

    Abstract: We measure the transmission phase of a quantum point contact (QPC) at a low carrier density in which electron interaction is expected to play an important role and anomalous behaviors are observed. In the first conductance plateau, the transmission phase shifts monotonically as the carrier density is decreased by the gate voltage. When the conductance starts to decrease, in what is often called th… ▽ More

    Submitted 27 June, 2013; originally announced June 2013.

  11. arXiv:1304.3315  [pdf, ps, other

    cond-mat.supr-con

    Carrier flow and nonequilibrium superconductivity in superconductor-based light-emitting diode

    Authors: Ryotaro Inoue, Hideaki Takayanagi, Tatsushi Akazaki, Kazunori Tanaka, Hirotaka Sasakura, Ikuo Suemune

    Abstract: Superconductor-based light-emitting diode (superconductor-based LED) in strong light-confinement regime are characterized as a superconductor-based three-terminal device, and its transport properties are quantitatively investigated. In the gate-controlled region, we confirm the realization of new-type Josephson field effect transistor (JoFET) performance, where the channel cross-sectional area of… ▽ More

    Submitted 8 December, 2013; v1 submitted 11 April, 2013; originally announced April 2013.

  12. Transport properties of Andreev polarons in superconductor-semiconductor-superconductor junction with superlattice structure

    Authors: Ryotaro Inoue, Kenta Muranaga, Hideaki Takayanagi, Eiichi Hanamura, Masafumi Jo, Tatsushi Akazaki, Ikuo Suemune

    Abstract: Transport properties of a superconductor-semiconductor-superconductor (S-Sm-S) junction with superlattice structure are investigated. Differential resistance as a function of voltage shows oscillatory behavior under the irradiation of radio-frequency (RF) waves with the specific frequency of 1.77 GHz regardless of the superconducting materials and the junction lengths. Experimental data are quanti… ▽ More

    Submitted 10 March, 2011; v1 submitted 3 September, 2010; originally announced September 2010.

    Comments: 4 pages, 4 figures

    Journal ref: PRL106(2011)157002

  13. Fano-Kondo interplay in a side-coupled double quantum dot

    Authors: S. Sasaki, H. Tamura, T. Akazaki, T. Fujisawa

    Abstract: We investigate low-temperature transport characteristics of a side-coupled double quantum dot where only one of the dots is directly connected to the leads. We observe Fano resonances, which arise from interference between discrete levels in one dot and the Kondo effect, or cotunneling in general, in the other dot, playing the role of a continuum. The Kondo resonance is partially suppressed by d… ▽ More

    Submitted 10 December, 2009; originally announced December 2009.

    Comments: 4 pages, 4 figures

  14. arXiv:0910.5161  [pdf, ps, other

    cond-mat.other cond-mat.supr-con

    A Cooper pair light emitting diode

    Authors: H. Sasakura, S. Kuramitsu, Y. Hayashi, K. Tanaka, T. Akazaki, E. Hanamura, R. Inoue, H. Takayanagi, Y. Asano, I. Suemune

    Abstract: We demonstrate Cooper-pair's drastic enhancement effect on band-to-band radiative recombination in a semiconductor. Electron Cooper pairs injected from a superconducting electrode into an active layer by the proximity effect recombine with holes injected from a p-type electrode and dramatically accelerate the photon generation rates of a light emitting diode in the optical-fiber communication ba… ▽ More

    Submitted 27 October, 2009; originally announced October 2009.

    Comments: 5 pages (4 figures)

    Journal ref: Phys. Rev. Lett. 107, 157403 (2011)

  15. arXiv:cond-mat/0610778  [pdf, ps, other

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

    Tunnelling spectroscopy of the interface between Sr2RuO4 and a single Ru micro-inclusion in eutectic crystals

    Authors: Hiroshi Yaguchi, Keiichi Takizawa, Minoru Kawamura, Naoki Kikugawa, Yoshiteru Maeno, Takayoshi Meno, Tatsushi Akazaki, Kouichi Semba, Hideaki Takayanagi

    Abstract: The understanding of the zero bias conductance peak (ZBCP) in the tunnelling spectra of S/N junctions involving d-wave cuprate superconductors has been important in the determination of the phase structure of the superconducting order parameter. In this context, the involvement of a p-wave superconductor such as Sr2RuO4 in tunnelling studies is indeed of great importance. We have recently succee… ▽ More

    Submitted 27 October, 2006; originally announced October 2006.

    Comments: To appear in J. Phys. Soc. Jpn. Vol. 75 No.12 issue

  16. arXiv:cond-mat/0609444  [pdf

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

    Spectroscopy of SrRuO/Ru Junctions in Eutectic

    Authors: H. Yaguchi, K. Takizawa, M. Kawamura, N. Kikugawa, Y. Maeno, T. Meno, T. Akazaki, K. Semba, H. Takayanagi

    Abstract: We have investigated the tunnelling properties of the interface between superconducting Sr2RuO4 and a single Ru inclusion in eutectic. By using a micro-fabrication technique, we have made Sr2RuO4/Ru junctions on the eutectic system that consists of Sr2RuO4 and Ru micro-inclusions. Such a eutectic system exhibits surface superconductivity, called the 3-K phase. A zero bias conductance peak (ZBCP)… ▽ More

    Submitted 18 September, 2006; originally announced September 2006.

    Comments: To be published in Proc of 24th Int. Conf. on Low Temperature Physics (LT24); 2 pages

  17. Non-local Control of the Kondo Effect in a Double Quantum Dot-Quantum Wire Coupled System

    Authors: S. Sasaki, S. Kang, K. Kitagawa, M. Yamaguchi, S. Miyashita, T. Maruyama, H. Tamura, T. Akazaki, Y. Hirayama, H. Takayanagi

    Abstract: We have performed low-temperature transport measurements on a double quantum dot-quantum wire coupled device and demonstrated non-local control of the Kondo effect in one dot by manipulating the electronic spin states of the other. We discuss the modulation of the local density of states in the wire region due to the Fano-Kondo antiresonance, and the Ruderman-Kittel-Kasuya-Yoshida (RKKY) exchang… ▽ More

    Submitted 16 February, 2006; originally announced February 2006.

    Comments: 4 pages, 4 figures

  18. arXiv:cond-mat/0503067  [pdf, ps, other

    cond-mat.supr-con cond-mat.mes-hall

    Collapse of thermal activation in moderately damped Josephson junctions

    Authors: V. M. Krasnov, T. Bauch, S. Intiso, E. Hürfeld, T. Akazaki, H. Takayanagi, P. Delsing

    Abstract: We study switching current statistics in different moderately damped Josephson junctions: a paradoxical collapse of the thermal activation with increasing temperature is reported and explained by interplay of two conflicting consequences of thermal fluctuations, which can both assist in premature escape and help in retrap** back into the stationary state. We analyze the influence of dissipatio… ▽ More

    Submitted 3 March, 2005; originally announced March 2005.

    Comments: 4 pages, 4 figures

    Journal ref: Phys. Rev. Lett. 95 (2005) 157002

  19. Shot-noise and conductance measurements of transparent superconductor / two-dimensional electron gas junctions

    Authors: B. -R. Choi, A. E. Hansen, T. Kontos, C. Hoffmann, S. Oberholzer, W. Belzig, C. Schoenenberger, T. Akazaki, H. Takayanagi

    Abstract: We have measured the conductance and shot-noise of superconductor-normal metal (S-N) junctions between a Niobium (Nb) film and a 2-dimensional electron gas (2DEG), formed in an InAs-based semiconductor heterostructure. Adjacent to the junction, the 2DEG is shaped into a submicrometer beam-splitter. The current shot-noise measured through one arm of the beam-splitter is found to be enhanced due t… ▽ More

    Submitted 25 October, 2004; originally announced October 2004.

    Comments: full paper including figures can be retrieved from: http://www.unibas.ch/phys-meso/Research/Papers/2004/Shot-Noise-Yjunction.pdf

  20. Photoluminescence measurements in Be-delta-doped back-gate induced quantum well

    Authors: M. Yamaguchi, S. Nomura, D. Sato, T. Akazaki, H. Tamura, H. Takayanagi

    Abstract: The photoluminescence (PL) spectra of a two-dimensional electron system induced in a Be-delta-doped GaAs/AlGaAs quantum well (QW) with a back gate are measured. The electron density is controlled from 1 X 10^{9} cm^{-2} to 2.5 X 10^{11} cm^{-2} by changing the back gate voltage. There is a linear increase in the acceptor PL spectrum around 1.49 eV with an increase in the back gate voltage and th… ▽ More

    Submitted 25 May, 2004; v1 submitted 24 May, 2004; originally announced May 2004.

    Comments: 3 pages

  21. arXiv:cond-mat/0405205  [pdf, ps, other

    cond-mat.mes-hall cond-mat.supr-con

    Supercurrent and Conductance Quantization in a Superconducting Quantum Point Contact

    Authors: T. Bauch, E. Huerfeld, V. M. Krasnov, P. Delsing, H. Takayanagi, T. Akazaki

    Abstract: We study the quantization of the supercurrent and conductance of a superconducting quantum point contact (SQPC) in a superconductor-two dimensional electrongas-superconductor (S-2DEG-S) Josephson junction with a split gate. The supercurrent and the conductance values change stepwise as a function of the gate voltage. We observe the onset of the first transport mode contributing both to the super… ▽ More

    Submitted 10 May, 2004; originally announced May 2004.

    Comments: 5 pages, 3 figures