On the number of non-isomorphic subgraphs

Let $\mathcal{K}$ be the family of graphs on ω₁ without cliques or independent subsets of sizew ₁. We prove that

1. it is consistent with CH that everyGε $\mathcal{K}$ has 2^ω many pairwise non-isomorphic subgraphs,
2. the following proposition holds in L: (*)there is a Gε $\mathcal{K}$ such that for each partition (A, B) of ω₁ either G?G[A] orG?G[B],
3. the failure of (*) is consistent with ZFC.

     

On a certain type of commutators of operators

LetH be a separable infinite-dimensional Hilbert space and letC be a normal operator andG a compact operator onH. It is proved that the following four conditions are equivalent.

1. C +G is a commutatorAB-BA with self-adjointA.
2. There exists an infinite orthonormal sequencee _j inH such that |Σ _j ⁿ =1 (Ce _j, e_j)| is bounded.
3. C is not of the formC ₁ ⊕C ₂ whereC ₁ has finite dimensional domain andC ₂ satisfies inf {|(C ₂ x, x)|: ‖x‖=1}>0.
4. 0 is in the convex hull of the set of limit points of spC.

     

Relative Krümmungstheorie der Finslerschen Räume,I

Auf einer differenzierbaren Mannigfaltigkeit betrachtet man eine Familie {(U _α,_α G)} lokaler nichtlinearer Zusammenhänge mit den folgenden Eigenschaften:

1. Der nichtlineare Zusammenhang_α G ist auf der offenene MengeU _α des Tangentenbündels definiert, ferner bedecken die DefinitionsbereichenU _α das ganze Tangentenbündel.
2. Die Zusammenhangsobjekt_α G _j ⁱ (x, y) des Zusammenhangs_α G ist iny positiv homogen von erster Ordnung, die Objekten \(_\alpha G_j^i \mathop = \limits^{def} \frac{{\partial _x G_k^i }}{{\partial y^j }}\) sind inj bzw.k symmetrisch, ferner besitzt je zwei Zusammenhang (U _α,_α G) bzw. (U _β,_β G) auf der MengenU _α∩U _β einen gleichen KrümmungstensorK _jk ⁱ .

Bezüglich einer solchen Familie definieren wir das relative Krümmungsmaß gewisser Finslerscher Räume, und dann beweisen wir die Verallgemeinerung des Satzes von Schur. Wir beweisen auch: Eine notwendige und hinreichende Bedingung, damit ein Finslerscher Raum bezüglich einer obigen Familie von skalarer Krümmung sei, besteht darin, daß der Weylsche Tensor der Familie bzw. des Finslerschen Raumes übereinstimme.     

The Dual Group of a Dense Subgroup

Throughout this abstract, G is a topological Abelian group and $\hat G$ is the space of continuous homomorphisms from G into the circle group ${\mathbb{T}}$ in the compact-open topology. A dense subgroup D of G is said to determine G if the (necessarily continuous) surjective isomorphism $\hat G \to \hat D$ given by $h \mapsto h\left| D \right.$ is a homeomorphism, and G is determined if each dense subgroup of G determines G. The principal result in this area, obtained independently by L. Außenhofer and M. J. Chasco, is the following: Every metrizable group is determined. The authors offer several related results, including these. 1. There are (many) nonmetrizable, noncompact, determined groups. 2. If the dense subgroup D _i determines G _i with G _i compact, then $ \oplus _i D_i $ determines Π_i G _i. In particular, if each G _i is compact then $ \oplus _i G_i $ determines Π_i G _i. 3. Let G be a locally bounded group and let G ⁺ denote G with its Bohr topology. Then G is determined if and only if G ⁺ is determined. 4. Let non $\left( {\mathcal{N}} \right)$ be the least cardinal κ such that some $X \subseteq {\mathbb{T}}$ of cardinality κ has positive outer measure. No compact G with $w\left( G \right) \geqslant non\left( {\mathcal{N}} \right)$ is determined; thus if $\left( {\mathcal{N}} \right) = {\mathfrak{N}}_1 $ (in particular if CH holds), an infinite compact group G is determined if and only if w(G) = ω. Question. Is there in ZFC a cardinal κ such that a compact group G is determined if and only if w(G) < κ? Is $\kappa = non\left( {\mathcal{N}} \right)?\kappa = {\mathfrak{N}}_1 ?$      

The Hopfian property of n-periodic products of groups

LetH be a subgroup of a groupG. A normal subgroupN _H ofH is said to be inheritably normal if there is a normal subgroup N _G of G such that N _H = N _G ∩ H. It is proved in the paper that a subgroup $N_{G_i }$ of a factor G _i of the n-periodic product Π _i∈I ⁿ G _i with nontrivial factors G _i is an inheritably normal subgroup if and only if $N_{G_i }$ contains the subgroup G _i ⁿ . It is also proved that for odd n ≥ 665 every nontrivial normal subgroup in a given n-periodic product G = Π _i∈I ⁿ G _i contains the subgroup G ⁿ . It follows that almost all n-periodic products G = G _{1 *} ⁿ G ₂ are Hopfian, i.e., they are not isomorphic to any of their proper quotient groups. This allows one to construct nonsimple and not residually finite Hopfian groups of bounded exponents.     

On the diophantine equation x 2 − Dy 2 = n

We propose a method to determine the solvability of the diophantine equation x2-Dy2=n for the following two cases:(1) D = pq,where p,q ≡ 1 mod 4 are distinct primes with(q/p)=1 and(p/q)4(q/p)4=-1.(2) D=2p1p2 ··· pm,where pi ≡ 1 mod 8,1≤i≤m are distinct primes and D=r2+s2 with r,s ≡±3 mod 8.     

Compactness and the axiom of choice

In the absence of the axiom of choice four versions of compactness (A-, B-, C-, and D-compactness) are investigated. Typical results:

1. C-compact spaces form the epireflective hull in Haus of A-compact completely regular spaces.
2. Equivalent are:
3. the axiom of choice,
4. A-compactness = D-compactness,
5. B-compactness = D-compactness,
6. C-compactness = D-compactness and complete regularity,
7. products of spaces with finite topologies are A-compact,
8. products of A-compact spaces are A-compact,
9. products of D-compact spaces are D-compact,
10. powers X ^k of 2-point discrete spaces are D-compact,
11. finite products of D-compact spaces are D-compact,
12. finite coproducts of D-compact spaces are D-compact,
13. D-compact Hausdorff spaces form an epireflective subcategory of Haus,
14. spaces with finite topologies are D-compact.

1. Equivalent are:
2. the Boolean prime ideal theorem,
3. A-compactness = B-compactness,
4. A-compactness and complete regularity = C-compactness,
5. products of spaces with finite underlying sets are A-compact,
6. products of A-compact Hausdorff spaces are A-compact,
7. powers X ^k of 2-point discrete spaces are A-compact,
8. A-compact Hausdorff spaces form an epireflective subcategory of Haus.

1. Equivalent are:
2. either the axiom of choice holds or every ultrafilter is fixed,
3. products of B-compact spaces are B-compact.

1. Equivalent are:
2. Dedekind-finite sets are finite,
3. every set carries some D-compact Hausdorff topology,
4. every T ₁-space has a T ₁-D-compactification,
5. Alexandroff-compactifications of discrete spaces and D-compact.

     

Singular integrals along Lipschitz curves with holomorphic kernels

If γ(x)=x+iA(x),tan ^?1‖A′‖_∞<ω<π/2,S _ω ⁰ ={z∈C}| |argz|<ω, or, |arg(-z)|<ω} We have proved that if φ is a holomorphic function in S _ω ⁰ and \(\left| {\varphi (z)} \right| \leqslant \frac{C}{{\left| z \right|}}\) , denotingT f (z)= ∫?(z-ζ)f(ζ)dζ, ?f∈C ₀(γ), ?z∈suppf, where C_c(γ) denotes the class of continuous functions with compact supports, then the following two conditions are equivalent:

1. T can be extended to be a bounded operator on L²(γ);
2. there exists a function ?₁ ∈H ^∞(S _ω ⁰ ) such that ?′₁(z)=?(z)+?(-z), ?z∈S _ω ⁰ ?z∈S _w ⁰ .

     

Difference Sets in {\mathbb{Z}}_4^m and {\mathbb{F}}_2^{2m}

Let R=GR(4,m) be the Galois ring of cardinality 4^m and let T be the Teichmüller system of R. For every map λ of T into { -1,+1} and for every permutation Π of T, we define a map φ _λ ^Π of Rinto { -1,+1} as follows: if x∈R and if x=a+2b is the 2-adic representation of x with x∈T and b∈T, then φ _λ ^Π (x)=λ(a)+2Tr(Π(a)b), where Tr is the trace function of R . For i=1 or i=-1, define D _i as the set of x in R such thatφ _λ ^Π =i. We prove the following results: 1) D _i is a Hadamard difference set of (R,+). 2) If φ is the Gray map of R into ${\mathbb{F}}_2^{2m}$ , then (D _i) is a difference set of ${\mathbb{F}}_2^{2m}$ . 3) The set of D _i and the set of φ(D _i) obtained for all maps λ and Π, both are one-to-one image of the set of binary Maiorana-McFarland difference sets in a simple way. We also prove that special multiplicative subgroups of R are difference sets of kind D _i in the additive group of R. Examples are given by means of morphisms and norm in R.     

On a conjecture about automorphisms of finite p-groups

Let G be a nonabelian finite p-group. A longstanding conjecture asserts that G admits a noninner automorphism of order p. In this paper, we prove that if G satisfies one of the following conditions

1. ${\mathrm{rank}(G'\cap Z(G))\neq \mathrm{rank}(Z(G))}$
2. ${\frac{Z_{2}(G)}{Z(G)}}$ is cyclic
3. C _G (Z(Φ(G))) = Φ(G) and ${\frac{Z_{2}(G)\cap Z(\Phi(G))}{Z(G)} }$ is not elementary abelian of rank rs, where r = d(G) and s = rank (Z(G)),

then G has a noninner central automorphism of order p which fixes Φ(G) elementwise.     

A generalization of the katona theorem for crosst-intersecting families

LetX be ann-element set and letA and? be families of subsets ofX. We say thatA and? are crosst-intersecting if |A ∩ B| ≥ t holds for all A ∈A and for allB ∈ ?. Suppose thatA and ? are crosst-intersecting. This paper first proves a crosst-intersecting version of Harper's Theorem:

1. There are two crosst-intersecting Hamming spheresA ₀,? ₀ with centerX such that |A| ≤ |A ₀| and|?| ≤ |? ₀| hold.
2. Suppose thatt ≥ 2 and that the pair of integers (|A) is maximal with respect to direct product ordering among pairs of crosst-intersecting families. Then,A and? are Hamming spheres with centerX.

Using these claims, the following conjecture of Frankl is proven:

1. Ifn + t = 2k ? 1 then |A| |?| ≤ max \(\left\{ {\left( {K_k^n + \left( {_{k - 1}^{n - 1} } \right)} \right)^2 ,K_k^n K_{k - 1}^n } \right\}\) holds, whereK _l ⁿ is defined as \(\left( {_n^n } \right)\left( {_{n - 1}^n } \right) + \cdots + \left( {_l^n } \right).\)
2. Ifn + t = 2k then |A| |? ≤ (K _k ⁿ )² holds.

The extremal configurations are also determined.     

Some results on the nonstationary ideal

The strength of precipitousness, presaturatedness and saturatedness of NS_κ and NS _κ ^λ is studied. In particular, it is shown that:

1. The exact strength of “ $NS_{\mu ^ + }^\lambda $ for a regularμ > max(λ, ?₁)” is a (ω,μ)-repeat point.
2. The exact strength of “NS_κ is presaturated over inaccessible κ” is an up-repeat point.
3. “NS_κ is saturated over inaccessible κ” implies an inner model with ?αo(α) =α ⁺⁺.

     

On the adjunction process over a surface in char.p

Let K_s be the canonical bundle on a non singular projective surface S (over an algebraically closed field F, char F=p) and L be a very ample line bundle on S. Suppose (S,L) is not one of the following pairs: (P²,O(e)), e=1,2, a quadric, a scroll, a Del Pezzo surface, a conic bundle. Then

1. (K_s?L)² is spanned at each point by global sections. Let \(\phi :S \to P^N _F \) be the map given by the sections Γ(K_s?L)², and let φ=s o r its Stein factorization.
2. r:S→S′=r(S) is the contraction of a finite number of lines, E_i for i=1,...r, such that E_i·E_i=K_S·E_i=?L·E_i=?1.
3. If h°(L)≥6 and L·L≥9, then s is an embedding.

     

Enumerating rooted simple planar maps

The main purpose of this paper is to find the number of combinatorially distinct rooted simpleplanar maps,i.e.,maps having no loops and no multi-edges,with the edge number given.We haveobtained the following results.1.The number of rooted boundary loopless planar [m,2]-maps.i.e.,maps in which there areno loops on the boundaries of the outer faces,and the edge number is m,the number of edges on theouter face boundaries is 2,is(?)for m≥1.G_0~N=0.2.The number of rooted loopless planar [m,2]-maps is(?)3.The number of rooted simple planar maps with m edges H_m~s satisfies the following recursiveformula:(?)where H_m~(NL) is the number of rooted loopless planar maps with m edges given in [2].4.In addition,γ(i,m),i≥1,are determined by(?)for m≥i.γ(i,j)=0,when i>j.     

Investigating the exact integrability of the multiwave nonlinear Schrödinger equation

It is shown that the multiwave nonlinear Schrödinger equation describing the evolution of several quasimonochromatic waves having the same group velocities is not exactly integrable (in the sense that no infinite sequence of local conservation laws and symmetries exists). The exact integrability for systems of the form w _t ⁱ =α_iw _xx ⁱ +a _klm ⁱ w^kw^lw^m is investigated, where α_i are different from zero.     

An embedding theorem for a weighted space of Sobolev type and correct solvability of the Sturm-Liouville equation

We consider the weighted space W ₁ ⁽²⁾ (?,q) of Sobolev type $$W_1^{(2)} (\mathbb{R},q) = \left\{ {y \in A_{loc}^{(1)} (\mathbb{R}):\left\| {y''} \right\|_{L_1 (\mathbb{R})} + \left\| {qy} \right\|_{L_1 (\mathbb{R})} < \infty } \right\} $$ and the equation $$ - y''(x) + q(x)y(x) = f(x),x \in \mathbb{R} $$ Here f ε L ₁(?) and 0 ? q ∈ L ₁ ^loc (?). We prove the following:

1. The problems of embedding W ₁ ⁽²⁾ (?q) ? L ₁(?) and of correct solvability of (1) in L ₁(?) are equivalent
2. an embedding W ₁ ⁽²⁾ (?,q) ? L ₁(?) exists if and only if $$\exists a > 0:\mathop {\inf }\limits_{x \in R} \int_{x - a}^{x + a} {q(t)dt > 0} $$

     

Mehrfache gitterförmige Kreis- und Kugelanordnungen

LetG be a lattice inR ⁿ and letS ₁ ,S ₂ , ... be the family of unit spheres whose centres are the lattice-points ofG. This set is called ak-fold lattice packing (k-fold lattice covering) if each point ofR ⁿ lies in at most (at least)k of the open (closed) spheresS _i . Letd _k ⁿ be the density of the closestk-fold lattice packing and letD _k ⁿ be the density of the thinnestk-fold lattice covering ofR ⁿ . In the present paper we are considering the following problem: For which valuesn≧2 andk≧2 are the inequalitiesd _k ⁿ >kd ₁ ⁿ ,D _k ⁿ ₁ ⁿ valid?Theorem 1:For all pairs (n, k), n≧3, k≧2, with the exception of (3, k), (4, k), k=3, 5, 7, 9, 11 and (5, 3) we prove d _k ⁿ >kd ₁ ⁿ .Theorem 2:For each k≧3 is D _k ² ₁ ² . The proofs make use of the works ofBlundon, Danzer, Few andHeppes.     

Analytische Fortsetzbarkeit von zufälligen Potenzreihen bezüglich abhängiger Zufallsvariabler

Рассматриваются слу чайная величина \(\mathfrak{X} = (X_n (\omega ))\) , удовлетворяющая усл овиюE(X _n ⁴ )≦M, и соответствующ ий случайный степенн ой ряд \(f_x (z;\omega ) = \mathop \sum \limits_{n = 0}^\infty a_n X_n (\omega )z^n\) . Устанавливаются тео ремы непродолжимост и почти наверное:

1. дляf _x при условиях с лабой мультипликати вности на \(\mathfrak{X}\) ,
2. для \(f_{\tilde x}\) , где \(\mathop \mathfrak{X}\limits^ \sim = (\mathop X\limits^ \sim _n )\) есть подп оследовательность в \(\mathfrak{X}\) ,
3. для по крайней мере од ного из рядовf _x′ илиf _x″ , где \(\mathfrak{X}'\) и \(\mathfrak{X}''\) — некоторые п ерестановки \(\mathfrak{X}\) , выбираемые универс ально, т. е. независимо от коэффициентовa _n .

     

Algorithms for the vector maximization problem

We consider a convex setB inR ⁿ described as the intersection of halfspacesa _i ^T x ≦b _i (i ∈ I) and a set of linear objective functionsf _j =c _j ^T x (j ∈ J). The index setsI andJ are allowed to be infinite in one of the algorithms. We give the definition of theefficient points ofB (also called functionally efficient or Pareto optimal points) and present the mathematical theory which is needed in the algorithms. In the last section of the paper, we present algorithms that solve the following problems:

1. To decide if a given point inB is efficient.
2. To find an efficient point inB.
3. To decide if a given efficient point is the only one that exists, and if not, find other ones.
4. The solutions of the above problems do not depend on the absolute magnitudes of thec _j. They only describe the relative importance of the different activitiesx _i. Therefore we also consider $$\begin{gathered} \max G^T x \hfill \\ x efficient \hfill \\ \end{gathered} $$ for some vectorG.