arXiv subjects

Akira Tanaka

Publications and source records attributed to Akira Tanaka.

11 recordsLinked to original sources

arXiv2026

Why3-py: A Tool for Formal Verification of Hypothesis Testing and Meta-Analysis in Python

The reproducibility crisis in scientific research has received widespread recognition, thereby increasing the importance of meta-analyses that integrate statistical analyses from multiple studies. However, statistical methods often have ambiguous and implicit underlying assumptions, which can lead to their erroneous applications and interpretations. To address this issue, we propose a formal verification framework for statistical programs written in Python. Specifically, we present Why3-py, a Python front-end for the Why3 verification platform that transforms Python programs into verification-oriented WhyML representations suitable for formal verification, addressing the challenges arising from Python's dynamic typing and runtime polymorphism. Furthermore, we extend the StatWhy tool to support the verification of meta-analysis methods. These tools enable users to identify overlooked assumptions and misuse of analyses, and to verify the correctness of Python programs for hypothesis testing and for meta-analyses.

cs.SE↗

arXiv2023

Strahler Number of Natural Language Sentences in Comparison with Random Trees

The Strahler number was originally proposed to characterize the complexity of river bifurcation and has found various applications. This article proposes computation of the Strahler number's upper and lower limits for natural language sentence tree structures. Through empirical measurements across grammatically annotated data, the Strahler number of natural language sentences is shown to be almost 3 or 4, similarly to the case of river bifurcation as reported by Strahler (1957). From the theory behind the number, we show that it is one kind of lower limit on the amount of memory required to process sentences. We consider the Strahler number to provide reasoning that explains reports showing that the number of required memory areas to process sentences is 3 to 4 for parsing (Schuler et al., 2010), and reports indicating a psychological "magical number" of 3 to 5 (Cowan, 2001). An analytical and empirical analysis shows that the Strahler number is not constant but grows logarithmically; therefore, the Strahler number of sentences derives from the range of sentence lengths. Furthermore, the Strahler number is not different for random trees, which could suggest that its origin is not specific to natural language.

cs.CL↗

arXiv2022

Long-Term Optimal Delivery Planning for Replacing the Liquefied Petroleum Gas Cylinder

In the daily operation of liquefied petroleum gas service, gas providers visit customers and replace cylinders if the gas is about to run out. For a long time, frequent visits to customers were required because they could not determine the amount of remaining gas without a staff visit and observation. To solve this problem, smart meters are started to be employed to acquire gas consumption more frequently without visiting customers. In this study, we construct a system to optimize plans for cylinder replacement, and evaluate it with a large-scale field test. We propose an algorithm to create a replacement plan with three steps: estimating the replacement date, acquiring the customer list for replacement, and determining the delivery route. A more accurate estimation of the replacement date can be acquired with a smart meter, which is used for making a customer list for replacement. The formulation for making a customer list enables the gas provider to replace cylinders some days before the date when the gas would run out. It can suppress the concentration of replacements on certain days. Large-scale verification experiments were performed with more than 1,000 customers in Chiba prefecture in Japan. In the field test, the gas provider incorporated the system into its replacement operations. Moreover, the replacement plans developed by the proposed system were compared with that by the gas provider. Our system reduced the number of gas cylinders with gas shortage, the number of visits without replacement due to plenty of gas remaining, and the working duration per customer, which shows that our system benefits both gas providers and customers.

eess.SY↗

arXiv2021

A Projected Gradient Method for Opinion Optimization with Limited Changes of Susceptibility to Persuasion

Many social phenomena are triggered by public opinion that is formed in the process of opinion exchange among individuals. To date, from the engineering point of view, a large body of work has been devoted to studying how to manipulate individual opinions so as to guide public opinion towards the desired state. Recently, Abebe et al. (KDD 2018) have initiated the study of the impact of interventions at the level of susceptibility rather than the interventions that directly modify individual opinions themselves. For the model, Chan et al. (The Web Conference 2019) designed a local search algorithm to find an optimal solution in polynomial time. However, it can be seen that the solution obtained by solving the above model might not be implemented in real-world scenarios. In fact, as we do not consider the amount of changes of the susceptibility, it would be too costly to change the susceptibility values for agents based on the solution. In this paper, we study an opinion optimization model that is able to limit the amount of changes of the susceptibility in various forms. First we introduce a novel opinion optimization model, where the initial susceptibility values are given as additional input and the feasible region is defined using the $\ell_p$-ball centered at the initial susceptibility vector. For the proposed model, we design a projected gradient method that is applicable to the case where there are millions of agents. Finally we conduct thorough experiments using a variety of real-world social networks and demonstrate that the proposed algorithm outperforms baseline methods.

cs.SI↗

arXiv2019

Ultrafast creation of overlapping Rydberg electrons in an atomic BEC and Mott-insulator lattice

An array of ultracold atoms in an optical lattice (Mott insulator) excited to a state where single electron wave-functions spatially overlap would represent a new and ideal platform to simulate exotic electronic many-body phenomena in the condensed phase. However, this highly excited non-equilibrium system is expected to be so short-lived that it has eluded observation so far. Here, we demonstrate the first step toward its realization by exciting high-lying electronic (Rydberg) states of the atomic Mott insulator with a coherent ultrashort laser pulse. Beyond a threshold principal quantum number where Rydberg orbitals of neighboring lattice sites overlap with each other, the atoms efficiently undergo spontaneous Penning ionization resulting in a drastic change of ion-counting statistics, sharp increase of avalanche ionization and the formation of an ultracold plasma. These observations signal the actual creation of exotic electronic states with overlapping wave functions, which is further confirmed by a significant difference in ionization dynamics between a Bose-Einstein condensate and a Mott insulator.

physics.atom-ph↗

arXiv2016

Time-domain Ramsey interferometry with interacting Rydberg atoms

We theoretically investigate the dynamics of a gas of strongly interacting Rydberg atoms subject to a time-domain Ramsey interferometry protocol. The many-body dynamics is governed by an Ising-type Hamiltonian with long range interactions of tunable strength. We analyze and model the contrast degradation and phase accumulation of the Ramsey signal and identify scaling laws for varying interrogation times, ensemble densities, and ensemble dimensionalities.

cond-mat.quant-gas↗

arXiv2013

Dispersion cancellation in high resolution two-photon interference

The dispersion cancellation observed in Hong-Ou-Mandel (HOM) interference between frequency-entangled photon pairs has been the basis of quantum optical coherence tomography and quantum clock synchronization. Here we explore the effect of phase dispersion on ultranarrow HOM dips. We show that the higher-order dispersion, the line width of the pump laser, and the spectral shape of the parametric fluorescence have a strong effect on the dispersion cancellation in the high-resolution regime with several experimental verifications. Perfect dispersion cancellation with a linewidth of 3μm is also demonstrated through 25 mm of water.

quant-ph↗

arXiv2012

Noncollinear parametric fluorescence by chirped quasi-phase matching for monocycle temporal entanglement

Quantum entanglement of two photons created by spontaneous parametric downconversion (SPDC) can be used to probe quantum optical phenomena during a single cycle of light. Harris [Phys. Rev. Lett. 98, 063602 (2007)] suggested using ultrabroad parametric fluorescence generated from a quasi-phase-matched (QPM) device whose poling period is chirped. In the Harris\' s original proposal, it is assumed that the photons are collinearly generated and then spatially separated by frequency filtering. Here, we alternatively propose using noncollinearly generated SPDC. In our numerical calculation, to achieve 1.2 cycle temporal correlation for a 532 nm pump laser, only 10% -chirped device is sufficient when noncollinear condition is applied, while a largely chirped (50%) device is required in collinear condition. We also experimentally demonstrate an octave-spanning (790-1610 nm) noncollinear parametric fluorescence from a 10% chirped MgSLT crystal using both a superconducting nanowire single-photon detector and photomultiplier tube as photon detectors. The observed SPDC bandwidth is 194 THz, which is the largest width achieved to date for a chirped QPM device. From this experimental result, our numerical analysis predicts that the bi-photon can be compressed to 1.2 cycles with appropriate phase compensation.

quant-ph↗

arXiv2012

Coupling of ultrathin tapered fibers with high-Q microsphere resonators at cryogenic temperatures and observation of phase-shift transition from undercoupling to overcoupling

We cooled ultrathin tapered fibers to cryogenic temperatures and controllably coupled them with high-Q microsphere resonators at a wavelength close to the optical transition of diamond nitrogen vacancy centers. The 310-nm-diameter tapered fibers were stably nanopositioned close to the microspheres with a positioning stability of approximately 10 nm over a temperature range of 7-28 K. A cavity-induced phase shift was observed in this temperature range, demonstrating a discrete transition from undercoupling to overcoupling.

quant-ph↗

arXiv2012

Generation of broadband spontaneous parametric fluorescence using multiple bulk nonlinear crystals

We propose a novel method for generating broadband spontaneous parametric fluorescence by using a set of bulk nonlinear crystals (NLCs). We also demonstrate this scheme experimentally. Our method employs a superposition of spontaneous parametric fluorescence spectra generated using multiple bulk NLCs. A typical bandwidth of 160 nm (73 THz) with a degenerate wavelength of 808 nm was achieved using two beta-barium-borate (BBO) crystals, whereas a typical bandwidth of 75 nm (34 THz) was realized using a single BBO crystal. We also observed coincidence counts of generated photon pairs in a non-collinear configuration. The bandwidth could be further broadened by increasing the number of NLCs. Our demonstration suggests that a set of four BBO crystals could realize a bandwidth of approximately 215 nm (100 THz).We also discuss the stability of Hong-Ou-Mandel two-photon interference between the parametric fluorescence generated by this scheme. Our simple scheme is easy to implement with conventional NLCs and does not require special devices.

physics.optics↗

arXiv2011

Phase shift spectra of a fiber-microsphere system at the single photon level

We succeeded in measuring phase shift spectra of a microsphere cavity coupled with a tapered fiber using a weak coherent probe light at the single photon level. We utilized a tapered fiber with almost no depolarization and constructed a very stable phase shift measurement scheme based on polarization analysis using photon counting. Using a very weak probe light (\bar{n} = 0:41), we succeeded in observing the transition in the phase shift spectrum between undercoupling and overcoupling (at gap distances of 500 and 100 nm, respectively).We also used quantum state tomography to obtain a 'purity spectrum'. Even in the overcoupling regime, the average purity was 0.982 \pm 0.024 (minimum purity: 0.892), suggesting that the coherence of the fiber-microsphere system was well preserved. Based on these results, we believe this system is applicable to quantum phase gates using single light emitters such as diamond nitrogen vacancy centers.

quant-ph↗