Construction of vector lists and isomorph rejection

It is observed that if Δ is a system of orbit representatives for the action of a finite group G on a G-stable subset L of a finite set S and if F is a field of characteristic zero, then F^S is an algebra of dimension |S|. Furthermore, if S = R^D, the set of functions from a finite set D to a finite set R, then F^S has a multilinear structure. A general problem is stated: Given linear operators T₁ and T₂, construct vectors v₁, … v_t?F^S such that T₂I_Δ = T₁(v₁ + … + v_t) where l_Δ is the indicator or characteristic function of Δ. (Note that this construction gives, in some sense, a solution to the problem of isomorph rejection.) For appropriate choices of T₁ and T₂, two approaches to this construction problem are considered. These are the principle of inclusion-exclusion and backtrack computer programming. In particular, these approaches are discussed when S = R^D and the vectors to be constructed are pure or homogeneous tensors.     

On approximation of convex functions by rational ones in integral metrics

Пустьf - действительн означная конечная фу нкция на конечном отрезке Δ=[а, b] вещественной оси, |Δ|=b?a, M(f) = sup {|f(x)|: x∈Δ}, R_n(f,p Δ) = inf∥f?r∥_Lp(Δ) (0 < p < ∞), где нижняя грань бере тся по всем рациональ ным функциямr порядка не вышеп, K(М, Δ) класс всех выпуклых на отре зке Δ функцийf, для кот орыхM(f)≦M. Теорема.При любом вещ ественном р, 0<р<∞ и вс ехп=1, 2, ... sup {R_n(f, p, Δ):f∈K(M, Δ)} ≦ C(p)M|Δ|^1/pn^?2,где С(р) - величина, зави сящая лишь от р.     

On oscillation of solutions of a nonautonomous quasilinear second-order equation

Sufficient conditions are obtained for the initial values of nontrivial oscillating (for t=ω) solutions of the nonautonomous quasilinear equation $$y'' \pm \lambda (t)y = F(t,y,y'),$$ wheret ∈ Δ=[a, ω[,-∞ <a < ω ≤+ ∞, λ(t) > 0, λ(t) ∈ C _Δ ⁽¹⁾ , |F((t,x,y))|≤L(t)(|x|+|y|)^1+α, L(t) ≥-0, α ∈ [0,+∞[, F: Δ × R² →R,F ∈C _Δ×R ²,R is the set of real numbers, and R² is the two-dimensional real Euclidean space.     

Conley's spectral sequence via the sweeping algorithm

In this article we consider a spectral sequence (Er,dr) associated to a filtered Morse-Conley chain complex (C,Δ), where Δ is a connection matrix. The underlying motivation is to understand connection matrices under continuation. We show how the spectral sequence is completely determined by a family of connection matrices. This family is obtained by a sweeping algorithm for Δ over fields F as well as over Z. This algorithm constructs a sequence of similar matrices Δ⁰=Δ,Δ¹,… , where each matrix is related to the others via a change-of-basis matrix. Each matrix Δr over F (resp., over Z) determines the vector space (resp., Z-module) Er and the differential dr. We also prove the integrality of the final matrix ΔR produced by the sweeping algorithm over Z which is quite surprising, mainly because the intermediate matrices in the process may not have this property. Several other properties of the change-of-basis matrices as well as the intermediate matrices Δr are obtained.     

Δ-tame quasi-hereditary algebras

Let (K, M, H) be an upper triangular biomodule problem. Brüstle and Hille showed that the opposite algebra A of the endomorphism algebra of a projective generator P of the matrices category of (K, M, H) is quasi-hereditary, and there is an equivalence between the category of Δ-good modules of A and Mat(K, M). In this note, based on the tame theorem for bimodule problems, we show that if the algebra A associated with an upper triangular bimodule problem is of Δ-tame representation type, then the category F(Δ) has the homogeneous property, i.e. almost all modules in F(Δ) are isomorphic to their Auslander-Reiten translations. Moreover, if (K, M, H) is an upper triangular bipartite bimodule problem, then A is of Δ-tame representation type if and only if F(Δ) is homogeneous.     

Toeplitz matrices and determinants with Fisher-Hartwig symbols

If A and B are self-adjoint operators, this paper shows that A and B have order isomorphic invariant subspace lattices if and only if there are Borel subsets E and F of σ(A) and σ(B), respectively, whose complements have spectral measure zero, and there is a bijective function φ: E → F such that (i) Δ is a Borel subset of E if and only if φ(Δ) is a Borel subset of F; (ii) a Borel subset Δ of E has A-spectral measure zero if and only if φ(Δ) has B-spectral measure zero; (iii) B is unitarily equivalent to φ(A). If A is any self-adjoint operator, there is an associated function κ_A : $\text{N}$ ∪ {∞} → ($\text{N}$ ∪ {0, ∞}) × {0,1} defined in this paper. If $\text{F}$ denotes the collection of all functions from $\text{N}$ ∪ {∞} into ($\text{N}$ ∪ {0,∞}) × {0,1}, then $\text{F}$ is a parameter space for the isomorphism classes of the invariant subspace lattices of self-adjoint operators. That is, two self-adjoint operators A and B have isomorphic invariant subspace lattices if and only if κ_A = κ_B. The paper ends with some comments on the corresponding problem for normal operators.     

Legendrian Links, Causality, and the Low Conjecture

Let (X ^m+1, g) be a globally hyperbolic spacetime with Cauchy surface diffeomorphic to an open subset of ${\mathbb{R}^{m}}Let (X ^m+1, g) be a globally hyperbolic spacetime with Cauchy surface diffeomorphic to an open subset of \mathbbR^m{\mathbb{R}^{m}} . The Legendrian Low conjecture formulated by Natário and Tod says that two events x, y ? X{x, y \in X} are causally related if and only if the Legendrian link of spheres \mathfrakS_x, \mathfrakS_y{{\mathfrak{S}_x,\,\mathfrak{S}_y}} whose points are light geodesics passing through x and y is non-trivial in the contact manifold of all light geodesics in X. The Low conjecture says that for m = 2 the events x, y are causally related if and only if \mathfrakS_x, \mathfrakS_y{{\mathfrak{S}_x,\,\mathfrak{S}_y}} is non-trivial as a topological link. We prove the Low and the Legendrian Low conjectures. We also show that similar statements hold for any globally hyperbolic (X ^m+1, g) such that a cover of its Cauchy surface is diffeomorphic to an open domain in \mathbbR^m{\mathbb{R}^{m}} .     

Transitive points via Furstenberg family

Let (X,T) be a topological dynamical system and F be a Furstenberg family (a collection of subsets of Z₊ with hereditary upward property). A point x∈X is called an F-transitive one if {n∈Z₊:Tnx∈U}∈F for every non-empty open subset U of X; the system (X,T) is called F-point transitive if there exists some F-transitive point. In this paper, we aim to classify transitive systems by F-point transitivity. Among other things, it is shown that (X,T) is a weakly mixing E-system (resp. weakly mixing M-system, HY-system) if and only if it is {D-sets}-point transitive (resp. {central sets}-point transitive, {weakly thick sets}-point transitive).It is shown that every weakly mixing system is Fip-point transitive, while we construct an Fip-point transitive system which is not weakly mixing. As applications, we show that every transitive system with dense small periodic sets is disjoint from every totally minimal system and a system is Δ^?(Fwt)-transitive if and only if it is weakly disjoint from every P-system.     

The cleanness of (symbolic) powers of Stanley-Reisner ideals

Let Δ be a pure simplicial complex on the vertex set [n] = {1,..., n} and I _Δ its Stanley-Reisner ideal in the polynomial ring S = K[x ₁,..., x _n]. We show that Δ is a matroid (complete intersection) if and only if S/I _Δ ^(m) (S/I _Δ ^(m)) is clean for all m ∈ N and this is equivalent to saying that S/I _Δ ^(m) (S/I _Δ ^(m), respectively) is Cohen-Macaulay for all m ∈ N. By this result, we show that there exists a monomial ideal I with (pretty) cleanness property while S/I ^m or S/I ^m is not (pretty) clean for all integer m ≥ 3. If dim(Δ) = 1, we also prove that S/I _Δ ⁽²⁾ Δ (S/I _Δ ²) is clean if and only if S/I _Δ ⁽²⁾ (S/I _Δ ², respectively) is Cohen-Macaulay.     

SUBDIRECTLY IRREDUCIBLE LEFT SELF DISTRIBUTIVELY GENERATED ALGEBRAS

Abstract

Let F be a free profinite group of countably infinite rank and 𝒞(Δ) the class of all finite groups whose composition factors are in Δ for a non-empty class Δ of finite simple groups. Let R _Δ(F) be the intersection of all open normal subgroups N of F such that F/N is in 𝒞(Δ). Then we prove that, if 𝒩 is the class of finite groups which have no non-trivial 𝒞(Δ)-quotient, then R _Δ(F) is a pro-𝒩 group of countable rank and every finite 𝒩-embedding problem for R _Δ(F) is solvable.     

The unique rank property among gabriel localizations

It is not uncommon for rings to have Gabriel localizations which do not possess the unique rank (UR) property although the rings themselves do have UR. We show that if F is a Gabriel filter of right ideals on a ring R and R_F is the corresponding Gabriel localization, then free R_F?modules of ranks m and n are isomorphic if and only if some F-dense submodule of (R/T_f(R))^m is isomorphic to some F-dense submodule of (R/T_F(R))ⁿ, where T_F(R) is the F-torsion ideal of R.     

Distributions for which div v = F has a continuous solution

The equation div v = F has a continuous weak solution in an open set U ? ?^m if and only if the distribution F satisfies the following condition: the F(φ_i) converge to 0 for every sequence {φ_i} of test functions such that the support of each φ_i is contained in a fixed compact subset of U, and in the L¹ norm, {φ_i} converges to 0 and {?φ_i} is bounded. © 2007 Wiley Periodicals, Inc.     

Reduced convex bodies in the plane

A convex bodyR of Euclideand-spaceE ^d is called reduced if there is no convex body properly contained inR of thickness equal to the thickness Δ(R) ofR. The paper presents basic properties of reduced bodies inE ². Particularly, it is shown that the diameter of a reduced bodyR?E ² is not greater than √2Δ(R), and that the perimeter is at most (2+½π)Δ(R). Both the estimates are the best possible.     

Rational power series, sequential codes and periodicity of sequences

Let R be a commutative ring. A power series f∈R[[x]] with (eventually) periodic coefficients is rational. We show that the converse holds if and only if R is an integral extension over Z_m for some positive integer m. Let F be a field. We prove the equivalence between two versions of rationality in F[[x₁,…,x_n]]. We extend Kronecker’s criterion for rationality in F[[x]] to F[[x₁,…,x_n]]. We introduce the notion of sequential code which is a natural generalization of cyclic and even constacyclic codes over a (not necessarily finite) field. A truncation of a cyclic code over F is both left and right sequential (bisequential). We prove that the converse holds if and only if F is algebraic over F_p for some prime p. Finally, we show that all sequential codes are obtained by a simple and explicit construction.     

Balanced metrics on Hartogs domains

An n-dimensional strictly pseudoconvex Hartogs domain D _F can be equipped with a natural Kähler metric g _F . In this paper we prove that if m ₀ g _F is balanced for a given positive integer m ₀ then m ₀>n and (D _F ,g _F ) is holomorphically isometric to an open subset of the n-dimensional complex hyperbolic space.     

Polynomial images of R

Let R be a real closed field and n?2. We prove that: (1) for every finite subset F of Rⁿ, the semialgebraic set Rⁿ?F is a polynomial image of Rⁿ; and (2) for any independent linear forms l₁,…,l_r of Rⁿ, the semialgebraic set {l₁>0,…,l_r>0}⊂Rⁿ is a polynomial image of Rⁿ.     

Linear colorings of simplicial complexes and collapsing

A vertex coloring of a simplicial complex Δ is called a linear coloring if it satisfies the property that for every pair of facets (F₁,F₂) of Δ, there exists no pair of vertices (v₁,v₂) with the same color such that v₁∈F₁?F₂ and v₂∈F₂?F₁. The linear chromatic numberlchr(Δ) of Δ is defined as the minimum integer k such that Δ has a linear coloring with k colors. We show that if Δ is a simplicial complex with lchr(Δ)=k, then it has a subcomplex Δ^′ with k vertices such that Δ is simple homotopy equivalent to Δ^′. As a corollary, we obtain that lchr(Δ)?Homdim(Δ)+2. We also show in the case of linearly colored simplicial complexes, the usual assignment of a simplicial complex to a multicomplex has an inverse. Finally, we show that the chromatic number of a simple graph is bounded from above by the linear chromatic number of its neighborhood complex.     

The dimenstion and bases of divergence-free splines; a homological approach

For a triangulated 2-dimensional region in \(\mathbb{R}^2 \) , let S′_m(Δ) be the vector space of all C′ functions F on Δ such that for any simplex σ∈Δ, F|σ is a polynomial of degree at most m. Let D′_m(Δ) be the vector space consisting of all pairs (F₁, F₂) with F_i∈S′_m(Δ), such that Σ_t(?F_t/?x_t=0, i.e., the pair is divergence-free. Both S′_m(Δ) and D′_m(Δ) can be described in terms of chain complexes using the usual boundary map of homology, and these complexes can be related by an epimorphism. When Δ is 2-disk the epimorphism gives the explicit result that \(\mathbb{R}^2 \) . Bases for D′_m(Δ) are derived from bases of S′ _m+1 ⁺¹ (Δ) via the epimorphism in this case.