Direct Constructions of Hyperplanes of Dual Polar Spaces Arising from Embeddings

Let e be one of the following full projective embeddings of a finite dual polar space Δ of rank n ≥ 2: (i) The Grassmann-embedding of the symplectic dual polar space Δ ≅ DW(2n – 1, q); (ii) the Grassmann-embedding of the Hermitian dual polar space Δ ≅ DH(2n – 1, q ²); (iii) the spin-embedding of the orthogonal dual polar space Δ ≅ DQ(2n, q); (iv) the spin-embedding of the orthogonal dual polar space Δ ≅DQ ⁻(2n + 1, q). Let H_e{\mathcal{H}_{e}} denote the set of all hyperplanes of Δ arising from the embedding e. We give a method for constructing the hyperplanes of H_e{\mathcal{H}_{e}} without implementing the embedding e and discuss (possible) applications of the given construction.     

Preservation of the injectivity of the Gauss map for general projections

Let X be a smooth irreducible quasi-projective variety of dimension n in P ^N with N ≥ 2n + 2. Let γ be its Gauss map, let be the embedding obtained from the general projection in P ^N and let γ′ be its Gauss map. We say that the general projection preserves the injectivity of the Gauss map if γ(Q) ≠ γ(Q′) implies γ′(Q) ≠ γ′ (Q′). We prove that this property holds in the following cases: N≥ 3n + 1; N ≥ 3n with n ≥ 2; N ≥ 3n−1 with n ≥ 4 and X does not contain a linear (n−1)-space. In case N = 3n−1 and X does contain a linear (n−1)-space (such smooth varieties exist) then the general projection does not preserver the injectivity of the Gauss map. This shows that there does not exist a straightforward kind of Bertini theorem for properties related to the Gauss map. The author is affiliated with the University at Leuven as a research fellow. This paper belongs to the FWO-project G.0318.06.     

Generators for complemented modular lattices and the von Neumann–Jónsson coordinatization theorems

Extending work of von Neumann, Jónsson has shown that each complemented modular lattice, L admitting a large partial n-frame with n ≥ 4, or with n ≥ 3 and L Arguesian, can be coordinatized as the lattice of all principal right ideals of some regular ring. His proof built on the embedding of L into the subgroup lattice of an abelian group which follows from Frink’s embedding of L into to a direct product of subspace lattices of irreducible projective spaces and coordinatization of the latter. We offer a proof which, in addition to these results, employs only some elementary linear algebra. Luca Giudici’s thesis [6] is an important source for this approach.     

Super Connectivity of Line Graphs and Digraphs

The h-super connectivity κh and the h-super edge-connectivity λh are more refined network reliability indices than the conneetivity and the edge-connectivity. This paper shows that for a connected balanced digraph D and its line digraph L, if D is optimally super edge-connected, then κ1（L） = 2λ1 （D）, and that for a connected graph G and its line graph L, if one of κ1 （L） and λ（G） exists, then κ1（L） = λ2（G）. This paper determines that κ1（B（d, n） is equal to 4d- 8 for n = 2 and d ≥ 4, and to 4d-4 for n ≥ 3 and d ≥ 3, and that κ1（K（d, n）） is equal to 4d- 4 for d 〉 2 and n ≥ 2 except K（2, 2）. It then follows that B（d,n） and K（d, n） are both super connected for any d ≥ 2 and n ≥ 1.     

Complete description of invariant Einstein metrics on the generalized flag manifold SO(2n)/U(p)?× U(n ? p)

We find the precise number of non-K?hler SO(2n)-invariant Einstein metrics on the generalized flag manifold M = SO(2n)/U(p)×U(n−p) with n ≥ 4 and 2 ≤ p ≤ n−2. We use an analysis on parametric systems of polynomial equations and we give some insight towards the study of such systems. We also examine the isometric problem for these Einstein metrics.     

Pan-connectedness of graphs with large neighborhood unions

Let G be a simple graph with n vertices. For any v ? V(G){v \in V(G)} , let N(v)={u ? V(G): uv ? E(G)}{N(v)=\{u \in V(G): uv \in E(G)\}} , NC(G) = min{|N(u) èN(v)|: u, v ? V(G){NC(G)= \min \{|N(u) \cup N(v)|: u, v \in V(G)} and uv \not ? E(G)}{uv \not \in E(G)\}} , and NC₂(G) = min{|N(u) èN(v)|: u, v ? V(G){NC_2(G)= \min\{|N(u) \cup N(v)|: u, v \in V(G)} and u and v has distance 2 in E(G)}. Let l ≥ 1 be an integer. A graph G on n ≥ l vertices is [l, n]-pan-connected if for any u, v ? V(G){u, v \in V(G)} , and any integer m with l ≤ m ≤ n, G has a (u, v)-path of length m. In 1998, Wei and Zhu (Graphs Combinatorics 14:263–274, 1998) proved that for a three-connected graph on n ≥ 7 vertices, if NC(G) ≥ n − δ(G) + 1, then G is [6, n]-pan-connected. They conjectured that such graphs should be [5, n]-pan-connected. In this paper, we prove that for a three-connected graph on n ≥ 7 vertices, if NC ₂(G) ≥ n − δ(G) + 1, then G is [5, n]-pan-connected. Consequently, the conjecture of Wei and Zhu is proved as NC ₂(G) ≥ NC(G). Furthermore, we show that the lower bound is best possible and characterize all 2-connected graphs with NC ₂(G) ≥ n − δ(G) + 1 which are not [4, n]-pan-connected.     

Minimum ideal triangulations of hyperbolic 3-manifolds

Let σ(n) be the minimum number of ideal hyperbolic tetrahedra necessary to construct a finite volumen-cusped hyperbolic 3-manifold, orientable or not. Let σ_or(n) be the corresponding number when we restrict ourselves to orientable manifolds. The correct values of σ(n) and σ_or(n) and the corresponding manifolds are given forn=1,2,3,4 and 5. We then show that 2n−1≤σ(n)≤σ_or(n)≤4n−4 forn≥5 and that σ_or(n)≥2n for alln. Both authors were supported by NSF Grants DMS-8711495, DMS-8802266 and Williams College Research Funds.     

Hadwiger Number and the Cartesian Product of Graphs

The Hadwiger number η(G) of a graph G is the largest integer n for which the complete graph K _n on n vertices is a minor of G. Hadwiger conjectured that for every graph G, η(G) ≥ χ(G), where χ(G) is the chromatic number of G. In this paper, we study the Hadwiger number of the Cartesian product of graphs. As the main result of this paper, we prove that for any two graphs G ₁ and G ₂ with η(G ₁) = h and η(G ₂) = l. We show that the above lower bound is asymptotically best possible when h ≥ l. This asymptotically settles a question of Z. Miller (1978). As consequences of our main result, we show the following:

Minimal full polarized embeddings of dual polar spaces

Let Δ be a thick dual polar space of rank n ≥ 2 admitting a full polarized embedding e in a finite-dimensional projective space Σ, i.e., for every point x of Δ, e maps the set of points of Δ at non-maximal distance from x into a hyperplane e∗(x) of Σ. Using a result of Kasikova and Shult [11], we are able the show that there exists up to isomorphisms a unique full polarized embedding of Δ of minimal dimension. We also show that e∗ realizes a full polarized embedding of Δ into a subspace of the dual of Σ, and that e∗ is isomorphic to the minimal full polarized embedding of Δ. In the final section, we will determine the minimal full polarized embeddings of the finite dual polar spaces DQ(2n,q), DQ ⁻(2n+1,q), DH(2n−1,q ²) and DW(2n−1,q) (q odd), but the latter only for n≤ 5. We shall prove that the minimal full polarized embeddings of DQ(2n,q), DQ ⁻(2n+1,q) and DH(2n−1,q ²) are the `natural' ones, whereas this is not always the case for DW(2n−1, q).B. De Bruyn: Postdoctoral Fellow of the Research Foundation - Flanders.     

On the weak non-defectivity of veronese embeddings of projective spaces

Fix integers n, x, k such that n≥3, k>0, x≥4, (n, x)≠(3, 4) and k(n+1)<( _n ^n+x ). Here we prove that the order x Veronese embedding ofP ⁿ is not weakly (k−1)-defective, i.e. for a general S⊃P ⁿ such that #(S) = k+1 the projective space | I _2S (x)| of all degree t hypersurfaces ofP ⁿ singular at each point of S has dimension ( _n ^/n+x )−1− k(n+1) (proved by Alexander and Hirschowitz) and a general F∈| I _2S (x)| has an ordinary double point at each P∈ S and Sing (F)=S. The author was partially supported by MIUR and GNSAGA of INdAM (Italy).     

Pan-connectedness of graphs with large neighborhood unions

Let G be a simple graph with n vertices. For any , let , and , and and u and v has distance 2 in E(G)}. Let l ≥ 1 be an integer. A graph G on n ≥ l vertices is [l, n]-pan-connected if for any , and any integer m with l ≤ m ≤ n, G has a (u, v)-path of length m. In 1998, Wei and Zhu (Graphs Combinatorics 14:263–274, 1998) proved that for a three-connected graph on n ≥ 7 vertices, if NC(G) ≥ n − δ(G) + 1, then G is [6, n]-pan-connected. They conjectured that such graphs should be [5, n]-pan-connected. In this paper, we prove that for a three-connected graph on n ≥ 7 vertices, if NC ₂(G) ≥ n − δ(G) + 1, then G is [5, n]-pan-connected. Consequently, the conjecture of Wei and Zhu is proved as NC ₂(G) ≥ NC(G). Furthermore, we show that the lower bound is best possible and characterize all 2-connected graphs with NC ₂(G) ≥ n − δ(G) + 1 which are not [4, n]-pan-connected.      

On the number of nonzero digits of the partition function

Let p(n) be the function that counts the number of partitions of n. Let b ≥ 2 be a fixed positive integer. In this paper, we show that for almost all n the sum of the digits of p(n) in base b is at least log n/(7log log n). Our proof uses the first term of Rademacher’s formula for p(n).     

Complementary Regions of Knot and Link Diagrams

An increasing sequence of integers is said to be universal for knots and links if every knot and link has a reduced projection on the sphere such that the number of edges of each complementary face of the projection comes from the given sequence. In this paper, it is proved that the following infinite sequences are each universal for knots and links: (3, 5, 7, . . .), (2, n, n + 1, n + 2, . . .) for each n ≥ 3, (3, n, n + 1, n + 2, . . .) for each n ≥ 4. Moreover, the finite sequences (2, 4, 5) and (3, 4, n) for each n ≥ 5 are universal for all knots and links. It is also shown that every knot has a projection with exactly two odd-sided faces, which can be taken to be triangles, and every link of n components has a projection with at most n odd-sided faces if n is even and n + 1 odd-sided faces if n is odd.     

Equidistant frequency permutation arrays and related constant composition codes

In this paper we study the special class of equidistant constant composition codes of type CCC(n, d, μ ^m ) (where n = m μ), which correspond to equidistant frequency permutation arrays; we also consider related codes with composition “close to” μ ^m . We establish various properties of these objects and give constructions for optimal families of codes.     

Long Monochromatic Berge Cycles in Colored 4-Uniform Hypergraphs

Here we prove that for n ≥ 140, in every 3-coloring of the edges of K_n⁽⁴⁾{K_n^{(4)}} there is a monochromatic Berge cycle of length at least n − 10. This result sharpens an asymptotic result obtained earlier. Another result is that for n ≥ 15, in every 2-coloring of the edges of K_n⁽⁴⁾{K_n^{(4)}} there is a 3-tight Berge cycle of length at least n − 10.     

The maximum size of a partial 3-spread in a finite vector space over <Emphasis Type="Italic">GF</Emphasis>(2)

Let n ≥ 3 be an integer, let V _n (2) denote the vector space of dimension n over GF(2), and let c be the least residue of n modulo 3. We prove that the maximum number of 3-dimensional subspaces in V _n (2) with pairwise intersection {0} is \frac2ⁿ-2^c7-c{\frac{2^n-2^c}{7}-c} for n ≥ 8 and c = 2. (The cases c = 0 and c = 1 have already been settled.) We then use our results to construct new optimal orthogonal arrays and (s, k, λ)-nets.     

Optimal constant weight covering codes and nonuniform group divisible 3-designs with block size four

Let K _q (n, w, t, d) be the minimum size of a code over Z _q of length n, constant weight w, such that every word with weight t is within Hamming distance d of at least one codeword. In this article, we determine K _q (n, 4, 3, 1) for all n ≥ 4, q = 3, 4 or q = 2 ^m  + 1 with m ≥ 2, leaving the only case (q, n) = (3, 5) in doubt. Our construction method is mainly based on the auxiliary designs, H-frames, which play a crucial role in the recursive constructions of group divisible 3-designs similar to that of candelabra systems in the constructions of 3-wise balanced designs. As an application of this approach, several new infinite classes of nonuniform group divisible 3-designs with block size four are also constructed.     

On Optimal Orientations of Cartesian Products of Trees

. Let d(D) (resp., d(G)) denote the diameter and r(D) (resp., r(G)) the radius of a digraph D (resp., graph G). Let G×H denote the cartesian product of two graphs G and H. An orientation D of G is said to be (r, d)-invariant if r(D)=r(G) and d(D)=d(G). Let {T _i }, i=1,…,n, where n≥2, be a family of trees. In this paper, we show that the graph ∏ _{i =1} ⁿ T _i admits an (r, d)-invariant orientation provided that d(T ₁)≥d(T ₂)≥4 for n=2, and d(T ₁)≥5 and d(T ₂)≥4 for n≥3. Received: July 30, 1997 Final version received: April 20, 1998     

Gauss-Bonnet Formula, Finiteness Condition, and Characterizations of Graphs Embedded in Surfaces

Let G be an infinite graph embedded in a closed 2-manifold, such that each open face of the embedding is homeomorphic to an open disk and is bounded by finite number of edges. For each vertex x of G, define the combinatorial curvature

Spanning k-Trees of n-Connected Graphs

A tree is called a k-tree if the maximum degree is at most k. We prove the following theorem, by which a closure concept for spanning k-trees of n-connected graphs can be defined. Let k ≥ 2 and n ≥ 1 be integers, and let u and v be a pair of nonadjacent vertices of an n-connected graph G such that deg _G (u) + deg _G (v) ≥ |G| − 1 − (k − 2)n, where |G| denotes the order of G. Then G has a spanning k-tree if and only if G + uv has a spanning k-tree.