Feasible Operations and Applicative Theories Based on λη

We study a theory PTO(λη) of polynomial time computability on the type of binary strings (in the style of [6]), as embedded in full lambda calculus with total application and extensionality. We prove that the closed terms of (provable) type W → W are exactly the polynomial time operations. This answers a conjecture of Strahm [13].     

On the pre‐metric foundations of wave mechanics I: massless waves

The mechanics of wave motion in a medium are founded in conservation laws for the physical quantities that the waves carry, combined with the constitutive laws of the medium, and define Lorentzian structures only in degenerate cases of the dispersion laws that follow from the field equations. It is suggested that the transition from wave motion to point motion is best factored into an intermediate step of extended matter motion, which then makes the dimension‐codimension duality of waves and trajectories a natural consequence of the bicharacteristic (geodesic) foliation associated with the dispersion law. This process is illustrated in the conventional case of quadratic dispersion laws, as well as quartic ones, which include the Heisenberg–Euler dispersion law. It is suggested that the contributions to geodesic motion from the non‐quadratic nature of a dispersion law might represent another source of quantum fluctuations about classical extremals, in addition to the diffraction effects that are left out by the geometrical optics approximation.     

A Condensed Matter Interpretation of SM Fermions and Gauge Fields

We present the bundle (Aff(3)⊗ℂ⊗Λ)(ℝ³), with a geometric Dirac equation on it, as a three-dimensional geometric interpretation of the SM fermions. Each (ℂ⊗Λ)(ℝ³) describes an electroweak doublet. The Dirac equation has a doubler-free staggered spatial discretization on the lattice space (Aff(3)⊗ℂ)(ℤ³). This space allows a simple physical interpretation as a phase space of a lattice of cells. We find the SM SU(3) _c ×SU(2) _L ×U(1) _Y action on (Aff(3)⊗ℂ⊗Λ)(ℝ³) to be a maximal anomaly-free gauge action preserving E(3) symmetry and symplectic structure, which can be constructed using two simple types of gauge-like lattice fields: Wilson gauge fields and correction terms for lattice deformations. The lattice fermion fields we propose to quantize as low energy states of a canonical quantum theory with ℤ₂-degenerated vacuum state. We construct anticommuting fermion operators for the resulting ℤ₂-valued (spin) field theory. A metric theory of gravity compatible with this model is presented too.     

渐进多尺度展开方法的精度和物理意义

多尺度渐进展开方法(MsAEM)是分析周期复合材料结构力学行为的代表性方法,可以通过加权残量等方法实现,作者曾针对MsAEM的精度和力学含义进行研究。本文对作者的工作进行了总结,进一步明确了一维周期结构的单元阶次、摄动阶次和精确解的关系,揭示了不同阶次虚拟载荷和影响函数的物理意义,从物理角度强调了二阶展开项是不可缺少的,并对未来工作进行了展望。     

The Ithaca Interpretation of Quantum Mechanics, and Objective Probabilities

The Ithaca interpretation of quantum mechanics, proposed in 1996 by David Mermin, seeks to reduce the interpretive puzzles of quantum mechanics to the single puzzle of interpreting objective quantum probabilities. Some suggestions are made as to how the numerical values of quantum probabilities could be ontologically based in a world containing all the possible outcomes of all probabilistic processes. It is then shown that Hardy's paradox, discussed by Mermin, can be resolved when probabilities are interpreted in this way.     

The Information Interpretation and the Conceptual Problems of Quantum Mechanics

It has been traditionally considered that Quantum Mechanics has two conceptual kinds of problems, namely, those related with local-realism and the so-called measurement problem. That is, the uniqueness of the result when we make a measurement. With the development of what is called generically Quantum Information Theory, a new form of the Copenhagen interpretation of the formalism has taken shape.⁽¹⁾ In this paper, we will analyse if this information interpretation is able to clarify these old problems. Although this interpretation seems to be the most promising approach we have, we have reached the conclusion that the answer cannot be given in a positive and clear way yet.     

History and many-worlds quantum theory

We suggest that, contrary to what is sometimes stated, the only way we can make reliable statements about history, using information available at the present, is to use unitary evolution backwards in time. We give some discussion of how this might work in practice, and point out that additional inputs, e.g. certain prejudices, are also required.