Ockham’s Calculus of Strict Implication

In his main work Summa Logicae written around 1323, William of Ockham developed a system of propositional modal logic which contains almost all theorems of a modern calculus of strict implication. This calculus is formally reconstructed here with the help of modern symbols for the operators of conjunction, disjunction, implication, negation, possibility, and necessity.     

Landauer–Büttiker and Thouless Conductance

In the independent electron approximation, the average (energy/charge/entropy) current flowing through a finite sample \({\mathcal{S}}\) connected to two electronic reservoirs can be computed by scattering theoretic arguments which lead to the famous Landauer–Büttiker formula. Another well known formula has been proposed by Thouless on the basis of a scaling argument. The Thouless formula relates the conductance of the sample to the width of the spectral bands of the infinite crystal obtained by periodic juxtaposition of \({\mathcal{S}}\). In this spirit, we define Landauer–Büttiker crystalline currents by extending the Landauer–Büttiker formula to a setup where the sample \({\mathcal{S}}\) is replaced by a periodic structure whose unit cell is \({\mathcal{S}}\). We argue that these crystalline currents are closely related to the Thouless currents. For example, the crystalline heat current is bounded above by the Thouless heat current, and this bound saturates iff the coupling between the reservoirs and the sample is reflectionless. Our analysis leads to a rigorous derivation of the Thouless formula from the first principles of quantum statistical mechanics.     

<Emphasis Type="Italic">C</Emphasis><Superscript>1</Superscript>-Classification of Gapped Parent Hamiltonians of Quantum Spin Chains

We consider the C ¹-classification of gapped Hamiltonians introduced in Fannes et al. (Commun Math Phys 144:443–490, 1992) and Nachtergaele (Commun Math Phys 175:565–606, 1996) as parent Hamiltonians of translation invariant finitely correlated states. Within this family, we show that the number of edge modes, which is equal at the left and right edge, is the complete invariant. The construction proves that translation invariance of the ‘bulk’ ground state does not need to be broken to establish C ¹-equivalence, namely that the spin chain does not need to be blocked.     

Symplectic invariants for curves and integrable systems in similarity symplectic geometry

In this paper, similarity symplectic geometry for curves is proposed and studied. Explicit expressions of the symplectic invariants, Frenet frame and Frenet formulae for curves in similarity symplectic geometry are obtained by using the equivariant moving frame method. The relationships between the Euclidean symplectic invariants, Frenet frame, Frenet formulae and the similarity symplectic invariants, Frenet frame, Frenet formulae for curves are established. Invariant curve flows in four-dimensional similarity symplectic geometry are also studied. It is shown that certain intrinsic invariant curve flows in four-dimensional similarity symplectic geometry are related to the integrable Burgers and matrix Burgers equations.     

Ragnar Frisch and interior-point methods

The distinguished econometrician Ragnar Frisch (1895–1973) also played an important role in optimization theory. In fact, he was a pioneer of interior-point methods. This note reconsiders his contribution, relating it to history and modern developments.     

Chinese regional energy efficiency change and its determinants analysis: Malmquist index and Tobit model

China becomes the largest energy consumer in 2010 but its energy productivity is well below the world average. To meet China’s fast growing energy using, energy efficiency should be especially emphasized under China’s energy policy. This paper focuses on the regional level of energy efficiency change in China. And we analyze total factor energy efficiency for 30 Chinese provinces over the period 1998–2009 using Malmquist index method and Tobit analysis. The Malmquist estimation results suggest there is a dropping change trend of energy productivity growth. Chinese energy efficiency still faces with huge regional disparity, but the energy technical efficiency reflects convergence in the nationwide and west region. As a result of Tobit regression, we find that industrial structure, energy consumption structure and institutional factor have different influences on energy efficiency.     

Almost Sure Approximation of the Superposition of the Random Processes

This article presents sufficient conditions, which provide almost sure (a.s.) approximation of the superposition of the random processes S(N(t)), when càd-làg random processes S(t) and N(t) themselves admit a.s. approximation by a Wiener or stable Lévy processes. Such results serve as a source of numerous strong limit theorems for the random sums under various assumptions on counting process N(t) and summands. As a consequence we obtain a number of results concerning the a.s. approximation of the Kesten–Spitzer random walk, accumulated workload input into queuing system, risk processes in the classical and renewal risk models with small and large claims and use such results for investigation the growth rate and fluctuations of the mentioned processes.     

Penultimate Approximations in Statistics of Extremes and Reliability of Large Coherent Systems

In reliability theory any coherent system can be represented as either a series-parallel or a parallel-series system. Its lifetime can thus be written as the minimum of maxima or the maximum of minima. For large-scale coherent systems it is sensible to assume that the number of system components goes to infinity. Then, the possible non-degenerate extreme value laws either for maxima or for minima are eligible candidates for the system reliability or at least for the finding of adequate lower and upper bounds for the reliability. The identification of the possible limit laws for the system reliability of homogeneous series-parallel (or parallel-series) systems has already been done under different frameworks. However, it is well-known that in most situations such non-degenerate limit laws are better approximated by an adequate penultimate distribution. Dealing with regular and homogeneous parallel-series systems, we assess both theoretically and through Monte-Carlo simulations the gain in accuracy when a penultimate approximation is used instead of the ultimate one.     

Using a cognitive architecture with a physiological substrate to represent effects of a psychological stressor on cognition

Adding a physiological representation to a cognitive architecture offers an attractive approach to modeling the effects of stress on cognition. We introduce ACT-R/Φ, an extended version of the ACT-R cognitive architecture that includes an integrative model of physiology. The extension allows the representation of how physiology and cognition interact. This substrate was used to represent potential effects of a startle response and task-based stress during a mental arithmetic (subtraction) task. We compare predictions from two models loaded into the new hybrid architecture to models previously developed within ACT-R. General behavior differed between models in that the ACT-R/Φ models had dynamic declarative memory noise over the course of the task based on varying epinephrine levels. They attempted more subtractions but were less accurate; this more closely matched human performance than the previous ACT-R models. Using ACT-R/Φ allows a more tractable integration of current physiological and cognitive perspectives on stress. ACT-R/Φ also permits further exploration of the interaction between cognition and physiology, and the emergent effects on behavior caused by the interaction among physiological subsystems. This extension is useful for anyone exploring how the human mind can occur in and be influenced by the physical universe.