A re-statement of the Hohenberg–Kohn theorem and its extension to finite subspaces

Bearing in mind the insight into the Hohenberg–Kohn theorem for Coulomb systems provided recently by Kryachko (Int J Quantum Chem 103:818, 2005), we present a re-statement of this theorem through an elaboration on Lieb’s proof as well as an extension of this theorem to finite subspaces. Contribution to the Serafin Fraga Memorial Issue.     

The Hellmann-Feynman theorem applied to long-range forces

The relations between the Hellmann-Feynman forces in laboratory fixed (L-) and relative (R-) coordinate systems are clarified. In the usualL-coordinate system, the force is interpreted as force on nucleus, while in theR-coordinate system, it means force on whole particles consisting of the electrons and nuclei of each interacting subsystem. From a perturbation theoretical viewpoint, the concept of the force on whole particles correctly corresponds to the perturbation energy and is superior to the force on the nucleus.     

Zhang–Zhang Polynomials of Multiple Zigzag Chains Revisited: A Connection with the John–Sachs Theorem

Multiple zigzag chains Zm,n of length n and width m constitute an important class of regular graphene flakes of rectangular shape. The physical and chemical properties of these basic pericondensed benzenoids can be related to their various topological invariants, conveniently encoded as the coefficients of a combinatorial polynomial, usually referred to as the ZZ polynomial of multiple zigzag chains Zm,n. The current study reports a novel method for determination of these ZZ polynomials based on a hypothesized extension to John–Sachs theorem, used previously to enumerate Kekulé structures of various benzenoid hydrocarbons. We show that the ZZ polynomial of the Zm,n multiple zigzag chain can be conveniently expressed as a determinant of a Toeplitz (or almost Toeplitz) matrix of size m2×m2 consisting of simple hypergeometric polynomials. The presented analysis can be extended to generalized multiple zigzag chains Zkm,n, i.e., derivatives of Zm,n with a single attached polyacene chain of length k. All presented formulas are accompanied by formal proofs. The developed theoretical machinery is applied for predicting aromaticity distribution patterns in large and infinite multiple zigzag chains Zm,n and for computing the distribution of spin densities in biradical states of finite multiple zigzag chains Zm,n.     

Origin and meaning of the Fermi contact interaction

The Fermi-contact interaction (FCI) can easily be derived from 1st order perturbation theory applied to the non-relativistic wave equation for a spin-(1/2) particle of Lévy-Leblond, with the nuclear spin described by the field of an external magnetic dipole, and it results from the fact that the turn-over-rule for the operator is only valid if the derivatives implicit in are taken in the distribution sense. If one avoids to apply the turn-over-rule, the FCI is obtained without the need to introduce a -function. It is also shown that the formulation of a magnetic point dipole as the limit of an extended nucleus directly leads to the FCI. Traditional methods of the derivation of the FCI are analyzed in the light of this new interpretation. It is then explained why the perturbation expansions in powers of the magnetic moment of the nucleus necessarily diverges, but that the expression for the 1st order energy on which the concept of the FCI is based, can nevertheless be justified by means of the Hellmann-Feynman theorem with a correction term if singular wave functions are involved. Finally some comments on a theory beyond first order are made.Dedicated to Professor J. Koutecký on the occasion of his 65th birthday     

Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence

We study hidden-variable models from quantum mechanics and their abstractions in purely probabilistic and relational frameworks by means of logics of dependence and independence, which are based on team semantics. We show that common desirable properties of hidden-variable models can be defined in an elegant and concise way in dependence and independence logic. The relationship between different properties and their simultaneous realisability can thus be formulated and proven on a purely logical level, as problems of entailment and satisfiability of logical formulae. Connections between probabilistic and relational entailment in dependence and independence logic allow us to simplify proofs. In many cases, we can establish results on both probabilistic and relational hidden-variable models by a single proof, because one case implies the other, depending on purely syntactic criteria. We also discuss the ‘no-go’ theorems by Bell and Kochen-Specker and provide a purely logical variant of the latter, introducing non-contextual choice as a team-semantical property.     

Tensor products of coherent configurations

A Cartesian decomposition of a coherent configuration ✗ is defined as a special set of its parabolics that form a Cartesian decomposition of the underlying set. It turns out that every tensor decomposition of ✗ comes from a certain Cartesian decomposition. It is proved that if the coherent configuration ✗ is thick, then there is a unique maximal Cartesian decomposition of ✗; i.e., there is exactly one internal tensor decomposition of ✗ into indecomposable components. In particular, this implies an analog of the Krull–Schmidt theorem for the thick coherent configurations. A polynomial-time algorithm for finding the maximal Cartesian decomposition of a thick coherent configuration is constructed.     

A Review of Results on Axially Symmetric Navier-Stokes Equations,with Addendum by X. Pan and Q. Zhang

In this paper, we give a brief survey of recent results on axially symmetric Navier-Stokes equations (ASNS) in the following categories: regularity criterion, Liouville property for ancient solutions, decay and vanishing of stationary solutions. Some discussions also touch on the full 3 dimensional equations. Two results, closing of the scaling gap for ASNS and vanishing of homogeneous D solutions in 3 dimensional slabs will be described in more detail.In the addendum, two new results in the 3rd category will also be presented, which are generalizations of recently published results by the author and coauthors.     

Monge-Ampère Equation with Bounded Periodic Data

We consider the Monge-Ampère equation det $(D^2u) = f$ in $\mathbb{R}^n,$ where $f$ is a positive bounded periodic function. We prove that $u$ must be the sum of a quadratic polynomial and a periodic function. For $f ≡ 1,$ this is the classic result by Jörgens, Calabi and Pogorelov. For $f ∈ C^α,$ this was proved by Caffarelli and the first named author.     

Estimation of a quantile in some nonstandard cases

A necessary condition for the asymptotic normality of the sample quantile estimator isf(Q(p))=F(Q(p))>0, whereQ(p) is thep-th quantile of the distribution functionF(x). In this paper, we estimate a quantile by a kernel quantile estimator when this condition is violated. We have shown that the kernel quantile estimator is asymptotically normal in some nonstandard cases. The optimal convergence rate of the mean squared error for the kernel estimator is obtained with respect to the asymptotically optimal bandwidth. A law of the iterated logarithm is also established.This research was partially supported by the new faculty award from the University of Oregon.     

Large deviations for martingales with some applications

Let(X _i ) be a martingale difference sequence. LetY be a standard normal random variable. We investigate the rate of uniform convergence