Random I-colorable graphs

In this article we investigate properties of the class of all l-colorable graphs on n vertices, where l = l(n) may depend on n. Let G^l_n denote a uniformly chosen element of this class, i.e., a random l-colorable graph. For a random graph G^l_n we study in particular the property of being uniquely l-colorable. We show that not only does there exist a threshold function l = l(n) for this property, but this threshold corresponds to the chromatic number of a random graph. We also prove similar results for the class of all l-colorable graphs on n vertices with m = m(n) edges.     

Graded Nilpotent Algebras and Eggert's Conjecture

A group G is (l,m,n)-generated if it is a quotient group of the triangle group T(l,m,n) = (x,y,z|x ^l= y ^m= z ⁿ= xyz= 1). In [8] the problem is posed to find all possible (l,m,n)-generations for the non-abelian finite simple groups. In this paper we partially answer this question for the Janko group J ₃. We find all (2, 3, t)-generations as well as (2, 2,2,p)-generations, p a prime, for J ₃     

Differentiability of functions: approximate,global, and differentiability along curves over non-archimedean fields

This paper is devoted to the study of approximate and global smoothness and smoothness along curves of functions f(x ₁,...,x _m ) of variables x ₁,...,x _m in infinite fields with nontrivial non-Archimedean valuations and relations between them. Theorems on classes of smoothness C ⁿ or of functions with partial difference quotients continuous or bounded uniformly continuous on bounded domains up to order n are investigated. We prove that from f ○ u ∈ C ⁿ (K, K ^l) or f ○ u ∈ (K, K ^l) for each C ^∞ or curve u: K → K ^m it follows that f ∈ C ⁿ (K ^m , K ^l) or f ∈ (K ^m , K ^l), where m ≥ 2. Then the classes of smoothness C ^n,r and and more general in the sense of Lipschitz for partial difference quotients are considered and theorems for them are proved. Moreover, the approximate differentiability of functions relative to measures is defined and investigated. Its relations with the Lipschitzian property and almost everywhere differentiability are studied. Non-Archimedean analogs of classical theorems of Kirzsbraun, Rademacher, Stepanoff, and Whitney are formulated and proved, and substantial differences between two cases are found. Finally, theorems about relations between approximate differentiability by all variables and along curves are proved. Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 52, Functional Analysis, 2008.     

Characterization of field homomorphisms and derivations by functional equations

Summary. Let K and [`(K)] \overline K be fields containing \Bbb Q {\Bbb Q} . We characterize pairs of additive functions f,g: K ?[`(K)] f,g: K \to \overline K satisfying a functional equation¶¶ g(x^ln) = f(x^l)ⁿ     \textrespectively        g(x^ln) = Ax^ln + x^ln-lf(x^l) g(x^{ln}) = f(x^l)^n \quad \text{respectively} \qquad g(x^{ln}) = Ax^{ln} + x^{ln-l}f(x^l) ,¶where n ? \Bbb Z \{0,1} n \in {\Bbb Z} \setminus \{0,1\} , l ? \Bbb N l\in {\Bbb N} and A ? K A \in K .     

Voronoi diagrams of random lines and flats

It is proved that, for any fixedd ≽ 3 and 0 ≤k ≤ d - 1, the expected combinatorial complexity of the Euclidean Voronoi diagram ofn random &-flats drawn independently from the uniform distribution onk-flats intersecting the unit ball in ℝ^d is Ξ(n ^d/(d-k)) asn → ∞. A by-product of the proof is a density transformation for integrating over sets ofd + 1k-flats in ℝ^d     

Representation,interpolation, and reiteration theorems for generalized approximation spaces

We show that the representation theorem for classical approximation spaces can be generalized to spaces A(X,l ^q (ℬ))={f∈X:{E _n (f)}∈l ^q (ℬ)} in which the weighted l ^q -space l ^q (ℬ) can be (more or less) arbitrary. We use this theorem to show that generalized approximation spaces can be viewed as real interpolation spaces (defined with K-functionals or main-part K-functionals) between couples of quasi-normed spaces which satisfy certain Jackson and Bernstein-type inequalities. Especially, interpolation between an approximation space and the underlying quasi-normed space leads again to an approximation space. Together with a general reiteration theorem, which we also prove in the present paper, we obtain formulas for interpolation of two generalized approximation spaces. Received: December 6, 2001; in final form: April 2, 2002?Published online: March 14, 2003     

A note on the illumination of convex bodies

LetKE ^d be a convex body and letl _r(K) denote the minimum number ofr-dimensional affine subspaces ofE ^d lying outsideK with which it is possible to illuminateK, where 0rd–1. We give a new proof of the theorem thatl _r(K)(d+1)/(r+1) with equality for smoothK.The work was supported by Hung. Nat. Found. for Sci . Research No. 326-0213 and 326-0113.     

Multivariate Regression Depth

   Abstract. The regression depth of a hyperplane with respect to a set of n points in \Real ^d is the minimum number of points the hyperplane must pass through in a rotation to vertical. We generalize hyperplane regression depth to k -flats for any k between 0 and d-1 . The k=0 case gives the classical notion of center points. We prove that for any k and d , deep k -flats exist, that is, for any set of n points there always exists a k -flat with depth at least a constant fraction of n . As a consequence, we derive a linear-time (1+ɛ) -approximation algorithm for the deepest flat. We also show how to compute the regression depth in time O(n ^d-2 +nlog n) when 1≤ k≤ d-2 .     

Graphs omitting sums of complete graphs

For every finite m and n there is a finite set {G₁, …, G_l} of countable (m · K_n)-free graphs such that every countable (m · K_n)-free graph occurs as an induced subgraph of one of the graphs G_l © 1997 John Wiley & Sons, Inc.     

Growth of transcendental entire functions on algebraic varieties

LetX be a complete intersection algebraic variety of codimensionm>1 in ℂ ^m+n . We define the notion of (p,q)-order and (p,q)-K-type for transcendental entire functionsfεO(ℂ ^m+n ) whereK is a non-pluripolar compact subset of ℂ ^m+n . Further, we consider the analogues of (p,q)-order and (p,q)-K-type inO(X). We discuss the series expansions of the functions inO(X) in terms of an orthogonal basis in a Hilbert spaceL ²(X, μ), where μ is a capacitary extremal measure onK. Author is grateful to the NSA for partial support during the period of this research.     

Smooth Universal Taylor Series

Let W í \Bbb C\Omega \subseteq {\Bbb C} be a simply connected domain in \Bbb C{\Bbb C} , such that {￥} è[ \Bbb C \[`(W)]]\{\infty\} \cup [ {\Bbb C} \setminus \bar{\Omega}] is connected. If g is holomorphic in Ω and every derivative of g extends continuously on [`(W)]\bar{\Omega} , then we write g ∈ A^∞ (Ω). For g ∈ A^∞ (Ω) and z ? [`(W)]\zeta \in \bar{\Omega} we denote S_N (g,z)(z) = ?^N_l=0\fracg^(l) (z)l ! (z-z)^lS_N (g,\zeta )(z)= \sum^{N}_{l=0}\frac{g^{(l)} (\zeta )}{l !} (z-\zeta )^l . We prove the existence of a function f ∈ A^∞(Ω), such that the following hold:

On the irrationality measure for certain series

Let K be either the rational number field \Bbb Q{\Bbb Q} or an imaginary quadratic field. We give irrationality results for the number q = ?_n=1^￥rⁿ/(qⁿ-r^l)\theta=\sum_{n=1}^{\infty}{r^n}/(q^n-r^l), where q (∣q∣ > 1) is an integer in K, r∈ K ^× (∣r∣ < ∣q∣), and 1 ￡ l ? \Bbb Z1\le l\in{\Bbb Z} with q ⁿ ≠ r ^l (n ≥ 1).     

On the irrationality measure for certain series

Let K be either the rational number field or an imaginary quadratic field. We give irrationality results for the number , where q (∣q∣ > 1) is an integer in K, r∈ K ^× (∣r∣ < ∣q∣), and with q ⁿ ≠ r ^l (n ≥ 1). Authors’ addresses: Kenji Amano, NS solutions Corporation, 2-27-1 Shinkawa, Chuo-ku, Tokyo 104-0033, Japan; Yohei Tachiya, Department of Mathematics, Keio University, Hiyoshi, Kohoku-ku, Yokohama 223-8522, Japan     

Contact Elements on Fibered Manifolds

For every product preserving bundle functor T ^μ on fibered manifolds, we describe the underlying functor of any order (r, s, q), s ≥ r ≤ q. We define the bundle K_k,l^r,s,q YK_{k,l}^{r,s,q} Y of (k, l)-dimensional contact elements of the order (r, s, q) on a fibered manifold Y and we characterize its elements geometrically. Then we study the bundle of general contact elements of type μ. We also determine all natural transformations of K_k,l^r,s,q YK_{k,l}^{r,s,q} Y into itself and of T( K_k,l^r,s,q Y )T\left( {K_{k,l}^{r,s,q} Y} \right) into itself and we find all natural operators lifting projectable vector fields and horizontal one-forms from Y to K_k,l^r,s,q YK_{k,l}^{r,s,q} Y .     

Elementary aspects ofB p,q s (Kn) andF p,q s (Kn) spaces

In the first part of this paper, we discuss some properties of S^Ω(K_n), L _P ^Ω (K_n) and L _P ^Ω (K_n;l_q) spaces, give the Plancherel-Polya-Nikol’skij type inequalities and some multiplier theorems. In the second part of this paper, using the results of Part I we prove some preliminary results for the spaces B _p,q ^s (K_n) and F _p,q ^s (K_n).     

Une variante à la Coxeter du groupe de Steinberg

LetG _n ()be the semi-direct product of the symmetric groupS _n by the Steinberg groupSt _n ()of a ringWe first prove thatG _n ()has a Coxeter-type presentation. The canonical morphism St _n () GL _n ()extends to a group homo G_n() GL _n ()We next determine the kernel of for n = We also give an expression for the generator of the algebraic K group K ₂(Z)of the integers in terms of permutation matrices.     

Standard monomial bases and geometric consequences for certain rings of invariants

Consider the diagonal action ofSL _n (K) on the affine spaceX = V^⊕m ⊕ (V*)^⊕q whereV = K ⁿ ,K an algebraically closed field of arbitrary characteristic andm,q > n. We construct a ‘standard monomial’’ basis for the ring of invariantsK[X] ^SL _n ^(K). As a consequence, we deduce thatK[X] ^SL _n ^(K) is Cohen-Macaulay. We also present the first and second fundamental theorems forSL _n (K)- actions.     

The number of K m,m -free graphs

A graph is called H-free if it contains no copy of H. Denote by f _n (H) the number of (labeled) H-free graphs on n vertices. Erdős conjectured that f _n (H) ≤ 2^{(1+o(1))ex(n,H)}. This was first shown to be true for cliques; then, Erdős, Frankl, and R?dl proved it for all graphs H with χ(H)≥3. For most bipartite H, the question is still wide open, and even the correct order of magnitude of log₂ f _n (H) is not known. We prove that f _n (K _m,m ) ≤ 2 ^O (n ^2−1/m ) for every m, extending the result of Kleitman and Winston and answering a question of Erdős. This bound is asymptotically sharp for m∈{2,3}, and possibly for all other values of m, for which the order of ex(n,K _m,m ) is conjectured to be Θ(n ^2−1/m ). Our method also yields a bound on the number of K _m,m -free graphs with fixed order and size, extending the result of Füredi. Using this bound, we prove a relaxed version of a conjecture due to Haxell, Kohayakawa, and Łuczak and show that almost all K _3,3-free graphs of order n have more than 1/20·ex(n,K _3,3) edges.