Difference Sets and Recursion Theory

There is a recursive set of natural numbers which is the difference set of some recursively enumerable set but which is not the difference set of any recursive set.     

ContributionsSign-balanced covering matrices

A q × n array with entries from 0, 1,…,q − 1 is said to form a difference matrix if the vector difference (modulo q) of each pair of columns consists of a permutation of [0, 1,… q − 1]; this definition is inverted from the more standard one to be found, e.g., in Colbourn and de Launey (1996). The following idea generalizes this notion: Given an appropriate δ (-[−1, 1]^t, a λq × n array will be said to form a (t, q, λ, Δ) sign-balanced matrix if for each choice C₁, C₂,…, C_t of t columns and for each choice = (₁,…,_t) Δ of signs, the linear combination ∑_j=1^t _jC_j contains (mod q) each entry of [0, 1,…, q − 1] exactly λ times. We consider the following extremal problem in this paper: How large does the number k = k(n, t, q, λ, δ) of rows have to be so that for each choice of t columns and for each choice (₁, …, _t) of signs in δ, the linear combination ∑_j=1^t _jC_j contains each entry of [0, 1,…, q t- 1] at least λ times? We use probabilistic methods, in particular the Lovász local lemma and the Stein-Chen method of Poisson approximation to obtain general (logarithmic) upper bounds on the numbers k(n, t, q, λ, δ), and to provide Poisson approximations for the probability distribution of the number W of deficient sets of t columns, given a random array. It is proved, in addition, that arithmetic modulo q yields the smallest array - in a sense to be described.     

Microscopic Theory of Blue Phases Ⅰ and Ⅱ of Liquid Crystal

The microscopic theory of the blue phases of chiral liquid crystal is proposed. Beginning with the potential between two molecules, by using the cell model of liquid, applying statistical physical method, the distribution function and the free energy of the system are obtained. By using variational approach and zero-order approximation, the differential equation that the order parameter tensor of the blue phase can satisfy is obtained. Then we change the differential equation to the eigenequation problem in quantum mechanics. Considering the symmetry of the blue phases,the order parameter tensors of blue phases Ⅰ and Ⅱ can be made up of the eigenvectors. Our results are the same as the results of Ginzberg-Landau‘s phenomenological theory. The parameters in the order parameter tensors that we calculate in the located system are close to the predecessors‘ results.     

The complexity of minimum difference cover

The complexity of searching minimum difference covers, both in Z⁺ and in Z_n, is studied. We prove that these two optimization problems are NP-hard. To obtain this result, we characterize those sets—called extrema—having themselves plus zero as minimum difference cover. Such a combinatorial characterization enables us to show that testing whether sets are not extrema, both in Z⁺ and in Z_n, is NP-complete. However, for these two decision problems we exhibit pseudo-polynomial time algorithms.     

On Matter and Metric in Affine Theory of Gravity

The affine theory was conceived as a geometric model, wherein the connection field is the primary structure of the space-time. According to the program lying on the basis of this theory, metric and some sort of matter are somehow to be deduced from the connection field. In the present paper, we point out classical ways to a realization of this program. It is shown that, even in that case where the introduction of the metric seems to exclude the coupling of gravity to matter, the situation is not so hopeless as one may assume. In particular, for a symmetric Einstein tensor, it is answered the old question as to a self-consistent introduction of a metric and a metrical energy-momentum tensor controversially debated by Einstein, Eddington, and Weyl.     

Differential geometry of tensor product immersions

In this article we obtain the best possible estimates of the type number of tensor product immersions and investigate tensor product immersions with lowest possible type. Several classification theorems in this respect are then proved.     

求解张量随机互补问题的光滑牛顿算法

近年来, 越来越多的人意识到随机互补问题在经济管理中具有十分重要的作用。有学者已将随机互补问题由矩阵推广到张量, 并提出了张量随机互补问题。本文通过引入一类光滑函数, 提出了求解张量随机互补问题的一种光滑牛顿算法, 并证明了算法的全局和局部收敛性, 最后通过数值实验验证了算法的有效性。     

Products and transforms of white-noise functionals (in general setting)

Some sharp results about Weiner and Wick products of whitenoise functionals are obtained. Using the inequality of Wick products we show to what extent scaling transformations, translations, and Sobolev differentiations can be performed on white-noise functionals.This work was supported by the National Natural Science Foundation of China. This paper is an enlargement and revised version of the paper entitled Products and Transforms of White-Noise Functionals (preprint, 1990).     

Photoelasticity in quasicrystals

The maximum number of non-vanishing and independent second order photoelastic coefficients required by the seven pentagonal and the two icosahedral point groups 5(C₅), (S₁₀), (C_5h ), m2(D_5h ), 52(D₅), 5m(C_5v ), 2m(D_5d ); 235(I), 2/m (I _h )—that describe the quasicrystals symmetry groups in two and three dimensions—is obtained. The schemes of non-vanishing and independent coefficients have been calculated and listed. Finally the results of this group-theoretical study are briefly discussed.     

Transport coefficients of quasicrystals

The transport coefficients for the nine point groups —which represent the symmetry groups of the quasicrystals in two and three dimensions—have been evaluated and tabulated in this work, employing group-theoretical methods.