Gleason's Theorem Has a Constructive Proof

Gleason's theorem for R ³ says that if f is a nonnegative function on the unit sphere with the property that f(x) + f(y) + f(z) is a fixed constant for each triple x,y,z of mutually orthogonal unit vectors, then f is a quadratic form. We examine the issues raised by discussions in this journal regarding the possibility of a constructive proof of Gleason"s theorem in light of the recent publication of such a proof.     

The temperature dependence of the optical dispersion parameters in Si and Ge

Abstract

In Si and Ge, the optical dispersion parameters (single-oscillator energy E_o , dispersion energy E_d and bond energy gap E_g developed by Wemple and DiDomenico, and Phillips) have been analysed in the temperature range 100-300 K using data obtained by Icenogle et al. E_o and E_g exhibit a very small temperature dependence in both materials. The thermal coefficients of the dispersion energy, dE_d/dT, have opposite signs (Si, –41·9 × 10^?4eVK^?1; Ge, +37·7 × 10^?4eVK^?1).     

The Poznań school methodology of idealization and concretization from the point of view of a revised structuralist theory conception

My thesis is that some methodological ideas of the Pozna school, i.e., the principles of idealization and concretization (factualization), and the correspondence principle can be represented rather successfully using the relations of theoretization and specialization of revised structuralism.Let <n(i), t(j)> (i=1,...m, j=1,...k) denote the conceptual apparatus of a theory T, and a class M={} (i=1,...m, j=1,...k) the models of T. The n-components refer to the values of dependent variables and t-components to the values of independent variables of the theory. The n- and t-components in turn represent appropriate concepts. Consider T ^* as a conceptual enrichment of T with concepts <n(i ^*), t(j ^*)> (i<i ^* or j<j ^*) and models M ^*={<D ^*, n(i ^*), t(j ^*)>}. If the classes M and M ^* are suitably related, then the situation illustrates both the case of the theoretization-relation of (revised) structuralism and of the factualization-principle of the Pozna school.Assume now that the concepts n(i), t(j) of T for some i, j are operationalized using some special assumptions generating appropriate empirical values n and t for these concepts. Let M denote the class {<D,...n,...t,...>} which is formed by substituting n and t for values of concepts n(i), t(j) in the elements of M. If the classes M and M are related in a suitable way then the situation is an example of both the specialization-relation of (revised) structuralism and the concretization-principle of the Pozna school. The correspondence principle in turn can be represented as a limiting case of the theoretization-relation of (revised) structuralism.Many thanks to my anonymous referees for critical and fruitful comments and special thanks to Dr. Carol Norris for correcting the language of this paper.     

Investigations of the optical and EPR spectra for VO2+ in NaHC2O4 · H2O single crystals

Theoretical calculations of the optical absorption and electron paramagnetic resonance (EPR) spectra of VO²⁺ in NaHC₂O₄?·?H₂O single crystals were performed using the complete diagonalization energy matrix method (CDM) and the perturbation theory method (PTM) for the 3d ¹ electronic configuration. The calculated results are in good agreement with experimental results. The negative signs of hyperfine structure constants A _∥ and A _⊥ for VO²⁺ in NaHC₂O₄·H₂O single crystals are suggested from the calculations. Comparison of the two calculation methods indicates that the PTM is a good approximation of CDM and that both theoretical methods are valid in interpretation of the optical and EPR spectra for VO²⁺ ions in NaHC₂O₄?·?H₂O crystals.     

All Proper Normal Extensions of S5-square have the Polynomial Size Model Property

We show that every proper normal extension of the bi-modal system S5 ² has the poly-size model property. In fact, to every proper normal extension L of S5 ² corresponds a natural number b(L) - the bound of L. For every L, there exists a polynomial P(·) of degree b(L) + 1 such that every L-consistent formula is satisfiable on an L-frame whose universe is bounded by P(||), where || denotes the number of subformulas of . It is shown that this bound is optimal.     

Kripke Incomplete Logics Containing KTB

It is shown that there is a Kripke incomplete logic in NExt(KTB ⊕ □² p → □³ p). Furthermore, it is also shown that there exists a continuum of Kripke incomplete logics in NExt(KTB ⊕ □⁵ p → □⁶ p). Presented by Michael Zakharyaschev     

A Cut-Free Sequent System for the Smallest Interpretability Logic

The idea of interpretability logics arose in Visser [Vis90]. He introduced the logics as extensions of the provability logic GLwith a binary modality . The arithmetic realization of A B in a theory T will be that T plus the realization of B is interpretable in T plus the realization of A (T + A interprets T + B). More precisely, there exists a function f (the relative interpretation) on the formulas of the language of T such that T + B C implies T + A f(C).The interpretability logics were considered in several papers. An arithmetic completeness of the interpretability logic ILM, obtained by adding Montagna's axiom to the smallest interpretability logic IL, was proved in Berarducci [Ber90] and Shavrukov [Sha88] (see also Hájek and Montagna [HM90] and Hájek and Montagna [HM92]). [Vis90] proved that the interpretability logic ILP, an extension of IL, is also complete for another arithmetic interpretation. The completeness with respect to Kripke semantics due to Veltman was, for IL, ILMand ILP, proved in de Jongh and Veltman [JV90]. The fixed point theorem of GLcan be extended to ILand hence ILMand ILP(cf. de Jongh and Visser [JV91]). The unary pendant "T interprets T + A" is much less expressive and was studied in de Rijke [Rij92]. For an overview of interpretability logic, see Visser [Vis97], and Japaridze and de Jongh [JJ98].In this paper, we give a cut-free sequent system for IL. To begin with, we give a cut-free system for the sublogic IL4of IL, whose -free fragment is the modal logic K4. A cut-elimination theorem for ILis proved using the system for IK4and a property of Löb's axiom.     

High-efficiency single-layer organic light-emitting diode based on green fluorescent protein

We have fabricated a molecular organic light-emitting device comprising indium–tin oxide/a molecular organic layer/aluminum in which the organic layer is a green fluorescent protein. The device exhibits peak external quantum and power efficiencies of 8?±?0.2% and 13?±?0.7?lm?W?^??1 at a current of J?=?1.5?A?m^?2, respectively. In addition, the turn-on voltage is 2.5?V for 1?cd?m^?2 and the maximum luminance achieved is 1275?cd?m^?2. This good performance can be explained by the presence of singlet-excited states, leading to a high internal efficiency.     

A 2-categorial Generalization of the Concept of Institution

After defining, for each many-sorted signature Σ = (S, Σ), the category Ter(Σ), of generalized terms for Σ (which is the dual of the Kleisli category for \mathbb T_S{\mathbb {T}_{\bf \Sigma}}, the monad in Set ^S determined by the adjunction T_S \dashv G_S{{\bf T}_{\bf \Sigma} \dashv {\rm G}_{\bf \Sigma}} from Set ^S to Alg(Σ), the category of Σ-algebras), we assign, to a signature morphism d from Σ to Λ, the functor d_à{{\bf d}_\diamond} from Ter(Σ) to Ter(Λ). Once defined the mappings that assign, respectively, to a many-sorted signature the corresponding category of generalized terms and to a signature morphism the functor between the associated categories of generalized terms, we state that both mappings are actually the components of a pseudo-functor Ter from Sig to the 2-category Cat. Next we prove that there is a functor Tr^Σ, of realization of generalized terms as term operations, from Alg(Σ) × Ter(Σ) to Set, that simultaneously formalizes the procedure of realization of generalized terms and its naturalness (by taking into account the variation of the algebras through the homomorphisms between them). We remark that from this fact we will get the invariance of the relation of satisfaction under signature change. Moreover, we prove that, for each signature morphism d from Σ to Λ, there exists a natural isomorphism θ ^d from the functor Tr^L °(Id ×d_à){{{\rm Tr}^{\bf {\bf \Lambda}} \circ ({\rm Id} \times {\bf d}_\diamond)}} to the functor Tr^S °(d^* ×Id){{\rm Tr}^{\bf \Sigma} \circ ({\bf d}^* \times {\rm Id})}, both from the category Alg(Λ) × Ter(Σ) to the category Set, where d* is the value at d of the arrow mapping of a contravariant functor Alg from Sig to Cat, that shows the invariant character of the procedure of realization of generalized terms under signature change. Finally, we construct the many-sorted term institution by combining adequately the above components (and, in a derived way, the many-sorted specification institution), but for a strict generalization of the standard notion of institution.     

Non-dissociation of Lomer–Cottrell dislocations and 〈110〉{001} slip in silicon

Abstract

Two unexpected features have been revealed by transmission electron microscopy investigations of deformed silicon bicrystals: (a) slip of a/2 〈110〉 dislocations on {001} planes and (b) non-dissociation of Lomer–Cottrell dislocations formed by intersecting slip dislocations.     

Analytical derivation of the effective temperature for field-dependent hopping conductivity

The electric-field enhancement of hopping conductivity in amorphous solids can be described in terms of an effective temperature T _eff given by for hopping, at a temperature T and field F, within a uniform distribution of electronic states with localization length γ^?1. We have derived this expression analytically and find at low fields a value for C of 1/2^1/2, which is consistent with the F-independent value C = 0.67 previously obtained numerically for band-tail hopping. With increasing electric field, the decrease in C(F) matches the hopping transport characteristics in amorphous semiconductors (hydrogenated amorphous silicon and hydrogenated amorphous carbon nitride) better than previous numerical simulations.     

Constructing a covariance matrix that yields a specified minimizer and a specified minimum discrepancy function value

A method is presented for constructing a covariance matrix Σ*₀ that is the sum of a matrix Σ(γ₀) that satisfies a specified model and a perturbation matrix,E, such that Σ*₀=Σ(γ0) +E. The perturbation matrix is chosen in such a manner that a class of discrepancy functionsF(Σ*₀, Σ(γ₀)), which includes normal theory maximum likelihood as a special case, has the prespecified parameter value γ₀ as minimizer and a prespecified minimum δ A matrix constructed in this way seems particularly valuable for Monte Carlo experiments as the covariance matrix for a population in which the model does not hold exactly. This may be a more realistic conceptualization in many instances. An example is presented in which this procedure is employed to generate a covariance matrix among nonnormal, ordered categorical variables which is then used to study the performance of a factor analysis estimator. We are grateful to Alexander Shapiro for suggesting the proof of the solution in section 2.     

Hybridization-induced wide-band bipolaron model for high-Tc superconductors

Abstract

A microscopic theory based on the idea of hybridization-induced wide-band bipolarons is proposed to explain the occurrence of high-temperature superconductors such as La_2?x-Ba_xCuO₄, and La_2?xSr_xCuO₄. In our view, these are such that bipolarons are formed whose singlet ground state possesses a large binding energy (Δ) with bandwidth W (>Δ) as a result of two distinct electron-phonon mechanisms and two types of hybridization between Cu²⁺ d electrons and other electrons. This wide-band bipolaron gas has features similar to Cooper pairs and leads to a superconducting state with high T_c in which all occupied electron states participate. The large electron-phonon coupling and a large W both cause the transition temperature T_c, to rise spectacularly.     

Self-Efficacy and Sexual Purity among SDA Emerging Adults: A Bivariate Analysis*

Abstract

The purpose of this study was to examine the ability of SDA emerging adults (N?=?558) to remain sexually abstinent prior to marriage in spite of pressures to engage in such act. The researchers explored whether gender and racial differences exist among this group. The results showed a significant difference between SDA emerging males and females regarding their levels of self-efficacy (t _(df=372)?=?2.207; p?<?.05), and a significant difference among SDA emerging Caucasians, African Americans and other races as it relates to their levels of self-efficacy (F _{(df 2, 555)}?=?6.602, p?<?.05). The researchers recommend that religious institutions focus on the factors that influence the levels of self-efficacy, rather than simply emphasizing a sexually-abstinent lifestyle.     

Vortex dynamics in La1.86Sr0. 14CuO4 studied by magnetoresistivity

Abstract

Vortex dynamics in La_1.86Sr_0.14CuO₄ have been studied by the measurement of ρ_c ^//i (T, H), where ρ_c ^//i is the c-axis resistivity for H//i (i = c or a-b). We argue that, at temperatures higher than the irreversibility temperature T _irr, the usual vortex picture breaks down owing to the thermal motion of vortices, resulting in a T- and T _in-dependent anisotropic parameter γ. After taking into account the dependence of γ on T and T _irr, we show that at each given temperature we can rescale the ρ_c ^//a-b (T, H) data onto the corresponding ρ_c ^//c (T, H) curves. This scaling property clearly indicates that the Lorentz-force-free mechanism is responsible for ρ_c ^//a-b (T, H). Furthermore, we also show that the measured ρ_c ^//a-b (T, H) data can be explained in terms of the recently developed extended Josephson coupling model which is verified by rescaling ρ_c ^//a-b (T) data for various fields onto a single curve.     

Axiomatization and completeness of uncountably valued approximation logic

A first order uncountably valued logicL _Q(0,1) for management of uncertainty is considered. It is obtained from approximation logicsL _T of any poset type (T, ) (see Rasiowa [17], [18], [19]) by assuming (T, )=(Q(0, 1), ) — whereQ(0, 1) is the set of all rational numbersq such that 0<q<1 and is the arithmetic ordering — by eliminating modal connectives and adopting a semantics based onLT-fuzzy sets (see Rasiowa and Cat Ho [20], [21]). LogicL _Q(0,1) can be treated as an important case ofLT-fuzzy logics (introduced in Rasiowa and Cat Ho [21]) for (T, )=(Q(0, 1), ), i.e. asLQ(0, 1)-fuzzy logic announced in [21] but first examined in this paper.L _Q(0,1) deals with vague concepts represented by predicate formulas and applies approximate truth-values being certain subsets ofQ(0, 1). The set of all approximate truth-values consists of the empty set ø and all non-empty subsetss ofQ(0, 1) such that ifqs andqq, thenqs. The setLQ(0, 1) of all approximate truth-values is uncountable and covers up to monomorphism the closed interval [0, 1] of the real line.LQ(0, 1) is a complete set lattice and therefore a pseudo-Boolean (Heyting) algebra. Equipped with some additional operations it is a basic plain semi-Post algebra of typeQ(0, 1) (see Rasiowa and Cat Ho [20]) and is taken as a truth-table forL _Q(0,1) logic.L _Q(0,1) can be considered as a modification of Zadeh's fuzzy logic (see Bellman and Zadeh [2] and Zadeh and Kacprzyk, eds. [29]). The aim of this paper is an axiomatization of logicL _Q(0,1) and proofs of the completeness theorem and of the theorem on the existence ofLQ(0, 1)-models (i.e. models under the semantics introduced) for consistent theories based on any denumerable set of specific axioms. Proofs apply the theory of plain semi-Post algebras investigated in Cat Ho and Rasiowa [4].Presented byCecylia Rauszer     

Growth of diamond crystals by combustion synthesis

Abstract

Low-pressure synthesis of diamond by activated chemical vapour deposition processes is attractive for producing diamond films for optical and electronic (i.e. non-abrasive) applications because of the ability of these processes to produce these films in large dimensions. The low growth rate (about 1 μm h^?1) has, however, precluded these processes for abrasive grain production on simple economic grounds. With the introduction of combustion synthesis of diamond at growth rates exceeding 100μmh^?1, this barrier seems less formidable than it once did. The synthesis of large (about 200 μm) well formed single crystals of diamond by the combustion process with growth rates of about 100μm h^?1, reported here, offers an opportunity to explore the potential of this process for abrasive grain production.     

Abstract modal logics

In this paper we develop a general framework to deal with abstract logics associated with a given modal logic. In particular we study the abstract logics associated with the weak and strong deductive systems of the normal modal logicK and its intuitionistic version. We also study the abstract logics that satisfy the conditionC ⁺(X)=C( _in I ⁿ X) and find the modal deductive systems whose abstract logics, in addition to being classical or intuitionistic, satisfy that condition. Finally we study the deductive systems whose abstract logics satisfy, in addition to the already mentioned properties, the property that the operatorC ⁺ is classical relative to some new defined operations.Work partially supported by Spanish DGICYT grant PB90-0465-C02-01.Presented byJan Zygmunt