A system of relational syllogistic incorporating full Boolean reasoning

We present a system of relational syllogistic, based on classical propositional logic, having primitives of the following form: Some A are R-related to some B; Some A are R-related to all B; All A are R-related to some B; All A are R-related to all B. Such primitives formalize sentences from natural language like `All students read some textbooks'. Here A and B denote arbitrary sets (of objects), and R denotes an arbitrary binary relation between objects. The language of the logic contains only variables denoting sets, determining the class of set terms, and variables denoting binary relations between objects, determining the class of relational terms. Both classes of terms are closed under the standard Boolean operations. The set of relational terms is also closed under taking the converse of a relation. The results of the paper are the completeness theorem with respect to the intended semantics and the computational complexity of the satisfiability problem.Comment: Available at http://link.springer.com/article/10.1007/s10849-012-9165-

Early evolution of electron cyclotron driven current during suppression of tearing modes in a circular tokamak

When electron cyclotron (EC) driven current is first applied to the inside of a magnetic island, the current spreads throughout the island and after a short period achieves a steady level. Using a two equation fluid model for the EC current that allows us to examine this early evolution in detail, we analyze high-resolution simulations of a 2/1 classical tearing mode in a low-beta large aspect-ratio circular tokamak. These simulations use a nonlinear 3D reduced-MHD fluid model and the JOREK code. During the initial period where the EC driven current grows and spreads throughout the magnetic island, it is not a function of the magnetic flux. However, once it has reached a steady-state, it should be a flux function. We demonstrate numerically that if sufficiently resolved toroidally, the steady-state EC driven current becomes approximately a flux function. We discuss the physics of this early period of EC evolution and its impact on the size of the magnetic island.Comment: 12 pages, 7 figure

Bifurcated polarization rotation in bismuth-based piezoelectrics

ABO3 perovskite-type solid solutions display a large variety of structural and physical properties, which can be tuned by chemical composition or external parameters such as temperature, pressure, strain, electric, or magnetic fields. Some solid solutions show remarkably enhanced physical properties including colossal magnetoresistance or giant piezoelectricity. It has been recognized that structural distortions, competing on the local level, are key to understanding and tuning these remarkable properties, yet, it remains a challenge to experimentally observe such local structural details. Here, from neutron pair-distribution analysis, a temperature-dependent 3D atomic-level model of the lead-free piezoelectric perovskite Na0.5Bi0.5TiO3 (NBT) is reported. The statistical analysis of this model shows how local distortions compete, how this competition develops with temperature, and, in particular, how different polar displacements of Bi3+ cations coexist as a bifurcated polarization, highlighting the interest of Bi-based materials in the search for new lead-free piezoelectrics

A2163: Merger events in the hottest Abell galaxy cluster II. Subcluster accretion with galaxy-gas separation

Located at z = 0.203, A2163 is a rich galaxy cluster with an intra-cluster medium (ICM) that exhibits extraordinary properties, including an exceptionally high X-ray luminosity, average temperature, and a powerful and extended radio halo. The irregular and complex morphology of its gas and galaxy structure suggests that this cluster has recently undergone major merger events that involve two or more cluster components. In this paper, we study the gas structure and dynamics by means of spectral-imaging analysis of X-ray data obtained from XMM-Newton and Chandra observations. From the evidence of a cold front, we infer the westward motion of a cool core across the E-W elongated atmosphere of the main cluster A2163-A. Located close to a galaxy over-density, this gas 'bullet' appears to have been spatially separated from its galaxy (and presumably dark matter component) as a result of high-velocity accretion. From gas brightness and temperature profile analysis performed in two opposite regions of the main cluster, we show that the ICM has been adiabatically compressed behind the crossing 'bullet' possibly because of shock heating, leading to a strong departure of the ICM from hydrostatic equilibrium in this region. Assuming that the mass estimated from the Yx proxy best indicates the overall mass of the system and that the western cluster sector is in approximate hydrostatic equilibrium before subcluster accretion, we infer a merger scenario between two subunits of mass ratio 1:4, leading to a present total system mass of M500 $\propto 1.9 \times 1015 M_{\odot}$. The exceptional properties of A2163 present various similarities with those of 1E0657-56, the so-called 'bullet-cluster'. These similarities are likely to be related to a comparable merger scenario.Comment: A&A, in pres

Effect of interchain separation on the photoinduced absorption spectra of polycarbazolyldiacetylenes

The photoinduced absorption spectra of a novel polycarbazolyldiacetylene with long aliphatic chains on the carbazolyl side groups are measured and compared with those of the unsubstituted polyDCHD. The two polymers in the blue form exhibit very similar electronic absorption spectra and Raman frequencies. This fact indicates that the conjugation length of the polydiacetylene backbone is not too affected by the long substituents. In contrast, the near steady-state photoinduced absorption spectra show that different photogeneration mechanisms are involved in the two polymers. This result can be ascribed to the role played by the interchain distance in the dynamics of the relaxation processes in polydiacetylenes

Phase space density and chiral symmetry restoration in relativistic heavy ion collisions

The effect of altered hadron masses is studied for its effect with regard to final-state hadronic observables. It is shown that the final phase space densities of pions and kaons, which can be inferred experimentally, are sensitive to in-medium properties of the excited matter at earlier stages of the collision, but that the sensitivity is significantly moderated by interactions that change the effective numbers of pions and kaons during the latter part of the collision.Comment: 5 pages, 4 fig.

Effect of the source charge on charged-beam interferometry

We investigate quantal perturbations of the interferometric correlations of charged bosons by the Coulomb field of an instantaneous, charged source. The source charge increases the apparent source size by weakening the correlation at non-zero relative momenta. The effect is strongest for pairs with a small total momentum and is stronger for kaons than for pions of the same momenta. The experimental data currently available are well described by this effect without invoking Pratt's exploding source model. A simple expression is proposed to account for the effect.Comment: 9 pages TEX, 3 Postscript figures available at http://www.krl.caltech.edu/preprints/MAP.htm

Pion interferometry with pion-source-medium interactions

An extended pion source, which can be temporarily created by a high energy nuclear collision, will also absorb and distort the outgoing pions. We discuss how this effect alters the interferometric pattern of the two-pion momentum correlation function. In particular, we show that the two-pion correlation function decreases rapidly when the opening angle between the pions increases. The opening-angle dependence should serve as a new means of obtaining information about the pion source in the analysis of experimental data.Comment: 14 pages (revtex) and 9 figures (uuencoded), Caltech preprint MAP-175, Indiana Univ. preprint IU/NTC 914-1