Embedding finite posets in cubes

In this paper we define the n-cube Q_n as the poset obtained by taking the cartesian product of n chains each consisting of two points. For a finite poset X, we then define dim₂X as the smallest positive integer n such that X can be embedded as a subposet of Q_n. For any poset X we then have log₂ |X| ? dim₂X ? |X|. For the distributive lattice $\text{L =}\text{2}{}^{\mathrm{X}}$, dim₂L = |X| and for the crown S^k_n, dim₂ (S^k_n) = n + k. For each k ? 2, there exist positive constants c₁ and c₂ so that for the poset X consisting of all one element and k-element subsets of an n-element set, the inequality c₁ log₂n < dim₂(X) < c₂ log₂n holds for all n with k < n. A poset is called Q-critical if dim₂ (X ? x) < dim₂(X) for every x ? X. We define a join operation ⊕ on posets under which the collection Q of all Q-critical posets which are not chains forms a semigroup in which unique factorization holds. We then completely determine the subcollection $\text{M}$ ? Q consisting of all posets X for which dim₂ (X) = |X|.     

A generalization of Hiraguchi's: Inequality for posets

For a poset X, Dim(X) is the smallest positive integer t for which X is isomorphic to a subposet of the cartesian product of t chains. Hiraguchi proved that if | X | ? 4, then Dim(X) ? [| X |/2]. For each k ? 2, we define Dim_k(X) as the smallest positive integer t for which X is isomorphic to a subposet of the cartesian product of t chains, each of length k. We then prove that if | X | ? 5, Dim₃(X) ? {| X |/2} and if | X | ? 6, then Dim₄(X) ? [| X |/2].     

Construction of spherical 4- and 5-designs

A finite subsetX of thed-dimensional unit sphereS ^d-1 is called a sphericalt-design, if and only if $$\frac{1}{{\left| {S^{d - 1} } \right|}}\int_{S^{d - 1} } {f(x)d\omega (x)} = \frac{1}{{\left| x \right|}}\sum\limits_{x \in X} {f(x)} $$ holds for all polynomialsf(x) =f(x ₁,x ₂,...,x _d ) of degree at mostt. In 1984 Seymour and Zaslavsky proved the existence of sphericalt-designs for anyt andd, but for sufficiently large |X|. Since spherical designs can be used for numerical integration, it is of interest to give explicit constructions. Mimura gave a construction fort = 2,d ∈ ? and |X| ≥n ₂ for somen ₂ ∈ ? (n ₂ is sharp). Here we will give an explicit construction fort = 4 and 5,d ∈ ? and |X| ≥n ₄ for somen ₄ ∈ ?.     

VERTEX-FAULT-TOLERANT CYCLES EMBEDDING ON ENHANCED HYPERCUBE NETWORKS

In this paper, we study the enhanced hypercube, an attractive variant of the hypercube and obtained by adding some complementary edges from a hypercube, and focus on cycles embedding on the enhanced hypercube with faulty vertices. Let Fu be the set of faulty vertices in the n-dimensional enhanced hypercube Qn,k （n ≥ 3, 1 ≤ k 〈≤n - 1）. When IFvl = 2, we showed that Qn,k - Fv contains a fault-free cycle of every even length from 4 to 2n - 4 where n （n ≥ 3） and k have the same parity; and contains a fault-free cycle of every even length from 4 to 2n - 4, simultaneously, contains a cycle of every odd length from n-k ＋ 2 to 2^n-3 where n （≥ 3） and k have the different parity. Furthermore, when ｜Fv｜ = fv ≤ n - 2, we prove that there exists the longest fault-free cycle, which is of even length 2^n - 2fv whether n （n ≥ 3） and k have the same parity or not; and there exists the longest fault-free cycle, which is of odd length 2^n - 2fv ＋ 1 in Qn,k - Fv where n （≥ 3） and k have the different parity.     

ℚ-Fano threefolds of index 7

We show that if the inequality dim|?K_X| ≥ 15 holds for a ?-Fano threefold X of Fano index 7, then X is isomorphic to one of the following varieties: ?(1², 2, 3), X₆ ? ?(1, 2², 3, 5), or X₆ ? ?(1, 2, 3², 4).     

On Sectional Genus of Quasi—Polarized Manifolds with Non-Negative Kodaira Dimension

Let X be a smooth projective variety over ? and L be a nef-big divisor on X. Then (X, L) is called a quasi - polarized manifold. Then we conjecture that g(L) ≥ q(X), where g(L) is the sectional genus of L and q(X) = dim H¹(O_x) is the irregularity of X. In general it is unknown that this conjecture is true or not even in the case of dim X = 2. For example, this conjecture is true if dim X = 2 and dim H≥(L) > 0. But it is unknown if dim X ≥ 3 and dim H⁰(L) > 0. In this paper, we consider a lower bound for g(L) if dim X = 2, dim H⁰(L) ≥ 2, and k(X) ≥ 0. We obtain a stronger result than the above conjecture if dim Bs|L| ≤ 0 by a new method which can be applied to higher dimensional cases. Next we apply this method to the case in which dim X = n ≥ 3 and we obtain a lower bound for g(L) if dim X = 3, dim H⁰(L) ≥ 2, and k(X) ≥ 0.     

Thom-Sebastiani properties of Kohn-Rossi cohomology of compact connected strongly pseudoconvex CR manifolds

Let X_1 and X_2 be two compact connected strongly pseudoconvex embeddable Cauchy-Riemann(CR) manifolds of dimensions 2m-1 and 2n-1 in C~(m+1)and C~(n+1), respectively. We introduce the ThomSebastiani sum X = X_1 ⊕X_2which is a new compact connected strongly pseudoconvex embeddable CR manifold of dimension 2m+2n+1 in C~(m+n+2). Thus the set of all codimension 3 strongly pseudoconvex compact connected CR manifolds in Cn+1for all n 2 forms a semigroup. X is said to be an irreducible element in this semigroup if X cannot be written in the form X_1 ⊕ X_2. It is a natural question to determine when X is an irreducible CR manifold. We use Kohn-Rossi cohomology groups to give a necessary condition of the above question. Explicitly,we show that if X = X_1 ⊕ X_2, then the Kohn-Rossi cohomology of the X is the product of those Kohn-Rossi cohomology coming from X_1 and X_2 provided that X_2 admits a transversal holomorphic S~1-action.     

Sur les arborescences dans un graphe oriente

The main result of this paper is the following theorem: Let G = (X,E) be a digraph without loops or multiple edges, |X| ?3, and h be an integer ?1, if G contains a spanning arborescence and if d⁺_G(x)+d^?_G(x)+d^?_G(y)+d^?_G(y)? 2|X |?2h?1 for all x, y?X, x ≠ y, non adjacent in G, then G contains a spanning arborescence with ?h terminal vertices. A strengthening of Gallai-Milgram's theorem is also proved.     

Economical separability in free groups

Consider the rank n free group F _n with basis X. Bogopol’ski? conjectured in [1, Problem 15.35] that each element w ∈ F _n of length |w| ≥ 2 with respect to X can be separated by a subgroup H ≤ F _n of index at most C log |w| with some constant C. We prove this conjecture for all w outside the commutant of F _n , as well as the separability by a subgroup of index at most |w|/2 + 2 in general.     

NA随机场对数律的收敛速度

设d是一个正整数, N ^d是d -维正整数格点.设{X_n , n∈N ^d} 是一同分布的负相伴随机场, 记S_n =∑_{k≤ n} X_k, S_n^(k)=S_n-X_k, 如果r >2, EX₁ = 0 和σ²= Var(X₁}, 则存在一个正数M:=100√(r-2)(1+σ²)使得下列条件等价 (I)E |X₁|^r (log|X₁|)^d-1-r/2 <∞; (II)∑_{n∈ N^d} |n|^r/2-2P(max_{1≤ k≤ n} |S_n^(k)|≥ (2^d+1 )ε√|n| log |n |) <∞,∨ε > M; (III)∑_{n∈N ^d} |n|^r/2-2P(max_{1≤ k≤n} |S_k |≥ε√| n} log| n |) <∞,∨ε > M. (III)\ \ $\sum\limits_{{{\bf n}}\in {{\cal N}}^{d}} |n|^{r/2-2} P(\max\limits_{{\bf 1}\leq{\bf k}\leq{\bf n}}|S_{{\bf k}}|\geq \varepsilon \sqrt{|{\bf n}|\log |{\bf n}|})<\infty$, $\forall\varepsilon>M$.     

Varieties with low dimensional dual variety

In this note we classify the complex projectiven-foldsX ? ? ^N with dimension equal to the dimension of its dualX* minus one,n ≤ 2/3N and positive defect. We show that suchn-folds are hyperplane sections of then + 1-folds withdim X=dim X* (classified by Ein) and some scrolls over curves. The natural generalization is to consider the setS _p of positive defectn-folds withdim(X)=dim(X*) ? (p ? 1) (p a fixed positive integer). We show that the set of possible values of the pair (N,n) withn ≤ 2/3N corresponding to nondegeneraten-folds inS _p which are not scrolls is finite.     

Convergence in the pth-mean and some Weak Laws of Large Numbers for weighted sums of random elements in separable normed linear spaces

Theorem. Let X_n, n ≥ 1, be a sequence of tight random elements taking values in a separable Banach space B such that |X_n|, n ≥ 1, is uniformly integrable. Let a_nk, n ≥ 1, k ≥ 1, be a double array of real numbers satisfying Σ_{k ≥ 1} |a_nk| ≤ Γ for every n ≥ 1 for some positive constant Γ. Then Σ_{k ≥ 1}a_nkX_k, n ≥ 1, converges to 0 in probability if and only if Σ_{k ≥ 1}a_nkf(X_k), n ≥ 1, converges to 0 in probability for every f in the dual space B¹.     

On the minimum number of disjoint pairs in a family of finite sets

The following conjecture of Katona is proved. Let X be a finite set of cardinality n, 1 ? m ? 2ⁿ. Then there is a family $\text{F}$, |$\text{F}$| = m, such that F ∈ $\text{F}$, G ? X, | G | > | F | implies G ∈ $\text{F}$ and $\text{F}$ minimizes the number of pairs (F₁, F₂), F₁, F₂ ∈ $\text{F}$ F₁ ∩ F₂ = ? over all families consisting of m subsets of X.     

On the order of an automorphism of a smooth hypersurface

In this paper we give an effective criterion as to when a positive integer q is the order of an automorphism of a smooth hypersurface of dimension n and degree d, for every d ≥ 3, n ≥ 2, (n, d) ≠ (2, 4), and gcd(q, d) = gcd(q, d ? 1) = 1. This allows us to give a complete criterion in the case where q = p is a prime number. In particular, we show the following result: If X is a smooth hypersurface of dimension n and degree d admitting an automorphism of prime order p then p < (d ? 1) ⁿ⁺¹; and if p > (d ? 1) ⁿ then X is isomorphic to the Klein hypersurface, n = 2 or n + 2 is prime, and p = Φ _n+2(1 ? d) where Φ _n+2 is the (n+2)-th cyclotomic polynomial. Finally, we provide some applications to intermediate jacobians of Klein hypersurfaces.     

Forbidden (0,1)-Vectors in Hyperplanes of ℝ n : The Restricted Case

In this paper we continue our investigation on “Extremal problems under dimension constraint” introduced in [2]. Let E(n, k) be the set of (0,1)-vectors in ? ⁿ with k one's. Given 1 ≤ m, w ≤ n let X ? E(n, m) satisfy span (X) ∩ E(n, w) = ?. How big can |X| be? This is the main problem studied in this paper. We solve this problem for all parameters 1 ≤ m, w ≤ n and n > n ₀(m, w).     

On the topology of two partition posets with forbidden block sizes

We study two subposets of the partition lattice obtained by restricting block sizes. The first consists of set partitions of {1,…,n} with block size at most k, for k≤n−2. We show that the order complex has the homotopy type of a wedge of spheres, in the cases 2k+2≥n and n=3k+2. For 2k+2>n, the posets in fact have the same S_n−1-homotopy type as the order complex of Π_n−1, and the S_n-homology representation is the “tree representation” of Robinson and Whitehouse. We present similar results for the subposet of Π_n in which a unique block size k≥3 is forbidden. For 2k≥n, the order complex has the homotopy type of a wedge of (n−4)-spheres. The homology representation of S_n can be simply described in terms of the Whitehouse lifting of the homology representation of Π_n−1.     

Irreducible posets with large height exist

The dimension of a poset (X, P) is the minimum number of linear extensions of P whose intersection is P. A poset is irreducible if the removal of any point lowers the dimension. If A is an antichain in X and X ? A ≠ Ø, then dim X ≤ 2 width ((X ? A) + 1. We construct examples to show that this inequality is best possible; these examples prove the existence of irreducible posets of arbitrarily large height. Although many infinite families of irreducible posets are known, no explicity constructed irreducible poset of height larger than four has been found.     

Minimal error difference formulas

The usual formula for the r^th difference of f(X), at intervals of h, may introduce an error of 2^rε, where ε is the |error| in f(X). When f(X) is either an exact polynomial of the n^th degree, or very closely approximated by one within a finite interval, say [?1, 1], the r^th difference, at X = X₀, is expressible as ∑ⁿ⁺¹_i=1 a_i f(X_i), where for certain points X_i within [?1, 1], depending upon (X₀, h), ∑ⁿ⁺¹_i=1 |a_i| may be very much less than 2^r. Nodes X_i that minimize ∑ⁿ⁺¹_i=1|a_i| are said to provide “minimal error difference formulas”. For very small h, close approximations to them are obtainable from similar derivative formulas. For other combinations (X₀, h), non-minimal formulas for equally spaced X_i's, with a_i's precomputed to higher accuracy than that in f(X), greatly reduce ∑ⁿ⁺¹_i=1|a_i| from 2^r, ensure its approach to zero with h, and in many cases also yield more decimals and significant figures than the direct differencing of f(X). For r = 1, simple conditions for the non-existence of any expression ∑ⁿ⁺¹_i=1 a_i f(X_i), which improves ∑ⁿ⁺¹_i=1|a_i| to be <2, are given for (X₀, h), expressed as h ≥ h₀ which depends upon X₀ and extrema of Chebyshev polynomials.     

Fractional non-Archimedean calculus in many variables

Let r ≥ 0 be a real number. We will introduce a notion of r-fold differentiability for functions in many variables over a non-Archimedeanly valued complete field K and then examine properties of theirs such as localness, completeness as a locally convex K-algebra, density of (locally) polynomial functions, closure under composition and, for the dual, under convolution. The definition of a C ^r -function will be given through partial difference quotients and build up on the one-variable case already studied in [8]. In line with [2], we will also show a function on ? _p ^d to be r-times differentiable if and only if its Mahler coefficients obey |a _n ‖n| ^r → 0 as | n| → ∞. As a corollary, a characterization of C ^r -functions f: X → K on open X ? ? _p ^d by partial Taylor-polynomials is obtained.     

On complex n-folds polarized by an ample line bundle L with .

Let (X L) be a polarized manifold with dim X = n≥3 and dim Bs |L|≤0. In this paper, we classify (X,L) with _g(L) = q(X) +m and h^o(L) ≥ n + m.