Garbage collection can be made real-time and verifiable

An efficient means of memory reclamation (also known as Garbage Collection) is essential for Machine Intelligence applications where dynamic storage allocation is desired or required. Solutions for real-time systems must introduce very small processing overhead and must also provide for the verification of the software in order to meet the application time budgets and to verify the correctness of the software. Garbage Collection (GC) techniques are proposed for symbolic processing systems which may simultaneously meet both real-time requirements and verification requirements. The proposed memory reclamation technique takes advantage of the strong points of both the earlier Mark and Sweep technique and the more recent Copy Collection approaches. At least one practical implementation of these new GC techniques has already been developed and tested on a very-high performance symbolic computing system. Complete GC processing of all generated garbage has been demonstrated to require as little as a few milliseconds to perform. This speed enables the effective operation of the GC function as either a background task or as an actual part of the application task itself

Upper estimate of martingale dimension for self-similar fractals

We study upper estimates of the martingale dimension $d_m$ of diffusion processes associated with strong local Dirichlet forms. By applying a general strategy to self-similar Dirichlet forms on self-similar fractals, we prove that $d_m=1$ for natural diffusions on post-critically finite self-similar sets and that $d_m$ is dominated by the spectral dimension for the Brownian motion on Sierpinski carpets.Comment: 49 pages, 7 figures; minor revision with adding a referenc

Thomas-Ehrman shifts in nuclei around ^{16}O and role of residual nuclear interaction

The asymmetry in the energy spectra between mirror nuclei (the Thomas-Ehrman shifts) around $^{16}$O is investigated from a phenomenological viewpoint. The recent data on proton-rich nuclei indicates that the residual nuclear interaction is reduced for the loosely bound s-orbit by as much as 30%, which originates in the broad radial distribution of the proton single-particle wave function.Comment: to appear in Phys. Lett. B, with 3 eps figure

Pulsed UCN production using a Doppler shifter at J-PARC

We have constructed a Doppler-shifter-type pulsed ultra-cold neutron (UCN) source at the Materials and Life Science Experiment Facility (MLF) of the Japan Proton Accelerator Research Complex (J-PARC). Very-cold neutrons (VCNs) with 136-$\mathrm{m/s}$ velocity in a neutron beam supplied by a pulsed neutron source are decelerated by reflection on a m=10 wide-band multilayer mirror, yielding pulsed UCN. The mirror is fixed to the tip of a 2,000-rpm rotating arm moving with 68-$\mathrm{m/s}$ velocity in the same direction as the VCN. The repetition frequency of the pulsed UCN is $8.33~\mathrm{Hz}$ and the time width of the pulse at production is $4.4~\mathrm{ms}$. In order to increase the UCN flux, a supermirror guide, wide-band monochromatic mirrors, focus guides, and a UCN extraction guide have been newly installed or improved. The $1~\mathrm{MW}$-equivalent count rate of the output neutrons with longitudinal wavelengths longer than $58~\mathrm{nm}$ is $1.6 \times 10^{2}~\mathrm{cps}$, while that of the true UCNs is $80~\mathrm{cps}$. The spatial density at production is $1.4~\mathrm{UCN/cm^{3}}$. This new UCN source enables us to research and develop apparatuses necessary for the investigation of the neutron electric dipole moment (nEDM).Comment: 32 pages, 15 fugures. A grammatical error was fixe

On the role of shake-off in single-photon double ionization

The role of shake-off for double ionization of atoms by a single photon with finite energy has become the subject of debate. In this letter, we attempt to clarify the meaning of shake-off at low photon energies by comparing different formulations appearing in the literature and by suggesting a working definition. Moreover, we elaborate on the foundation and justification of a mixed quantum-classical ansatz for the calculation of single-photon double ionization