On the Constant Type of Almost Hermitian Manifolds

We suggest a most natural generalization of the notion of constant type for nearly Kählerian manifolds introduced by A. Gray to arbitrary almost Hermitian manifolds. We prove that the class of almost Hermitian manifolds of zero constant type coincides with the class of Hermitian manifolds. We show that the class of G ₁-manifolds of zero constant type coincides with the class of 6-dimensional G ₁-manifolds with a non-integrable structure. Finally, we prove that the class of normal G ₂-manifolds of nonzero constant type coincides with the class of 4-dimensional G ₂-manifolds with a nonintegrable structure.     

2‐connected 7‐coverings of 3‐connected graphs on surfaces

An m‐covering of a graph G is a spanning subgraph of G with maximum degree at most m. In this paper, we shall show that every 3‐connected graph on a surface with Euler genus k ≥ 2 with sufficiently large representativity has a 2‐connected 7‐covering with at most 6k ? 12 vertices of degree 7. We also construct, for every surface F² with Euler genus k ≥ 2, a 3‐connected graph G on F² with arbitrarily large representativity each of whose 2‐connected 7‐coverings contains at least 6k ? 12 vertices of degree 7. © 2003 Wiley Periodicals, Inc. J Graph Theory 43: 26–36, 2003     

On the Maximum Number of Cliques in a Graph

A clique is a set of pairwise adjacent vertices in a graph. We determine the maximum number of cliques in a graph for the following graph classes: (1) graphs with n vertices and m edges; (2) graphs with n vertices, m edges, and maximum degree Δ; (3) d-degenerate graphs with n vertices and m edges; (4) planar graphs with n vertices and m edges; and (5) graphs with n vertices and no K₅-minor or no K_3,3-minor. For example, the maximum number of cliques in a planar graph with n vertices is 8(n − 2). Research supported by a Marie Curie Fellowship of the European Community under contract 023865, and by the projects MCYT-FEDER BFM2003-00368 and Gen. Cat 2001SGR00224.     

Some Boolean Algebras with Finitely Many Distinguished Ideals I

We consider the theory Th_prin of Boolean algebras with a principal ideal, the theory Th_max of Boolean algebras with a maximal ideal, the theory Th_ac of atomic Boolean algebras with an ideal where the supremum of the ideal exists, and the theory Th_sa of atomless Boolean algebras with an ideal where the supremum of the ideal exists. First, we find elementary invariants for Th_prin and Th_sa. If T is a theory in a first order language and α is a linear order with least element, then we let Sentalg(T) be the Lindenbaum-Tarski algebra with respect to T, and we let intalg(α) be the interval algebra of α. Using rank diagrams, we show that Sentalg(Th_prin) ? intalg(ω⁴), Sentalg(Th_max) ? intalg(ω³) ? Sentalg(Th_ac), and Sentalg(Th_sa) ? intalg(ω² + ω²). For Th_max and Th_ac we use Ershov's elementary invariants of these theories. We also show that the algebra of formulas of the theory Tx of Boolean algebras with finitely many ideals is atomic.     

Cohomology of Subregular Tilting Modules for Small Quantum Groups

Let U be a quantumgroup with divid d powers at root ofunity constructed froma rootsystem R .Let u U b th small quantumgroup.Th cohomologyof u with trivial coefficients was computed by Ginzburg and Kumar.It turns out to be isomorphic to the functions algebra of the nilpotent cone of a semisimpl algebraic group with root system R .In this not we calculate cohomology of u with coefficients in simplest reducible tilting modul with nontrivial cohomology.It appears to b isomorphic to th functions algebra of th closure of the subregular nilpotent orbit.     

Pointwise bornological spaces

With each metric space (X,d) we can associate a bornological space (X,Bd) where Bd is the set of all subsets of X with finite diameter. Equivalently, Bd is the set of all subsets of X that are contained in a ball with finite radius. If the metric d can attain the value infinite, then the set of all subsets with finite diameter is no longer a bornology. Moreover, if d is no longer symmetric, then the set of subsets with finite diameter does not coincide with the set of subsets that are contained in a ball with finite radius. In this text we will introduce two structures that capture the concept of boundedness in both symmetric and non-symmetric extended metric spaces.     

On Finite Saturated Chains of Overrings

If a domain R, with quotient field K, has a finite saturated chain of overrings from R to K, then the integral closure of R is a Prüfer domain. An integrally closed domain R with quotient field K has a finite saturated chain of overrings from R to K with length m ≥ 1 iff R is a Prüfer domain and |Spec(R)| =m + 1. In particular, we prove that a domain R has a finite saturated chain of overrings from R to K with length dim(R) iff R is a valuation domain and that an integrally closed domain R has a finite saturated chain of overrings from R to K with length dim (R) +1 iff R is a Prüfer domain with exactly two maximal ideals such that at most one of them fails to contain every non-maximal prime. The relationship with maximal non-valuation subrings is also established.     

Global smoothness and uniform convergence of smooth Gauss–Weierstrass singular operators

In this article we continue with the study of smooth Gauss–Weierstrass singular integral operators over the real line regarding their simultaneous global smoothness preservation property with respect to the L_p norm, 1≤p≤∞, by involving higher order moduli of smoothness. Also we study their simultaneous approximation to the unit operator with rates involving the modulus of continuity with respect to the uniform norm. The produced Jackson type inequalities are almost sharp containing elegant constants, and they reflect the high order of differentiability of the engaged function.     

Improved blowup results for the Euler and Euler–Poisson equations with repulsive forces

Some results are presented on the formation of singularities in the solutions of the radially-symmetric N-dimensional Euler or Euler–Poisson equations with repulsive forces. Based on the integration method of M.W. Yuen, we generalize the blowup results with constant compact radius R   of solutions to the case with general compact radius R(t)$R(t)$ and to the case with no compact support restriction.     

Mesons and diquarks in a dense quark medium with color superconductivity

In the framework of the Nambu-Jona-Lasinio model with two quark flavors, we investigate the spectrum of meson and diquark excitations of dense quark matter in the phase with color superconductivity. The color SU_c(3) symmetry is spontaneously broken to SU_c(2) in this phase. But instead of the expected five Goldstone bosons in the mass spectrum, we observe only three, among which two bosons obey the quadratic dispersion law. We find the doublet of light diquark states with the mass ∼ 15 MeV and also the heavy diquark resonance (SU_c(2) singlet) with the mass ∼ 1100 MeV. The π-and σ-mesons have the mass ∼ 330 Mev in the phase with color superconductivity. The π-mesons are then stable particles, while the σ-meson is stable only in the chiral limit in which the current quark mass m₀ becomes zero. If m₀ ≠ 0, then the σ-meson mixes with diquarks in the phase with color superconductivity and becomes a resonance with the width ∼ 30 MeV. __________ Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 150, No. 1, pp. 95–111, January, 2007.     

Consensus formation of two-level opinion dynamics

Opinion dynamics have received significant attention in recent years. This paper proposes a bounded confidence opinion model for a group of agents with two different confidence levels. Each agent in the population is endowed with a confidence interval around her opinion with radius αd or (1-α)d, where α ∈ (0,1/2] represents the differentiation of confidence levels. We analytically derived the critical confidence bound d_c = 1/(4α) for the two-level opinion dynamics on ?. A single opinion cluster is formed with probability 1 above this critical value regardless of the ratio p of agents with high/low confidence. Extensive numerical simulations are performed to illustrate our theoretical results. Noticed is a clear impact of p on the collective behavior: more agents with high confidence lead to harder agreement. It is also experimentally revealed that the sharpness of the threshold d_c increases with α but does not depend on p.     

M-Band Burt–Adelson Biorthogonal Wavelets

For every integer M>2 we introduce a new family of biorthogonal MRAs with dilation factor M, generated by symmetric scaling functions with small support. This construction generalizes Burt–Adelson biorthogonal 2-band wavelets. For M{3,4} we are able to find simple explicit expressions for two different families of wavelets associated with these MRAs: one with better localization and the other with interesting symmetry–antisymmetry properties. We study the regularity of our scaling functions by determining their Sobolev exponent, for every value of the parameter and every M. We also study the critical exponent when M=3.     

Moments of an exponential functional of random walks and permutations with given descent sets

The exponential functional of simple, symmetric random walks with negative drift is an infinite polynomial Y = 1 + ξ₁ + ξ₁ξ₂ + ξ₁ξ₂ξ₃ + ⋯ of independent and identically distributed non-negative random variables. It has moments that are rational functions of the variables μ _k = E(ξ ^k ) < 1 with universal coefficients. It turns out that such a coefficient is equal to the number of permutations with descent set defined by the multiindex of the coefficient. A recursion enumerates all numbers of permutations with given descent sets in the form of a Pascal-type triangle. This revised version was published online in August 2006 with corrections to the Cover Date.     

Stability of the standing waves for a class of coupled nonlinear Klein-Gordon equations

This paper deals with the standing waves for a class of coupled nonlinear Klein-Gordon equations with space dimension N ≥ 3, 0 〈 p, q 〈 2/N-2 and p ＋ q 〈 4/N. By using the variational calculus and scaling argument, we establish the existence of standing waves with ground state, discuss the behavior of standing waves as a function of the frequency ω and give the sufficient conditions of the stability of the standing waves with the least energy for the equations under study.     

Whaley's Theorem for Finite Lattices

Whaley's Theorem on the existence of large proper sublattices of infinite lattices is extended to ordered sets and finite lattices. As a corollary it is shown that every finite lattice L with |L|≥3 contains a proper sublattice S with |S|≥|L|^1/3. It is also shown that that every finite modular lattice L with |L|≥3 contains a proper sublattice S with |S|≥|L|^1/2, and every finite distributive lattice L with |L|≥4 contains a proper sublattice S with |S|≥3/4|L|. This revised version was published online in June 2006 with corrections to the Cover Date.     

Group divisible designs with three unequal groups and larger first index

We show the necessary conditions are sufficient for the existence of group divisible designs (or PBIBDs) with block size k=3 with three groups of size (n,2,1) for any n≥2 and any two indices with λ₁>λ₂.     

Geodesic flow on three-dimensional ellipsoids with equal semi-axes

Following on from our previous study of the geodesic flow on three dimensional ellipsoid with equal middle semi-axes, here we study the remaining cases: Ellipsoids with two sets of equal semi-axes with SO(2) × SO(2) symmetry, ellipsoids with equal larger or smaller semiaxes with SO(2) symmetry, and ellipsoids with three semi-axes coinciding with SO(3) symmetry. All of these cases are Liouville-integrable, and reduction of the symmetry leads to singular reduced systems on lower-dimensional ellipsoids. The critical values of the energy-momentum maps and their singular fibers are completely classified. In the cases with SO(2) symmetry there are corank 1 degenerate critical points; all other critical points are non-degenreate. We show that in the case with SO(2) × SO(2) symmetry three global action variables exist and the image of the energy surface under the energy-momentum map is a convex polyhedron. The case with SO(3) symmetry is non-commutatively integrable, and we show that the fibers over regular points of the energy-casimir map are T ² bundles over S ².      

Perfect difference families,perfect difference matrices,and related combinatorial structures

The existence problems of perfect difference families with block size k, k=4,5, and additive sequences of permutations of length n, n=3,4, are two outstanding open problems in combinatorial design theory for more than 30 years. In this article, we mainly investigate perfect difference families with block size k=4 and additive sequences of permutations of length n=3. The necessary condition for the existence of a perfect difference family with block size 4 and order v, or briefly (v, 4,1)‐PDF, is v≡1(mod12), and that of an additive sequence of permutations of length 3 and order m, or briefly ASP (3, m), is m≡1(mod2). So far, (12t+1,4,1)‐PDFs with t<50 are known only for t=1,4−36,41,46 with two definiteexceptions of t=2,3, and ASP (3, m)'s with odd 3<m<200 are known only for m=5,7,13−29,35,45,49,65,75,85,91,95,105,115,119,121,125,133,135,145,147,161,169,175,189,195 with two definite exceptions of m=9,11. In this article, we show that a (12t+1,4,1)‐PDF exists for any t⩽1,000 except for t=2,3, and an ASP (3, m) exists for any odd 3<m<200 except for m=9,11 and possibly for m=59. The main idea of this article is to use perfect difference families and additive sequences of permutations with “holes”. We first introduce the concepts of an incomplete perfect difference matrix with a regular hole and a perfect difference packing with a regular difference leave, respectively. We show that an additive sequence of permutations is in fact equivalent to a perfect difference matrix, then describe an important recursive construction for perfect difference matrices via perfect difference packings with a regular difference leave. Plenty of perfect difference packings with a desirable difference leave are constructed directly. We also provide a general recursive construction for perfect difference packings, and as its applications, we obtain extensive recursive constructions for perfect difference families, some via incomplete perfect difference matrices with a regular hole. Examples of perfect difference packings directly constructed are used as ingredients in these recursive constructions to produce vast numbers of perfect difference families with block size 4. © 2010 Wiley Periodicals, Inc. J Combin Designs 18: 415–449, 2010     

Frame Wavelets with Compact Supports for L^2（R^n）

The construction of frame wavelets with compact supports is a meaningful problem in wavelet analysis. In particular, it is a hard work to construct the frame wavelets with explicit analytic forms. For a given n × n real expansive matrix A, the frame-sets with respect to A are a family of sets in R^n. Based on the frame-sets, a class of high-dimensional frame wavelets with analytic forms are constructed, which can be non-bandlimited, or even compactly supported. As an application, the construction is illustrated by several examples, in which some new frame wavelets with compact supports are constructed. Moreover, since the main result of this paper is about general dilation matrices, in the examples we present a family of frame wavelets associated with some non-integer dilation matrices that is meaningful in computational geometry.     

Semi-Topological K-Homology and Thomason''s Theorem

In this paper, we introduce the 'semi-topological K-homology' of complex varieties, a theory related to semi-topological K-theory much as connective topological K-homology is related to connective topological K-theory. Our main theorem is that the semi-topological K-homology of a smooth, quasi-projective complex variety Y coincides with the connective topological K-homology of the associated analytic space Y ^an. From this result, we deduce a pair of results relating semi-topological K-theory with connective topological K-theory. In particular, we prove that the 'Bott inverted' semi-topological K-theory of a smooth, projective complex variety X coincides with the topological K-theory of X ^an. In combination with a result of Friedlander and the author, this gives a new proof, in the special case of smooth, projective complex varieties, of Thomason's celebrated theorem that 'Bott inverted' algebraic K-theory with /n coefficients coincides with topological K-theory with /n coefficients.