Some Remarks on the Geodesic Completeness of Compact Nonpositively Curved Spaces

We study the following question: does a compact nonpositively curved space have a totally geodesic core?     

Letter: Global Hyperbolicity of Sliced Spaces

We show that for generic sliced spacetimes global hyperbolicity is equivalent to space completeness under the assumption that the lapse, shift and spatial metric are uniformly bounded. This leads us to the conclusion that simple sliced spaces are timelike and null geodesically complete if and only if space is a complete Riemannian manifold.     

Sequent calculi for propositional star-free likelihood logic

We consider classical, multisuccedent intuitionistic, and intuitionistic sequent calculi for propositional likelihood logic. We prove the admissibility of structural rules and cut rule, invertibility of rules, correctness of the calculi, and completeness of the classical calculus with respect to given semantics.__________Published in Lietuvos Matematikos Rinkinys, Vol. 45, No. 1, pp. 3–21, January–March, 2005.     

幂函数的一些密码学性质

二元域上n数组空间上的非线性置换在分组码，杂凑函数与流密码等密码学领域中有重要应用.域GF（2n）上的幂函数提供了二元域上n数组空间上的一类非线性置换．本文着重研究幂函数的强完全性、完全性与非线性度等密码学性质．作为结果，本文证明了幂函数具有完全性；证明了具有强完全性的函数必有较高的拓扑非线性度；木文找到一类具有强完全性的幂函数；周时也定出了幂函数的代数非线性度．     

Eigenvalue problem for arbitrary linear combinations of a boson annihilation and creation operator

The eigenvalue problem for arbitrary linear combinations kα + μα^? of a boson annihilation operator α and a boson creation operator α^? is solved. It is shown that these operators possess nondegenerate eigenstates to arbitrary complex eigenvalues. The expansion of these eigenstates into the basic set of number states | n >, (n = 0, 1, 2, …), is found. The eigenstates are normalizable and are therefore states of a Hilbert space for | ζ | < 1 with ζ ? μ/k and represent in this case squeezed coherent states of minimal uncertainty product. They can be considered as states of a rigged Hilbert space for | ζ | ? 1. A completeness relation for these states is derived that generalizes the completeness relation for the coherent states | α 〉. Furthermore, it is shown that there exists a dual orthogonality in the entire set of these states and a connected dual completeness of the eigenstates on widely arbitrary paths over the complex plane of eigenvalues. This duality goes over into a selfduality of the eigenstates of the hermitian operators kα + k* α^? to real eigenvalues. The usually as nonexistent considered eigenstates of the boson creation operator α^? are obtained by a limiting procedure. They belong to the most singular case among the considered general class of eigenstates with ζ ? μ/k as a parameter.     

Interpreting Intuitionistic Propositional Logic in Terms of Intuitionistic Protothetics

An algebra of sentences of the quite intuitionistic protothetics, that is, an intuitionistic propositional logic with quantifiers augmented by the negation of the excluded middle, is a faithful model of intuitionistic propositional logic.     

The Maximal Closed Classes of Unary Functions in p-Valued Logic

In many-valued logic the decision of functional completeness is a basic and important problem, and the thorough solution to this problem depends on determining all maximal closed sets in the set of many-valued logic functions. It includes three famous problems, i.e., to determine all maximal closed sets in the set of the total, of the partial and of the unary many-valued logic functions, respectively. The first two problems have been completely solved ([1], [2], [8]), and the solution to the third problem boils down to determining all maximal subgroups in the k-degree symmetric group S_k, which is an open problem in the finite group theory. In this paper, all maximal closed sets in the set of unary p-valued logic functions are determined, where p is a prime. Mathematics Subject Classification: 03B50, 20B35.     

Left invariant special Kähler structures

We construct left invariant special Kähler structures on the cotangent bundle of a flat pseudo-Riemannian Lie group. We introduce the twisted cartesian product of two special Kähler Lie algebras according to two linear representations by infinitesimal Kähler transformations. We also exhibit a double extension process of a special Kähler Lie algebra which allows us to get all simply connected special Kähler Lie groups with bi-invariant symplectic connections. All Lie groups constructed by performing this double extension process can be identified with a subgroup of symplectic (or Kähler) affine transformations of its Lie algebra containing a nontrivial 1-parameter subgroup formed by central translations. We show a characterization of left invariant flat special Kähler structures using étale Kähler affine representations, exhibit some immediate consequences of the constructions mentioned above, and give several non-trivial examples.     

Non‐self‐adjoint singular second‐order dynamic operators on time scale

In this study, maximal dissipative second‐order dynamic operators on semi‐infinite time scale are studied in the Hilbert space , that the extensions of a minimal symmetric operator in limit‐point case. We construct a self‐adjoint dilation of the dissipative operator together with its incoming and outgoing spectral representations so that we can determine the scattering function of the dilation as stated in the scheme of Lax‐Phillips. Moreover, we construct a functional model of the dissipative operator and identify its characteristic function in terms of the Weyl‐Titchmarsh function of a self‐adjoint second‐order dynamic operator. Finally, we prove the theorems on completeness of the system of root functions of the dissipative and accumulative dynamic operators.