Energy diffusion in frustrated quantum spin chains exhibiting Gaussian orthogonal ensemble level statistics

Frustrated quantum $XXZ$ spin chains with the next-nearest-neighbor (NNN) couplings are typically deterministic many-body systems exhibiting Gaussian orthogonal ensemble (GOE) spectral statistics. We investigate energy diffusion for these spin chains in the presence of a periodically oscillating magnetic field. Diffusion coefficients are found to obey the power law with respect to both the field strength and driving frequency with its power varying depending on the linear response and non-perturbative regimes. The widths of the linear response and the non-perturbative regimes depend on the strength of frustrations. We have also elucidated a mechanism for oscillation of energy diffusion in the case of weakened frustrations.Comment: 6 pages, 6 figure

A Calculus with Partially Dynamic Records for Typeful Manipulation of JSON Objects

This paper investigates language constructs for high-level and type-safe manipulation of JSON objects in a typed functional language. A major obstacle in representing JSON in a static type system is their heterogeneous nature: in most practical JSON APIs, a JSON array is a heterogeneous list consisting of, for example, objects having common fields and possibly some optional fields. This paper presents a typed calculus that reconciles static typing constraints and heterogeneous JSON arrays based on the idea of partially dynamic records originally proposed and sketched by Buneman and Ohori for complex database object manipulation. Partially dynamic records are dynamically typed records, but some parts of their structures are statically known. This feature enables us to represent JSON objects as typed data structures. The proposed calculus smoothly extends with ML-style pattern matching and record polymorphism. These results yield a typed functional language where the programmer can directly import JSON data as terms having static types, and can manipulate them with the full benefits of static polymorphic type-checking. The proposed calculus has been embodied in SML#, an extension of Standard ML with record polymorphism and other practically useful features. This paper also reports on the details of the implementation and demonstrates its feasibility through examples using actual Web APIs. The SML# version 3.1.0 compiler includes JSON support presented in this paper, and is available from Tohoku University as open-source software under a BSD-style license

Characteristics of the ice pellets observed in mid-winter in the Arctic region

In mid-winter ice pellets were observed at Inuvik, Canada and Kiruna, Sweden in the Arctic region. The size distribution, morphology and crystalline nature were examined from the photomicrographs. Moreover, meteorological conditions in which the ice pellets could form were examined from the sounding data at Inuvik. The following results were obtained. (1) The sizes of ice pellets in the Arctic regions were considerably smaller than those in temperate regions. (2) The ice pellets simultaneously fell with the snow crystals with frozen small raindrops. (3) The morphology of ice pellets with a bulge or a spike was qualitatively similar to the results of laboratory experiments. (4) The rate of shattering was smaller than the results of laboratory experiments. (5) Single crystalline ice pellets were abundant in the size < 200μm. (6) Ice pellets in the Arctic are formed through the freezing of supercooled drizzle drops, which are formed by condensation-coalescence process below the freezing temperature

Traffic jams without bottlenecks-experimental evidence for the physical mechanism of the formation of a jam

A traffic jam on a highway is a very familiar phenomenon. From the physical viewpoint, the system of vehicular flow is a non-equilibrium system of interacting particles (vehicles). The collective effect of the many-particle system induces the instability of a free flow state caused by the enhancement of fluctuations, and the transition to a jamming state occurs spontaneously if the average vehicle density exceeds a certain critical value. Thus, a bottleneck is only a trigger and not the essential origin of a traffic jam. In this paper, we present the first experimental evidence that the emergence of a traffic jam is a collective phenomenon like 'dynamical' phase transitions and pattern formation in a non-equilibrium system. We have performed an experiment on a circuit to show the emergence of a jam with no bottleneck. In the initial condition, all the vehicles are moving, homogeneously distributed on the circular road, with the same velocity. The average density of the vehicles is prepared for the onset of the instability. Even a tiny fluctuation grows larger and then the homogeneous movement cannot be maintained. Finally, a jam cluster appears and propagates backward like a solitary wave with the same speed as that of a jam cluster on a highway.Sugiyamal Y., Fukui M., Kikuchi M., et al. Traffic jams without bottlenecks-experimental evidence for the physical mechanism of the formation of a jam. New Journal of Physics 10, 033001 (2008); https://doi.org/10.1088/1367-2630/10/3/033001

Phase transition in traffic jam experiment on a circuit

The emergence of a traffic jam is considered to be a dynamical phase transition in a physics point of view; traffic flow becomes unstable and changes phase into a traffic jam when the car density exceeds a critical value. In order to verify this view, we have been performing a series of circuit experiments. In our previous work (2008 New J. Phys. 10 033001), we demonstrated that a traffic jam emerges even in the absence of bottlenecks at a certain high density. In this study, we performed a larger indoor circuit experiment in the Nagoya Dome in which the positions of cars were observed using a high-resolution laser scanner. Over a series of sessions at various values of density, we found that jammed flow occurred at high densities, whereas free flow was conserved at low densities. We also found indications of metastability at an intermediate density. The critical density is estimated by analyzing the fluctuations in speed and the density-flow relation. The value of this critical density is consistent with that observed on real expressways. This experiment provides strong support for physical interpretations of the emergence of traffic jams as a dynamical phase transition.Tadaki S.I., Kikuchi M., Fukui M., et al. Phase transition in traffic jam experiment on a circuit. New Journal of Physics 15, 103034 (2013); https://doi.org/10.1088/1367-2630/15/10/103034

Large-Theta(13) Perturbation Theory of Neutrino Oscillation for Long-Baseline Experiments

The Cervera et al. formula, the best known approximate formula of neutrino oscillation probability for long-baseline experiments, can be regarded as a second-order perturbative formula with small expansion parameter epsilon \equiv Delta m^2_{21} / Delta m^2_{31} \simeq 0.03 under the assumption s_{13} \simeq epsilon. If theta_{13} is large, as suggested by a candidate nu_{e} event at T2K as well as the recent global analyses, higher order corrections of s_{13} to the formula would be needed for better accuracy. We compute the corrections systematically by formulating a perturbative framework by taking theta_{13} as s_{13} \sim \sqrt{epsilon} \simeq 0.18, which guarantees its validity in a wide range of theta_{13} below the Chooz limit. We show on general ground that the correction terms must be of order epsilon^2. Yet, they nicely fill the mismatch between the approximate and the exact formulas at low energies and relatively long baselines. General theorems are derived which serve for better understanding of delta-dependence of the oscillation probability. Some interesting implications of the large theta_{13} hypothesis are discussed.Comment: Fig.2 added, 23 pages. Matches to the published versio

Profile of Professor, Dr. Choji Magono

"List of research publication s in English", "List of research publication s in Japanese", "List of other pubilcations" あ