Linearly ordered compacta and Banach spaces with a projectional resolution of the identity

We construct a compact linearly ordered space Kω₁ of weight ℵ₁, such that the space C(Kω₁) is not isomorphic to a Banach space with a projectional resolution of the identity, while on the other hand, Kω₁ is a continuous image of a Valdivia compact and every separable subspace of C(Kω₁) is contained in a 1-complemented separable subspace. This answers two questions due to O. Kalenda and V. Montesinos.     

Flexible modeling based on copulas in nonparametric median regression

Consider the model Y=m(X)+ε, where m(⋅)=med(Y|⋅) is unknown but smooth. It is often assumed that ε and X are independent. However, in practice this assumption is violated in many cases. In this paper we propose modeling the dependence between ε and X by means of a copula model, i.e. (ε,X)∼C_θ(F_ε(⋅),F_X(⋅)), where C_θ is a copula function depending on an unknown parameter θ, and F_ε and F_X are the marginals of ε and X. Since many parametric copula families contain the independent copula as a special case, the so-obtained regression model is more flexible than the ‘classical’ regression model.We estimate the parameter θ via a pseudo-likelihood method and prove the asymptotic normality of the estimator, based on delicate empirical process theory. We also study the estimation of the conditional distribution of Y given X. The procedure is illustrated by means of a simulation study, and the method is applied to data on food expenditures in households.     

Linear orderings and powers of characterizable cardinals

We say that a countable model M completely characterizes an infinite cardinal κ, if the Scott sentence of M has a model in cardinality κ, but no models in cardinality κ⁺. If a structure M completely characterizes κ, κ is called characterizable. In this paper, we concern ourselves with cardinals that are characterizable by linearly ordered structures (cf. Definition 2.1).Under the assumption of GCH, Malitz completely resolved the problem by showing that κ is characterizable if and only if κ=ℵ_α, for some α<ω₁ (cf. Malitz (1968) [7] and Baumgartner (1974) [1]). Our results concern the case where GCH fails.From Hjorth (2002) [3], we can deduce that if κ is characterizable, then κ⁺ is characterizable by a densely ordered structure (see Theorem 2.4 and Corollary 2.5).We show that if κ is homogeneously characterizable (cf. Definition 2.2), then κ is characterizable by a densely ordered structure, while the converse fails (Theorem 2.3).The main theorems are (1) If κ>2^λ is a characterizable cardinal, λ is characterizable by a densely ordered structure and λ is the least cardinal such that κ^λ>κ, then κ^λ is also characterizable (Theorem 5.4) and (2) if ℵ_α and κ^ℵ_α are characterizable cardinals, then the same is true for κ^ℵ_α+β, for all countable β (Theorem 5.5).Combining these two theorems we get that if κ>2^ℵ_α is a characterizable cardinal, ℵ_α is characterizable by a densely ordered structure and ℵ_α is the least cardinal such that κ^ℵ_α>κ, then for all β<α+ω₁, κ^ℵ_β is characterizable (Theorem 5.7). Also if κ is a characterizable cardinal, then κ^ℵ_α is characterizable, for all countable α (Corollary 5.6). This answers a question of the author in Souldatos (submitted for publication) [8].     

The Erd?s-Ginzburg-Ziv theorem for dihedral groups

Let n≥23 be an integer and let D_2n be the dihedral group of order 2n. It is proved that, if g₁,g₂,…,g_3n is a sequence of 3n elements in D_2n, then there exist 2n distinct indices i₁,i₂,…,i_2n such that g_i1g_i2?g_i2n=1. This result is a sharpening of the famous Erd?s-Ginzburg-Ziv theorem for G=D_2n.     

On the stability of the first-order linear recurrence in topological vector spaces

Suppose that X is a sequentially complete Hausdorff locally convex space over a scalar field K, V is a bounded subset of X, (a_n)_n≥0 is a sequence in K?{0} with the property lim inf_n→∞|a_n|>1, and (b_n)_n≥0 is a sequence in X. We show that for every sequence (x_n)_n≥0 in X satisfying

     

Concerning some variants of C-embedding in pointfree topology

We study three types of quotient maps of frames which are closely related to C- and C^?-quotient maps. We call them C₁-, strong C₁-, and uplifting quotient maps. C₁-quotient maps are precisely those whose induced ring homomorphisms contract maximal ideals to maximal ideals. We show that every homomorphism onto a frame is a C₁-, a strong C₁-, or an uplifting quotient map iff the frame is pseudocompact, compact, or almost compact and normal, respectively. These quotient maps are used to characterize normality and also certain weaker forms of normality in a manner akin to the characterization of normal frames as those for which every closed quotient map is a C-quotient map. Under certain conditions, we show that the Stone extension of a quotient map is C₁-, strongly C₁- or uplifting if the map has the corresponding property.     

H-spectral spaces

Let X be a T₀-space, we say that X is H-spectral if its T₀-compactification is spectral. This paper deal with topological properties of H-spectral spaces. In the case of T₁-spaces the T₀-compactification coincides with the Wallman compactification. We give necessary and sufficient condition on the T₁-space X in order to get its Wallman compactification spectral.     

Hilbert series of subspace arrangements

The vanishing ideal I of a subspace arrangement V₁∪V₂∪?∪V_m⊆V is an intersection I₁∩I₂∩?∩I_m of linear ideals. We give a formula for the Hilbert polynomial of I if the subspaces meet transversally. We also give a formula for the Hilbert series of the product ideal J=I₁I₂?I_m without any assumptions about the subspace arrangement. It turns out that the Hilbert series of J is a combinatorial invariant of the subspace arrangement: it only depends on the intersection lattice and the dimension function. The graded Betti numbers of J are determined by the Hilbert series, so they are combinatorial invariants as well. We will also apply our results to generalized principal component analysis (GPCA), a tool that is useful for computer vision and image processing.     

Hopf bifurcation in symmetric configuration of predator-prey-mutualist systems

In this paper we apply the equivariant degree method to study Hopf bifurcations in a system of differential equations describing a symmetric predator-prey-mutualist model with diffusive migration between interacting communities. A topological classification (according to symmetry types), of symmetric Hopf bifurcation in configurations of populations with D₈, D₁₂, A₄ and S₄ symmetries, is presented with estimation on minimal number of bifurcating branches of periodic solutions.     

Asymptotic stability for a free boundary problem arising in a tumor model

We consider a tumor model in which all cells are proliferating at a rate μ and their density is proportional to the nutrient concentration. The model consists of a coupled system of an elliptic equation and a parabolic equation, with the tumor boundary as a free boundary. It is known that for an appropriate choice of parameters, there exists a unique spherically symmetric stationary solution with radius RS which is independent of μ. It was recently proved that there is a function μ_∗(RS) such that the spherical stationary solution is linearly stable if μ<μ_∗(RS) and linearly unstable if μ>μ_∗(RS). In this paper we prove that the spherical stationary solution is nonlinearly stable (or, asymptotically stable) if μ<μ_∗(RS).     

Distance distributions for graphs modeling computer networks

The Wiener polynomial of a graph G is a generating function for the distance distribution dd(G)=(D₁,D₂,…,D_t), where D_i is the number of unordered pairs of distinct vertices at distance i from one another and t is the diameter of G. We use the Wiener polynomial and several related generating functions to obtain generating functions for distance distributions of unweighted and weighted graphs that model certain large classes of computer networks. These provide a straightforward means of computing distance and timing statistics when designing new networks or enlarging existing networks.     

Indecomposable large sets of Steiner triple systems with indices 5, 6

A family ( X, B1 ), (X, B2 ), . . . , (X, Bq ) of q STS(v)s is a λ-fold large set of STS(v) and denoted by LSTS λ (v) if every 3-subset of X is contained in exactly λ STS(v)s of the collection. It is indecomposable and denoted by IDLSTS λ (v) if there does not exist an LSTS λ'(v) contained in the collection for any λ' λ. In this paper, we show that for λ = 5, 6, there is an IDLSTS λ (v) for v ≡ 1 or 3 (mod 6) with the exception IDLSTS6 (7).     

On some cubic or quartic algebraic units

Let ? be an algebraic unit such that rank of the unit group of the order Z[?] is equal to one. It is natural to ask whether ? is a fundamental unit of this order. To prove this result, we showed that it suffices to find explicit positive constants c₁, c₂ and c₃ such that for any such ? it holds that c₁c₂|?|?d??c₃|?|^2c₂, where d? denotes the absolute value of the discriminant of ?, i.e. of the discriminant of its minimal polynomial. We give a proof of this result, simpler than the original ones.     

On subgroups of minimal topological groups

A topological group is minimal if it does not admit a strictly coarser Hausdorff group topology. The Roelcke uniformity (or lower uniformity) on a topological group is the greatest lower bound of the left and right uniformities. A group is Roelcke-precompact if it is precompact with respect to the Roelcke uniformity. Many naturally arising non-Abelian topological groups are Roelcke-precompact and hence have a natural compactification. We use such compactifications to prove that some groups of isometries are minimal. In particular, if U₁ is the Urysohn universal metric space of diameter 1, the group Iso(U₁) of all self-isometries of U₁ is Roelcke-precompact, topologically simple and minimal. We also show that every topological group is a subgroup of a minimal topologically simple Roelcke-precompact group of the form Iso(M), where M is an appropriate non-separable version of the Urysohn space.     

A note on the Jacobian Conjecture

In this note, we show that, if the Druzkowski mappings F(X)=X+(AX)^∗3, i.e. F(X)=(x₁+(a₁₁x₁+?+a_1nx_n)³,…,x_n+(a_n1x₁+?+a_nnx_n)³), satisfies TrJ((AX)^∗3)=0, then where δ is the number of diagonal elements of A which are equal to zero. Furthermore, we show the Jacobian Conjecture is true for the Druzkowski mappings in dimension ?9 in the case .     

Some model-theoretic correspondences between dimension groups and AF algebras

If A⊆B are structures for a first-order language S, A is said to be algebraically (existentially) closed in B just in case every positive existential (existential) S_A-sentence true in B_A is true in A_A. In 1976 Elliott showed that unital AF (‘approximately finite-dimensional’) algebras are classified up to isomorphism by corresponding dimension groups with order unit. This paper shows that one dimension group with order unit is algebraically (existentially) closed in another just in case the corresponding AF algebras, viewed as metric structures, fall in the same relation.     

On the multiplicity and the Cohen-Macaulayness of fiber cones of graded algebras

Let A be a Noetherian local ring with the maximal ideal m and an m-primary ideal J. Let S=?_n≥0S_n be a finitely generated standard graded algebra over A. Set S⁺=?_n>0S_n. Denote by F_J(S)=?_n≥0→(S_n/JS_n) the fiber cone of S with respect to J. The paper characterizes the multiplicity and the Cohen-Macaulayness of F_J(S) in terms of minimal reductions of S⁺.     

Mesh geometries of root orbits of integral quadratic forms

Integral quadratic forms q:Zⁿ→Z, with n≥1, and the sets R_q(d)={v∈Zⁿ;q(v)=d}, with d∈Z, of their integral roots are studied by means of mesh translation quivers defined by Z-bilinear morsifications b_A:Zⁿ×Zⁿ→Z of q, with Z-regular matrices A∈M_n(Z). Mesh geometries of roots of positive definite quadratic forms q:Zⁿ→Z are studied in connection with root mesh quivers of forms associated to Dynkin diagrams A_n,D_n,E₆,E₇,E₈ and the Auslander-Reiten quivers of the derived category D^b(R) of path algebras R=KQ of Dynkin quivers Q. We introduce the concepts of a Z-morsification b_A of a quadratic form q, a weighted Φ_A-mesh of vectors in Zⁿ, and a weighted Φ_A-mesh orbit translation quiver Γ(R_q,Φ_A) of vectors in Zⁿ, where R_q?R_q(1) and Φ_A:Zⁿ→Zⁿ is the Coxeter isomorphism defined by A. The existence of mesh geometries on R_q is discussed. It is shown that, under some assumptions on the morsification b_A:Zⁿ×Zⁿ→Z, the set admit a Φ_A-orbit mesh quiver , where Φ_A:Zⁿ→Zⁿ is the Coxeter isomorphism defined by A. Moreover, splits into three infinite connected components , , and , where are isomorphic to a translation quiver Z⋅Δ, with Δ an extended Dynkin quiver, and has the shape of a sand-glass tube.