Fixed-point elimination in the intuitionistic propositional calculus

It is a consequence of existing literature that least and greatest fixed-points of monotone polynomials on Heyting algebras-that is, the algebraic models of the Intuitionistic Propositional Calculus-always exist, even when these algebras are not complete as lattices. The reason is that these extremal fixed-points are definable by formulas of the IPC. Consequently, the $\mu$-calculus based on intuitionistic logic is trivial, every $\mu$-formula being equivalent to a fixed-point free formula. We give in this paper an axiomatization of least and greatest fixed-points of formulas, and an algorithm to compute a fixed-point free formula equivalent to a given $\mu$-formula. The axiomatization of the greatest fixed-point is simple. The axiomatization of the least fixed-point is more complex, in particular every monotone formula converges to its least fixed-point by Kleene's iteration in a finite number of steps, but there is no uniform upper bound on the number of iterations. We extract, out of the algorithm, upper bounds for such n, depending on the size of the formula. For some formulas, we show that these upper bounds are polynomial and optimal

Non-Fermi Liquids in the Extended Hubbard Model

I summarize recent work on non-Fermi liquids within certain generalized Anderson impurity model as well as in the large dimensionality ($D$) limit of the two-band extended Hubbard model. The competition between local charge and spin fluctuations leads either to a Fermi liquid with renormalized quasiparticle excitations, or to non-Fermi liquids with spin-charge separation. These results provide new insights into the phenomenological similarities and differences between different correlated metals. While presenting these results, I outline a general strategy of local approach to non-Fermi liquids in correlated electron systems.Comment: 30 pages, REVTEX, 14 figures included. To appear in ``Non Fermi Liquid Physics'', J. Phys: Cond. Matt. (1997

A Tale of Two Animats: What does it take to have goals?

What does it take for a system, biological or not, to have goals? Here, this question is approached in the context of in silico artificial evolution. By examining the informational and causal properties of artificial organisms ('animats') controlled by small, adaptive neural networks (Markov Brains), this essay discusses necessary requirements for intrinsic information, autonomy, and meaning. The focus lies on comparing two types of Markov Brains that evolved in the same simple environment: one with purely feedforward connections between its elements, the other with an integrated set of elements that causally constrain each other. While both types of brains 'process' information about their environment and are equally fit, only the integrated one forms a causally autonomous entity above a background of external influences. This suggests that to assess whether goals are meaningful for a system itself, it is important to understand what the system is, rather than what it does.Comment: This article is a contribution to the FQXi 2016-2017 essay contest "Wandering Towards a Goal

One dimensional chain of quantum molecule motors as a mathematical physics model for muscle fibre

A quantum chain model of many molecule motors is proposed as a mathematical physics theory on the microscopic modeling of classical force-velocity relation and tension transients of muscle fibre. We proposed quantum many-particle Hamiltonian to predict the force-velocity relation for the slow release of muscle fibre which has no empirical relation yet, it is much more complicate than hyperbolic relation. Using the same Hamiltonian, we predicted the mathematical force-velocity relation when the muscle is stimulated by alternative electric current. The discrepancy between input electric frequency and the muscle oscillation frequency has a physical understanding by Doppler effect in this quantum chain model. Further more, we apply quantum physics phenomena to explore the tension time course of cardiac muscle and insect flight muscle. Most of the experimental tension transients curves found their correspondence in the theoretical output of quantum two-level and three-level model. Mathematically modeling electric stimulus as photons exciting a quantum three-level particle reproduced most tension transient curves of water bug Lethocerus Maximus.Comment: 16 pages, 12 figures, Arguments are adde

Kondo Insulator to Semimetal Transformation Tuned by Spin-Orbit Coupling

Recent theoretical studies of topologically nontrivial electronic states in Kondo insulators have pointed to the importance of spin-orbit coupling (SOC) for stabilizing these states. However, systematic experimental studies that tune the SOC parameter $\lambda_{\rm{SOC}}$ in Kondo insulators remain elusive. The main reason is that variations of (chemical) pressure or doping strongly influence the Kondo coupling $J_{\text{K}}$ and the chemical potential $\mu$ -- both essential parameters determining the ground state of the material -- and thus possible $\lambda_{\rm{SOC}}$ tuning effects have remained unnoticed. Here we present the successful growth of the substitution series Ce$_3$Bi$_4$(Pt$_{1-x}$Pd$_x$)$_3$ ($0 \le x \le 1$) of the archetypal (noncentrosymmetric) Kondo insulator Ce$_3$Bi$_4$Pt$_3$. The Pt-Pd substitution is isostructural, isoelectronic, and isosize, and therefore likely to leave $J_{\text{K}}$ and $\mu$ essentially unchanged. By contrast, the large mass difference between the $5d$ element Pt and the $4d$ element Pd leads to a large difference in $\lambda_{\rm{SOC}}$, which thus is the dominating tuning parameter in the series. Surprisingly, with increasing $x$ (decreasing $\lambda_{\rm{SOC}}$), we observe a Kondo insulator to semimetal transition, demonstrating an unprecedented drastic influence of the SOC. The fully substituted end compound Ce$_3$Bi$_4$Pd$_3$ shows thermodynamic signatures of a recently predicted Weyl-Kondo semimetal.Comment: 6 pages, 5 figures plus Supplemental Materia

Surface effects on the Mott-Hubbard transition in archetypal V2_2O3_3

We present an experimental and theoretical study exploring surface effects on the evolution of the metal-insulator transition in the model Mott-Hubbard compound Cr-doped V$_2$O$_3$. We find a microscopic domain formation that is clearly affected by the surface crystallographic orientation. Using scanning photoelectron microscopy and X-ray diffraction, we find that surface defects act as nucleation centers for the formation of domains at the temperature-induced isostructural transition and favor the formation of microscopic metallic regions. A density functional theory plus dynamical mean field theory study of different surface terminations shows that the surface reconstruction with excess vanadyl cations leads to doped, and hence more metallic surface states, explaining our experimental observations.Comment: 5 pages, 4 figure

Unification Theory of Angular Magnetoresistance Oscillations in Quasi-One-Dimensional Conductors

We present a unification theory of angular magnetoresistance oscillations, experimentally observed in quasi-one-dimensional organic conductors, by solving the Boltzmann kinetic equation in the extended Brillouin zone. We find that, at commensurate directions of a magnetic field, resistivity exhibits strong minima. In two limiting cases, our general solution reduces to the results, previously obtained for the Lebed Magic Angles and Lee-Naughton-Lebed oscillations. We demonstrate that our theoretical results are in good qualitative and quantitative agreement with the existing measurements of resistivity in (TMTSF)$_2$ClO$_4$ conductor.Comment: 6 pages, 2 figure