arXiv subjects

Tetsuya Sato

Publications and source records attributed to Tetsuya Sato.

29 records · Page 2Linked to original sources

arXiv2018

Approximate Span Liftings

We develop new abstractions for reasoning about relaxations of differential privacy: Rényi differential privacy, zero-concentrated differential privacy, and truncated concentrated differential privacy, which express different bounds on statistical divergences between two output probability distributions. In order to reason about such properties compositionally, we introduce approximate span-lifting, a novel construction extending the approximate relational lifting approaches previously developed for standard differential privacy to a more general class of divergences, and also to continuous distributions. As an application, we develop a program logic based on approximate span-liftings capable of proving relaxations of differential privacy and other statistical divergence properties.

cs.PL↗

arXiv2016

Spontaneous Distortion and Ferromagnetism Induced by Quantum-well States in Pd(100) Ultrathin Films

We study the crystal structure of Pd(100) ultrathin films, which show ferromagnetism induced by the quantum confinement effect, using in-situ X-ray crystal truncation rod measurement and density functional calculation. The energy gain due to the appearance of ferromagnetism in Pd results in flatter and uniform film growth of ferromagnetic Pd films compared with paramagnetic Pd. In addition, ferromagnetic Pd films expand the lattice constant in order to suppress the increase in kinetic energy of electrons accompanied by the occurrence of exchange splitting. Although the traditional theory of magnetism in metals indicates that the increase in density of states that induces ferromagnetism (Stoner criterion), our present finding reveals a mechanism of modulation in the density of states via the appearance of ferromagnetism, i.e., the inverse mechanism of Stoner's theory.

cond-mat.mtrl-sci↗

arXiv2016

The Giry Monad is not Strong for the Canonical Symmetric Monoidal Closed Structure on Meas

We show that the Giry monad is not strong with respect to the canonical symmetric monoidal closed structure on the category Meas of all measurable spaces and measurable functions.

math.CT↗

arXiv2016

Approximate Relational Hoare Logic for Continuous Random Samplings

Approximate relational Hoare logic (apRHL) is a logic for formal verification of the differential privacy of databases written in the programming language pWHILE. Strictly speaking, however, this logic deals only with discrete random samplings. In this paper, we define the graded relational lifting of the subprobabilistic variant of Giry monad, which described differential privacy. We extend the logic apRHL with this graded lifting to deal with continuous random samplings. We give a generic method to give proof rules of apRHL for continuous random samplings.

cs.LO↗

arXiv2016

Effect of the change in the interface structure of Pd(100)/SrTiO3 for quantum-well induced ferromagnetism

Pd(100) ultrathin films show ferromagnetism induced by the confinement of electrons in the film, i.e., the quantum-well mechanism. In this study, we investigate the effect of the change in the interface structure between a Pd film and SrTiO3 substrate on quantum-well induced ferromagnetism using the structural phase transition of SrTiO3. During repeated measurement of temperature- dependent magnetization of the Pd/SrTiO3 system, cracks were induced in the Pd overlayer near the interface region by the structural phase transition of SrTiO3, thereby changing the film-thickness dependence of the magnetic moment. This is explained by the concept that as the magnetic moment in Pd(100) changed, so too did the thickness of the quantum-well. In addition, we observed that the ferromagnetism in the Pd(100) disappeared with the accumulation of cracks due to the repetition of the temperature cycle through the phase-transition temperature. This suggests that lowering the crystallinity of the interface structure by producing a large number of cracks has a negative effect on quantum-well induced ferromagnetism.

cond-mat.mes-hall↗

arXiv2007

Aging behavior of spin glasses under bond and temperature perturbations from laser illumination

We have studied the nonequilibrium dynamics of spin glasses subjected to bond perturbation, which was based on the direct change in the spin-spin interaction $ΔJ$, using photo illumination in addition to temperature change $ΔT$. Differences in time-dependent magnetization are observed between that under $ΔT+ΔJ$ and $ΔT$ perturbations with the same $ΔT$. This differences shows the contribution of $ΔJ$ to spin-glass dynamics through the decrease in the overlap length. That is, the overlap length $L_{ΔT+ΔJ}$ under $ΔT+ΔJ$ perturbation is less than $L_{ΔT}$ under $ΔT$ perturbation. Furthermore, we observe the crossover between weakly and strongly perturbed regimes under bond cycling accompanied by temperature cycling. These effects of bond perturbation strongly indicates the existence of both chaos and the overlap length.

cond-mat.dis-nn↗

arXiv2005

A Note on the Dipole Coordinates

A couple of orthogonal coordinates for dipole geometry are proposed for numerical simulations of plasma geophysics in the Earth's dipole magnetic field. These coordinates have proper metric profiles along field lines in contrast to the standard dipole coordinate system that is commonly used in analytical studies for dipole geometry.

physics.geo-ph↗

arXiv2004

Multigrid iterative algorithm using pseudo-compressibility for three-dimensional mantle convection with strongly variable viscosity

A numerical algorithm for solving mantle convection problems with strongly variable viscosity is presented. Equations for conservation of mass and momentum for highly viscous and incompressible fluids are solved iteratively by a multigrid method in combination with pseudo-compressibility and local time stepping techniques. This algorithm is suitable for large-scale three-dimensional numerical simulations, because (i) memory storage for any additional matrix is not required and (ii) vectorization and parallelization are straightforward. The present algorithm has been incorporated into a mantle convection simulation program based on the finite-volume discretization in a three-dimensional rectangular domain. Benchmark comparisons with previous two- and three-dimensional calculations including the temperature- and/or depth-dependent viscosity revealed that accurate results are successfully reproduced even for the cases with viscosity variations of several orders of magnitude. The robustness of the numerical method against viscosity variation can be significantly improved by increasing the pre- and post-smoothing calculations during the multigrid operations, and the convergence can be achieved for the global viscosity variations up to 1e10.

physics.geo-ph↗

arXiv2004

The "Yin-Yang Grid": An Overset Grid in Spherical Geometry

A new kind of overset grid, named Yin-Yang grid, for spherical geometry is proposed. The Yin-Yang grid is composed of two identical component grids that are combined in a complemental way to cover a spherical surface with partial overlap on their boundaries. Each component grid is a low latitude part of the latitude-longitude grid. Therefore the grid spacing is quasi-uniform and the metric tensors are simple and analytically known. One can directly apply mathematical and numerical resources that have been written in the spherical polar coordinates or latitude-longitude grid. The complemental combination of the two identical component grids enables us to make efficient and concise programs. Simulation codes for geodynamo and mantle convection simulations using finite difference scheme based on the Yin-Yang grid are developed and tested. The Yin-Yang grid is suitable for massively parallel computers.

physics.geo-ph↗

arXiv2000

Design and optimization of tapered structure of near-field fiber probe based on FDTD simulation

The finite-difference time-domain method was employed to simulate light propagation in tapered near-field fiber probes with small metal aperture. By conducting large-volume simulations, including tapered metal-cladding waveguide and connected optical fiber waveguide, we illustrated the coupling between these guiding modes as well as the electric field distribution in the vicinity of the aperture. The high collection efficiency of a double-tapered probe was reproduced and was ascribed to the shortening of the cutoff region and the efficient coupling to the guiding mode of the optical fiber. The dependence of the efficiency on the tapered structure parameters was also examined.

physics.optics↗

arXiv2000

Rigidity of Orientationally Ordered Domains of Short Chain Molecules

By molecular dynamics simulation, discovered is a strange rigid-like nature for a hexagonally packed domain of short chain molecules. In spite of the non-bonded short-range interaction potential (Lennard-Jones potential) among chain molecules, the packed domain gives rise to a resultant global moment of inertia. Accordingly, as two domains encounter obliquely, they rotate so as to be parallel to each other keeping their overall structures as if they were rigid bodies.

cond-mat.soft↗