Stability of Numerical Invariants in Free Groups

Let d be an odd integer, and let k be a field which contains a primitive dth root of unity. Let l ₁ and l ₂ be cyclic field extensions of k of degree d with norms n _{l 1/k} and n _{l 2/k} . Minà?'s approach which showed that quadratic Pfister forms are strongly multiplicative is applied to the form n _{l 1/k}  ? n _{l 2/k} of degree d. Let K = k(X ₁,…, X _{d ²} ). We compute polynomials which are similarity factors of a form of the kind N ? (n _{l 2/k}  ? _k K) over K, where N is the norm of a certain field extension of K of degree d. These polynomials arise by specializing certain indeterminates of the homogeneous polynomial representing the form n _{l 1/k}  ? n _{l 2/k} to be zero. Similar results are obtained for the tensor product of the norm of a cubic division algebra and a cubic norm n _{l 1/k} .     

The Iwasava decomposition and intermediate subgroups of the Steinberg groups over the field of fractions of a principal ideal ring

Abstract The Iwasava decomposition is proved for the Steinberg groups of types ² A _2l−1, ² D _l , ² E ₆, ³ D ₄ over the field of fractions of a principal ideal ring. By using this decomposition, it is described that subgroups exist between the Steinberg groups over the rings D and K under some restrictions on the ring D. This work was partially supported by RFFI (Grant No. 08-01-00824)     

The generalized bisymmetric solutions of the matrix equation A 1 X 1 B 1 + A 2 X 2 B 2 + ? + A l X l B l = C and its optimal approximation

For fixed generalized reflection matrix P, i.e. P ^T  = P, P ² = I, then matrix X is said to be generalized bisymmetric, if X = X ^T  = PXP. In this paper, an iterative method is constructed to find the generalized bisymmetric solutions of the matrix equation A ₁ X ₁ B ₁ + A ₂ X ₂ B ₂ + ⋯ + A _l X _l B _l  = C where [X ₁,X ₂, ⋯ ,X _l ] is real matrices group. By this iterative method, the solvability of the matrix equation can be judged automatically. When the matrix equation is consistent, for any initial generalized bisymmetric matrix group , a generalized bisymmetric solution group can be obtained within finite iteration steps in the absence of roundoff errors, and the least norm generalized bisymmetric solution group can be obtained by choosing a special kind of initial generalized bisymmetric matrix group. In addition, the optimal approximation generalized bisymmetric solution group to a given generalized bisymmetric matrix group in Frobenius norm can be obtained by finding the least norm generalized bisymmetric solution group of the new matrix equation , where . Given numerical examples show that the algorithm is efficient. Research supported by: (1) the National Natural Science Foundation of China (10571047) and (10771058), (2) Natural Science Foundation of Hunan Province (06JJ2053), (3) Scientific Research Fund of Hunan Provincial Education Department(06A017).     

Specht Modules and Simple Modules for Centralizer Algebras of the Symmetric Group

Let Σ_n be the symmetric group on n letters. For l ≤ n identify Σ_l with a subgroup of Σ_n in the natural way. Let k be an algebraically closed field of characteristic p. This article begins to develop a theory for modules over the centralizer algebras kΣ_n^Σ_l that is analogous to James's theory of permutation modules, Specht modules, and simple modules over kΣ_n. We make a conjecture about how to construct all simple kΣ_n^Σ_l-modules, we develop tools to test the conjecture, and we prove that it is correct for all n when l < p.     

Edge disjoint cycles in graphs

Ore proved in 1960 that if G is a graph of order n and the sum of the degrees of any pair of nonadjacent vertices is at least n, then G has a hamiltonian cycle. In 1986, Li Hao and Zhu Yongjin showed that if n ? 20 and the minimum degree δ is at least 5, then the graph G above contains at least two edge disjoint hamiltonian cycles. The result of this paper is that if n ? 2δ², then for any 3 ? l₁ ? l₂ ? ? ? l_k ? n, 1 = k = [(δ - 1)/2], such graph has K edge disjoint cycles with lengths l₁, l₂…l_k, respectively. In particular, when l₁ = l₂ = ? = l_k = n and k = [(δ - 1)/2], the graph contains [(δ - 1)/2] edge disjoint hamiltonian cycles.     

Higher Power Residue Codes

For certain primeslandp, and characters χ:F*_p→F*_l², we construct codesWof lengthp+ 1 overF_l²which are linear overF_l, but not overF_l², and which are invariant under a monomial action of the group SL(2,p). We consider the cases of cubic and quartic characters in detail and use theWto construct linear codes overF_lin these cases.     

The ranks of primitive parabolic permutation representations of the simple groups B l (q), C l (q), and D l (q)

We determine the ranks of the permutation representations of the simple groups B _l (q), C _l (q), and D _l (q) on the cosets of the parabolic maximal subgroups.     

Four‐cycles in graphs without a given even cycle

We prove that every bipartite C_2l‐free graph G contains a C₄‐free subgraph H with e(H) ≥ e(G)/(l – 1). The factor 1/(l – 1) is best possible. This implies that ex(n, C_2l) ≤ 2(l – 1)ex(n, {C₄, C_2l}), which settles a special case of a conjecture of Erd?s and Simonovits. © 2004 Wiley Periodicals, Inc. J Graph Theory 48: 147–156, 2005     

On the value distribution of positive definite quadratic forms

Denote by 0 = λ ₀ < λ ₁ ≤ λ ₂ ≤ . . . the infinite sequence given by the values of a positive definite irrational quadratic form in k variables at integer points. For l ≥ 2 and an (l −1)-dimensional interval I = I ₂×. . .×I _l we consider the l-level correlation function K^(l)_I(R){K^{(l)}_I(R)} which counts the number of tuples (i ₁, . . . , i _l ) such that l_i1,?,l_il ￡ R²{\lambda_{i_1},\ldots,\lambda_{i_l}\leq R^2} and l_ij-l_i1 ? I_j{\lambda_{i_{j}}-\lambda_{i_{1}}\in I_j} for 2 ≤ j ≤ l. We study the asymptotic behavior of K^(l)_I(R){K^{(l)}_I(R)} as R tends to infinity. If k ≥ 4 we prove K^(l)_I(R) ~ c_l(Q) vol(I)R^lk-2(l-1){K^{(l)}_I(R)\sim c_l(Q)\,{\rm vol}(I)R^{lk-2(l-1)}} for arbitrary l, where c _l (Q) is an explicitly determined constant. This remains true for k = 3 under the restriction l ≤ 3.     

Orthosymplectic Quantum Function Superalgebras OSPq（2l＋ 1｜2n）

By the R-matrix of orthosymplectic quantum superalgebra U _q (osp(2l+1|2n)) in the vector representation, we establish the corresponding quantum Hopf superalgebra OSP _q (2l + 1|2n). Furthermore, it is shown that OSP _q (2l + 1|2n) is coquasitriangular.     

The root system and the core of an extended affine Lie algebra

Extended affine Lie algebras are higher nullity generalizations of finite dimensional simple Lie algebras and affine Kac Moody Lie algebras. In this paper we completely describe the structure of the core modulo its centre and the root system for extended affine Lie algebras of type B_l (l 3 3) B_l (l\ge 3) , C_l (l 3 2) C_l (l \ge 2), F ₄ and G ₂ .     

p-Length and p′-Degree Irreducible Characters Having Values in ℚ p

Let G be a p-solvable group of p-length l, where p is any prime. We show that G has at least 2 ^l irreducible characters of degree coprime to p and having values inside ? _p . This generalizes a previous result for p = 2 [6 Tent , J. ( 2011 ). 2-Length and rational characters of odd degree . Arch. Math. 96 ( 3 ): 201 – 206 .[Crossref], [Web of Science ®] , [Google Scholar]] to arbitrary primes. With the same notation, we prove that if p is odd then G has at least 2 ^l Galois orbits of conjugacy classes of p-elements having values in ? _p .     

Some properties of Ramsey numbers

In this paper, some properties of Ramsey numbers are studied, and the following results are presented.

1. (1) For any positive integers k₁, k₂, …, k_m l₁, l₂, …, l_m (m> 1), we have

.

2. (2) For any positive integers k₁, k₂, …, k_m, l₁, l₂, …, l_n , we have

. Based on the known results of Ramsey numbers, some results of upper bounds and lower bounds of Ramsey numbers can be directly derived by those properties.

     

The effective surjectivity of mod l Galois representations of 1- and 2-dimensional abelian varieties with trivial endomorphism ring

Mod l Galois representations of 1- and 2-dimensional abelian varieties with trivial endomorphism ring are surjective for sufficiently large prime l as Serre proved. But he did not give an effective lower bound of l ₀ such that they are surjective for l > l ₀. We supply an effective evaluation of l ₀ by an elementary proof of the surjectivity. The proof uses the Masser-Wüstholz theorem and Kleidman and Liebecks classification of the maximal subgroups of GL ₂ F _l ) and GSp ₄ (F _l ).     

Folding rulers inside triangles

Anl-ruler is a chain ofn links, each of lengthl. The links, which are allowed to cross, are modeled by line segments whose endpoints act as joints. A given configuration of anl-ruler is said to fold if it can be moved to a configuration in which all its links coincide. We show thatl-rulers confined inside an equilateral triangle of side 1 exhibit the following surprising alternation property: there are three valuesx ₁≈0.483,x ₂=0.5, andx ₃≈0.866 such that all configurations ofn-linkl-rulers fold ifl∈[0,x ₁] orl∈(x ₂,x ₃], but, for anyl∈(x ₁,x ₂] and anyl∈(x ₃, 1], there are configurations ofl-rulers that cannot fold. In the folding cases, linear-time algorithms are given that achieve the folding. Also, a general proof technique is given that can show that certain configurations—in the nonfolding cases—cannot fold. Most of this research was done while the first author was at McGill University supported by an NSERC international fellowship. The second author was supported by NSERC. The third author was supported by NSERC and FCAR.     

Convergence of double Fourier series

Summary Let a2π-periodic function f(x, y) be continuous in some neighbourhood of the point (x, y) except possibly along finitely many lines l ₁ , l ₂ , ..., l_k terminating at (x, y). The problem of convergence of the Fourier series of f(x, y) at the point (x, y) is examined in some detail. It is established that under certain restrictions on the variation of f(x, y), and also on the lines l ₁ , l ₂ , ..., l_k, the fourier series converges to a value bounded above by the limit superior, and below by the limit inferior of f(x+u, y+v), u, v →0, this value depending on the manner in which the series is summed. The preparation of this paper was financed, in part, by a Canadian Mathematical Congress Summer Research Grant (1968). Entrata in Redazione il 3 febbraio 1969.     

Strong Subdifferentiability of Convex Functionals and Proximinality

Using strong subdifferentiability of convex functionals, we give a new sufficient condition for proximinality of closed subspaces of finite codimension in a Banach space. We apply this result to the Banach space K(l₂) of compact operators on l₂ and we show that a finite codimensional subspace Y of K(l₂) is strongly proximinal if and only if every linear form which vanishes on Y attains its norm.     

Circular choosability of graphs

This paper discusses the circular version of list coloring of graphs. We give two definitions of the circular list chromatic number (or circular choosability) χ_{c, l}(G) of a graph G and prove that they are equivalent. Then we prove that for any graph G, χ_{c, l}(G) ≥ χ_l(G) ? 1. Examples are given to show that this bound is sharp in the sense that for any ? 0, there is a graph G with χ_{c, l}(G) > χ_l(G) ? 1 + ?. It is also proved that k‐degenerate graphs G have χ_{c, l}(G) ≤ 2k. This bound is also sharp: for each ? < 0, there is a k‐degenerate graph G with χ_{c, l}(G) ≥ 2k ? ?. This shows that χ_{c, l}(G) could be arbitrarily larger than χ_l(G). Finally we prove that if G has maximum degree k, then χ_{c, l}(G) ≤ k + 1. © 2005 Wiley Periodicals, Inc. J Graph Theory 48: 210–218, 2005