On lattices of congruences of relational systems and universal algebras

Let \(\mathfrak{X}\) =〈X;R〉 be a relational system.X is a non-empty set andR is a collection of subsets ofX ^α, α an ordinal. The system of equivalence relations onX having the substitution property with respect to members ofR form a complete latticeC( \(\mathfrak{X}\) ) containing the identity but not necessarilyX×X. It is shown that for any relational system (X;R) there is a groupoid definable onX whose congruence lattice isC( \(\mathfrak{X}\) )U{X×X} . Theorem 2 and Corollary 2 contain some interesting combinatorial pecularities associated with oriented complete graphs and simple groupoids.     

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.

     

On an Ulam's problem

The existence and the uniqueness (with respect to a filtration-equivalence) of a vector flowX on ? ⁿ ,n≥3, such that:

1. X has not any stationary points on ? ⁿ ;
2. all orbits ofX are bounded;
3. there exists a filtration forX are proved in the present note.

     

Embeddings into power series rings

Let T be an ordered ring without divisors of zero, and letA be the set of archimedean subgroups of T generated by a Banaschewski functionτ. Let_XΠ_Δ R be the power series ring of the real numbers ? over the totally ordered semigroup Δ of archimedean classes of T, and letχ be the usual Banaschewski function on_XΠ_Δ R. The following are equivalent:

1. τ satisfies the additional condition; for convex subgroups P,Q of T, where
2. There exists a one-to-one homomorphism Γ:T→_XΠ_Δ R of ordered rings such that for every convex subgroup Q of_XΠ_Δ R, there exists a convex subgroup P of T such that \(\Gamma (P) \subseteq Q\) and \(\Gamma (\tau (P)) \subseteq \chi (Q)\) .

     

Threefolds in ℙ5 with a 3-dimensional family of plane curveswith a 3-dimensional family of plane curves

A classification theorem is given of smooth threefolds of ?⁵ covered by a family of dimension at least three of plane integral curves of degreed≧2. It is shown that for such a threefoldX there are two possibilities:

1. X is any threefold contained in a hyperquadric;
2. d≦3 andX is either the Bordiga or the Palatini scroll.

     

Homotopy type of smooth weighted complete intersections

If the total degree d has no prime divisors less than(n+3)/2,then we prove that the homotopy type of complex odd dimensional smooth weighted complete intersection Xn(d;w) is determined by the dimension n,the total degree d,the Euler characteristic and the Kervaire invariant,provided that the weights w =(ω0,...,ωn+r) is pairwise relatively prime.     

Effective analysis of integral points on algebraic curves

LetK be an algebraic number field,S?S _\t8 a finite set of valuations andC a non-singular algebraic curve overK. Letx∈K(C) be non-constant. A pointP∈C(K) isS-integral if it is not a pole ofx and |x(P)| _v >1 impliesv∈S. It is proved that allS-integral points can be effectively determined if the pair (C, x) satisfies certain conditions. In particular, this is the case if

1. x:C→P ¹ is a Galois covering andg(C)≥1;
2. the integral closure of $\bar Q$ [x] in $\bar Q$ (C) has at least two units multiplicatively independent mod $\bar Q$ *.

This generalizes famous results of A. Baker and other authors on the effective solution of Diophantine equations.     

States on bounded commutative residuated lattices

We define states on bounded commutative residuated lattices and consider their property. We show that, for a bounded commutative residuated lattice X,

1. If s is a state, then X/ker(s) is an MV-algebra.
2. If s is a state-morphism, then X/ker(s) is a linearly ordered locally finite MV-algebra.

Moreover we show that for a state s on X, the following statements are equivalent:

1. s is a state-morphism on X.
2. ker(s) is a maximal filter of X.
3. s is extremal on X.

     

Convergence analysis of finite element methods for H(curl; Ω)-elliptic interface problems

In this article we investigate the analysis of a finite element method for solving H(curl; ??)-elliptic interface problems in general three-dimensional polyhedral domains with smooth interfaces. The continuous problems are discretized by means of the first family of lowest order Nédélec H(curl; ??)-conforming finite elements on a family of tetrahedral meshes which resolve the smooth interface in the sense of sufficient approximation in terms of a parameter ?? that quantifies the mismatch between the smooth interface and the triangulation. Optimal error estimates in the H(curl; ??)-norm are obtained for the first time. The analysis is based on a ??-strip argument, a new extension theorem for H ¹(curl; ??)-functions across smooth interfaces, a novel non-standard interface-aware interpolation operator, and a perturbation argument for degrees of freedom for H(curl; ??)-conforming finite elements. Numerical tests are presented to verify the theoretical predictions and confirm the optimal order convergence of the numerical solution.     

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.     

Free quadratic bialgebra

In this paper, we obtain the following main theorem for a free quadratic bialgebraJ:

1. Forp≠0,J is a pointed cosemisimple coalgebra. Forp=0,J is a hyperalgebra.
2. Forp≠0 andq≠0,J has antipodeS iffp·q+2=0 andS(x)=x. Forp=0 orq=0,J has antipode andS(x)=×.
3. All leftJ ^*-modules are rational.

Also, we give some applications in homological theory and algebraicK-theory.     

Time-Varying Fractionally Integrated Processes with Finite or Infinite Variance and Nonstationary Long Memory

Recently, Philippe et al. (C.R. Acad. Sci. Paris. Ser. I 342, 269–274, 2006; Theory Probab. Appl., 2007, to appear) introduced a new class of time-varying fractionally integrated filters A(d)x _t =∑ _j=0 ^∞ a _j (t)x _t?j , B(d)x _t =∑ _j=0 ^∞ b _j (t)x _t?j depending on arbitrary given sequence d=(d _t ,t∈?) of real numbers, such that A(d)^?1=B(?d), B(d)^?1=A(?d) and such that when d _t ≡d is a constant, A(d)=B(d)=(1?L) ^d is the usual fractional differencing operator. Philippe et al. studied partial sums limits of (nonstationary) filtered white noise processes X _t =B(d)ε _t and Y _t =A(d)ε _t in the case when (1) d is almost periodic having a mean value $\bar{d}\in (0,1/2)$ , or (2) d admits limits d _±=lim? _t→±∞ d _t ∈(0,1/2) at t=±∞. The present paper extends the above mentioned results of Philippe et al. into two directions. Firstly, we consider the class of time-varying processes with infinite variance, by assuming that ε _t ,t∈? are iid rv’s in the domain of attraction of α-stable law (1<α≤2). Secondly, we combine the classes (1) and (2) of sequences d=(d _t ,t∈?) into a single class of sequences d=(d _t ,t∈?) admitting possibly different Cesaro limits $\bar{d}_{\pm}\in(0,1-(1/\alpha))$ at ±∞. We show that partial sums of X _t and Y _t converge to some α-stable self-similar processes depending on the asymptotic parameters $\bar{d}_{\pm}$ and having asymptotically stationary or asymptotically vanishing increments.     

Torsion and Abelianization in Equivariant Cohomology

Let X be a topological space upon which a compact connected Lie group G acts. It is well known that the equivariant cohomology H ^* _G (X; Q) is isomorphic to the subalgebra of Weyl group invariants of the equivariant cohomology H ^* _T (X; Q), where T is a maximal torus of G. This relationship breaks down for coefficient rings k other than Q. Instead, we prove that under a mild condition on k the algebra H ^* _G (X; k) is isomorphic to the subalgebra of H ^* _T (X; k) annihilated by the divided difference operators.     

Distance regularity of Kerdock codes

A code is called distance regular, if for every two codewords x, y and integers i, j the number of codewords z such that d(x, z) = i and d(y, z) = j, with d the Hamming distance, does not depend on the choice of x, y and depends only on d(x, y) and i, j. Using some properties of the discrete Fourier transform we give a new combinatorial proof of the distance regularity of an arbitrary Kerdock code. We also calculate the parameters of the distance regularity of a Kerdock code.     

Existence theorems and necessary conditions for a general formulation of the minimum effort problem

The basic problem considered may be described briefly as follows. LetX,Y, andZ be normed linear spaces,T:D(T)→Y,S:D(S)→Z linear operators withD(T) \( \subseteq\) X andD(S) \( \subseteq\) X,Ω \( \subseteq\) X a convex set containing the zero elementθ, andJ a real-valued convex function defined onX×Y such that

1. J(x,y)?-0 for (x,y)teX×Y,
2. J(θ,θ)=0,
3. J(x,y)→+∞, as (∥x∥²+∥y∥²)^1/2→+∞.

Givenζ∈Y andη∈S[core _T Ω∩;D(S)], find an elementx=x ₀ which minimizesJ(x,ζ?Tx) on the set {x∈[Ω∩;D(S)∩;D(T)]:Sx=η}. The abovementioned problem, together with certain special cases, is analyzed using the classical techniques of functional analysis. Existence problems are considered for a certain class of closed linear operators. In particular, existence of an optimal solution is determined by evaluating a generalized Minkowski functional at the point (ζ,η) inY×Z. A necessary condition is presented for special cases, and corresponding characterizations of optimal solutions are made in terms of the adjoint operators. These results are applicable to linear minimum effort problems, constrained variational problems, optimal control of distributive systems, and certain ill-posed variational problems.     

Fixed point theory and product,sub-, super-spaces

In this paper, we definen-segmentwise metric spaces and then we prove the following results:

1. (i)|Let (X, d) be ann-segmentwise metric space. ThenX ⁿ has the fixed point property with respect to uniformly continuous bounded functions if and only if, for any continuous functionF: C ^*(X) → C^*(X) and for anyn-tuple of distinct points x₁, x₂, ?, x_n ∈X, there exists anh ∈C ^*(X) such that $$F(h)(x_1 ) = h(x_1 ),i = 1,2,...,n;$$ whereC ^*(X) has either the uniform topology or the subspace product (Tychonoff) topology \((C^ * (X) \subseteq X^X )\) .
2. LetX _i (i = 1, 2, ?) be countably compact Hausdorff spaces such thatX ₁ × ? × X_n has the fixed point property for alln ∈N Then the product spaceX ₁ × X₂ × ? has the fixed point property. We shall also discuss several problems in the Fixed Point Theory and give examples if necessary. Among these examples, we have:
3. There exists a connected metric spaceX which can be decomposed as a disjoint union of a closed setA and an open setB such thatA andB have the fixed point property andX does not have.
4. There exists a locally compact metrizable spaceX which has the fixed point property but its one-point compactificationX ⁺ does not have the fixed point property.

Other relevant results and examples will be presented in this paper.     

On a class of σ-space with special nets

Strong CP(HCP)-netted spaces are defined and some properties are shown. In particular, the following results are shown.

1. A submetrizable space is strong CP(HCP)-netted provided that the space admits a perfect map onto a strong CP(HCP)-netted space.
2. The image of a strong CP(HCP)-netted space under a perfect map is strong CP(HCP)-netted space.
3. A stratifiable space is strong HCP-netted if the space has a countable closed cover consisting of strong HCP-netted subspaces.

     

Δ2 degrees without Σ1 induction

In this paper, we study the structure of Turing degrees below 0′ in the theory that is a fragment of Peano arithmetic without Σ₁ induction, with special focus on proper d-r.e. degrees and non-r.e. degrees. We prove:

1. P ^? + BΣ₁ + Exp ? There is a proper d-r.e. degree.
2. P ^? +BΣ₁+ Exp ? IΣ₁ ? There is a proper d-r.e. degree below 0′.
3. P ^? + BΣ₁ + Exp ? There is a non-r.e. degree below 0′.

     

Ombres Convexité, régularité et sous-harmonicité

Letf:V→R be a function defined on a subsetV ofR ⁿ ×R ^d let?:x→inf{f(x t);t such that(x t)∈V} denote theshadow off and letΦ={(x t)∈V; f(x t)=?(x)} This paper deals with the characterization of some properties of ? in terms of the infinitesimal behavior off near points ζ∈Φ proving in particular a conjecture of J M Trépreau concerning the cased=1 Characterizations of this type are provided for the convexity the subharmonicity or theC ^{1 1} regularity of ? in the interior ofI={x∈ R ⁿ;εR ^d (x t)∈V} and in theC ^{1 1} case an expression forD ²? is given To some extent an answer is given to the following question: which convex function ?:I→R I interval ?R (resp which function √:I→R of classC ^{1 1}) is the shadow of aC ² functionf:I×R→R?     

On characterization of multivariate stable distributions via random linear statistics

LetX ₁,X ₂, ...,X _n be independent and identically distributed random vectors inR ^d , and letY=(Y ₁,Y ₂, ...,Y _n )′ be a random coefficient vector inR ⁿ , independent ofX _j ^/′ . We characterize the multivariate stable distributions by considering the independence of the random linear statistic $$U = Y_1 X_1 + Y_2 X_2 + \cdot \cdot \cdot + Y_n X_n $$ and the random coefficient vectorY.