PLQP & Company: Decidable Logics for Quantum Algorithms

We introduce a probabilistic modal (dynamic-epistemic) quantum logic PLQP for reasoning about quantum algorithms. We illustrate its expressivity by using it to encode the correctness of the well-known quantum search algorithm, as well as of a quantum protocol known to solve one of the paradigmatic tasks from classical distributed computing (the leader election problem). We also provide a general method (extending an idea employed in the decidability proof in Dunn et al. (J. Symb. Log. 70:353–359, 2005)) for proving the decidability of a range of quantum logics, interpreted on finite-dimensional Hilbert spaces. We give general conditions for the applicability of this method, and in particular we apply it to prove the decidability of PLQP.     

Limited damage of tissue mimic caused by a collapsing bubble under low-frequency ultrasound exposure

In this study, we investigated the bubble induced serious damage to tissue mimic exposed to 27-kHz ultrasound. The initial bubble radius ranged from 80 to 100 μm, which corresponded approximately to the experimentally-evaluated resonant radius of the given ultrasound frequency. The tissue mimic consisted of 10 wt% gelatine gel covered with cultured canine kidney epithelial cells. The collapsing bubble behaviour during the ultrasound exposure with negative peak pressures of several hundred kPa was captured by a high-speed camera system. After ultrasound exposure, a cell viability test was conducted based on microscopic bright-field images and fluorescence images for living and dead cells. In the viability test, cells played a role in indicating the damaged area. The bubble oscillations killed the cells, and on occasion detached layers of cultured cells from the gel. The damaged area was comparable or slightly larger than the initial bubble size, and smaller than the maximum bubble size. We concluded that only a small area in close proximity to the bubble could be damaged even above transient cavitation threshold.     

Relationship between particle size and radiocesium in fluvial suspended sediment related to the Fukushima Daiichi Nuclear Power Plant accident

We collected fluvial suspended sediments in Fukushima after the Fukushima Daiichi Nuclear Power Plant (FDNPP) accident and analyzed the ¹³⁷Cs concentration in bulk and size-fractioned samples to investigate the particle-size-dependent distribution of radiocesium. The ¹³⁷Cs concentration in bulk suspended sediments decreased from August to December 2011, possibly reflecting a decrease of radiocesium concentration in its source materials. Smaller particles had higher radiocesium concentrations, reflecting larger specific surface areas. Silt- and sand-size fractions occupied more than 95 % of the total ¹³⁷Cs in the suspended sediments. The contribution of clay-size fractions, which had the highest ¹³⁷Cs concentration, was quite small because of their low frequency. A line of the data showed that the particle size distribution of radiocesium was essential to evaluate the migration and distribution of radiocesium in river systems where radiocesium is mainly present as particulate form after the FDNPP accident.     

Extraordinarily large swelling energy of iodine‐treated poly(vinyl alcohol) demonstrated by jump of a film

Organic material characteristics of volume change and stress generation have attracted the attention of many researchers aiming to develop chemomechanical systems such as artificial muscles and polymer engines having the advantages of high energy density and silent operation. Although polymer gels offer a relatively large actuator stroke, their mechanical properties are relatively poor and the working temperature is relatively low, often limited by the evaporation of liquid if contained. We have developed an iodine‐treated poly(vinyl alcohol) having extraordinarily large vapor‐induced deswelling stress reaching 59 MPa, which is one to two orders of magnitude greater than those of ordinary polymer gels. Furthermore, this material has extremely large volumetric and gravimetric energy densities reaching 1.3 × 10⁶ J m^?3 and 9.6 × 10² J kg^?1, respectively, and an elastic modulus of a few GPa and is heat‐resistant to at least 200 °C. The high performance of this material can be demonstrated by a jump of a film. © 2014 The Authors. Journal of Polymer Science Part B: Polymer Physics published by Wiley Periodicals, Inc. J. Polym. Sci., Part B: Polym. Phys. 2014 , 52, 1357–1365     

Visible‐Light‐Induced Photoredox Catalysis with a Tetracerium‐Containing Silicotungstate

The development of visible‐light‐induced photocatalysts for chemoselective functional group transformations has received considerable attention. Polyoxometalates (POMs) are potential materials for efficient photocatalysts because their properties can be precisely tuned by changing their constituent elements and structures and by the introduction of additional metal cations. Furthermore, they are thermally and oxidatively more stable than the frequently utilized organometallic complexes. The visible‐light‐responsive tetranuclear cerium(III)‐containing silicotungstate TBA₆[{Ce(H₂O)}₂{Ce(CH₃CN)}₂(μ₄‐O)(γ‐SiW₁₀O₃₆)₂] (CePOM; TBA=tetra‐n‐butylammonium) has now been synthesized; when CePOM was irradiated with visible light (λ>400 nm), a unique intramolecular Ce^III‐to‐POM(W^VI) charge transfer was observed. With CePOM, the photocatalytic oxidative dehydrogenation of primary and secondary amines as well as the α‐cyanation of tertiary amines smoothly proceeded in the presence of O₂ (1 atm) as the sole oxidant.     

Iterative molecular assembly based on the cation-pool method. Convergent synthesis of dendritic molecules

An iterative method for molecular assembly has been developed based on the cation-pool method using (trimethylsilyl)diphenylmethane as a building block. The silyl group works as both an activating group of the benzene ring in the Friedel-Crafts type reaction and an electroauxiliary in the subsequent low temperature anodic oxidation to generate dendritic diarylcarbenium ions, which were well characterized by low-temperature NMR spectroscopy. The convergent synthesis of dendritic molecules has been achieved by repeating the sequence.     

Electrical properties and electronic states of molecular conductors based on unsymmetrical organometallic-dithiolene gold(III) complexes

The electronic properties of cation radical salts derived from organometallic mixed-ligand complexes [(ppy)Au(S-S)](ppy- = C-dehydro-2-phenylpyridine(-); S-S(2-) = dithiolene ligand) with Au(III)-C sigma-bond were investigated. A 2:1 salt complex [(ppy)Au(C8H4S8)]2[PF6] (C8H4S8(2-) = 2-((4,5-ethylenedithio)-1,3-dithiole-2-ylidene)-1,3-dithiole-4,5-dithiolate(2-)) exhibited semiconductive behavior under ambient pressure (rho rt = 2.6 Omega cm, Ea = 0.03 eV). Magnetic measurements show that it is a Mott insulator close to the metal-insulator boundary. Raman and infrared spectra have revealed that the complex has a quasi-one-dimensional dimeric structure consisting of uniformly charged donor molecules. The complex exhibits metallic behavior at pressures above 0.8 GPa. In contrast, a similar compound [(ppy)Au(C8H4S6O2)]2[BF4] (C8H4S6O2(2-) = 2-((4,5-ethylenedioxy)-1,3-dithiole-2-ylidene)-1,3-dithiole-4,5-dithiolate(2-)) is a band insulator.     

A Gd3+-based magnetic resonance imaging contrast agent sensitive to beta-galactosidase activity utilizing a receptor-induced magnetization enhancement (RIME) phenomenon

Magnetic resonance imaging (MRI) permits noninvasive three-dimensional imaging of opaque organisms. Gadolinium (Gd(3+)) complexes have become important imaging tools as MRI contrast agents for MRI studies, though most of them are nonspecific and report solely on anatomy. Recently, MRI contrast agents have been reported whose ability to relax water protons is triggered or greatly enhanced by recognition of a particular biomolecule. This new class of MRI contrast agents could open up the possibility of reporting on the physiological state or metabolic activity deep within living specimens. One possible strategy for this purpose is to utilize the increase in the longitudinal water proton r(1) relaxivity that occurs upon slowing the molecular rotation of a small paramagnetic complex, a phenomenon which is known as receptor-induced magnetization enhancement (RIME), by either binding to a macromolecule or polymerization of the agent itself. Here we describe the design and synthesis of a novel beta-galactosidase-activated MRI contrast agent, the Gd(3+) complex [Gd-5], by using the RIME approach. beta-Galactosidase is commonly used as a marker gene to monitor gene expression. This newly synthesized compound exhibited a 57% increase in the r(1) relaxivity in phosphate-buffered saline (PBS) with 4.5% w/v human serum albumin (HSA) in the presence of beta-galactosidase. Detailed investigations revealed that RIME is the dominant factor in this increase of the observed r(1) relaxivity, based on analysis of Gd(3+) complexes [Gd-5] and [Gd-8], which is generated from [Gd-5] by the activity of beta-galactosidase, and spectroscopic analysis of their corresponding Tb(3+) complexes, [Tb-5] and [Tb-8].     

Etching characteristics of GaN by plasma chemical vaporization machining

A high‐quality bulk gallium nitride (GaN) substrate, which is suitable for high‐quality homoepitaxial growth, is indispensable for realizing high‐performance GaN devices. With improvement in the quality of the bulk GaN substrate, the removal of subsurface damage induced during surface polishing has become increasingly necessary. To remove the subsurface damage from the bulk GaN substrate, a chemical finishing method that does not produce further damage is required. We applied plasma chemical vaporization machining (CVM) to remove the subsurface damage from the bulk GaN substrate. In this study, we investigated the etching characteristics of GaN by plasma CVM applying atmospheric pressure Cl₂/He plasma. The maximum removal rate in the depth direction by plasma CVM was 9100 nm/min, which is seven times greater than that of reactive ion etching (RIE). The activation energy in plasma CVM was estimated to be 2.1 kcal/mol, which is 1.75 times greater than that in RIE. It is supposed that some of the energy required for the removal reaction in RIE is supplied by ion bombardment, but plasma CVM depends on only a chemical reaction without high‐energy ion collision. This result suggests that plasma CVM is a finishing method that causes less subsurface damage than RIE. Copyright © 2008 John Wiley & Sons, Ltd.